Cairo is the first production-grade platform for generating STARK proofs for general computation. It is Turing Complete, and highly efficient. The following set of contracts implements the verifier of programs written in Cairo, verifying the computational integrity of executing Cairo program P on input data D, and the correctness of the post-execution state of the system.
The verifier is composed of multiple contracts as described below.
- GpsStatementVerifier - Main verifier contract entry point for verifying Cairo programs wrapped in the context of a general bootloader.
- CpuVerifier - STARK verifier for verifying Cairo statements
- MerkleStatementContract - Merkle verifier used by the CpuVerifier.
- FriStatementContract - Fri verifier used by the CpuVerifier.
- MemoryPageFactRegistry - Fact registry for memory claims used by the CpuVerifier.
- Auxilliary contracts used by the above verifiers to calculate polynomial evaluations:
- CpuConstraintPoly
- EcdsaPointsXColumn
- EcdsaPointsYColumn
- PedersenHashPointsXColumn
- PedersenHashPointsYColumn
- CpuOods