# Integrity Verifier

## Overview

Integrity is a zero-knowledge proof verifier designed to verify STARK proofs directly within the Cairo Virtual Machine (VM). It enables Layer 3 scalability on Starknet and enhances the capabilities of the entire ecosystem.

Integrity was developed in collaboration with [StarkWare](https://starkware.co/).

## Key Features

* Verifies STARK proofs generated by the Stone prover
* Runs natively in the Cairo VM
* Enables efficient Layer 3 solutions on Starknet

## Benefits

* Reduces costs for proof verification on rollups
* Lowers latency for proof-reliant systems
* Enables "fractal scaling" by allowing L3 verification on L2
* Supports innovation for Layer 3s and App-Chains on Starknet

## Collaboration

Integrity was developed in collaboration with StarkWare. This partnership combined expertise from both teams to create a powerful and efficient STARK proof verifier for the Starknet ecosystem.

## Getting Started

To learn more about Integrity, including detailed implementation instructions, API documentation, and example use cases, please visit our GitHub repository:

<https://github.com/HerodotusDev/integrity>

The repository contains all the necessary information to understand, implement, and contribute to the Integrity project.