Cairo Verifier

A STARK Verifier for Cairo programs, written in Rust. For use in the Open Libra Blockchain as a Zero-Knowledge Verification mechanism. Cairo Programs serve as a flexible, robust alternative to manually designing polynomial constraints, which are difficult and can be error-prone.

For a more detailed explanation check out my Medium post.

Based off of STARKWare's Soldity Implementation available at: github/starkware-libs/starkex-contracts/evm-verifier/

Use

Include in your project's cargo.toml:

[dependencies]
cairo-verifier = { git = "https://github.com/patrickbiel01/Cairo_Verifier", branch = "main" }

Call:

use cairo_verifier;

cairo_verifier::verify_proof(
	proof_params, proof, task_meta_data,  cairo_aux_input, cairo_verifier_id
);

verify_proof Definition:

fn verify_proof(
    proof_params: Vec<Uint256>,
    proof: Vec<Uint256>,
    task_meta_data: Vec<Uint256>,
    cairo_aux_input: Vec<Uint256>,
    cairo_verifier_id: Uint256,
)

Note: Uint256 is the num256::uint256::Uint256 crate

Goals:

Currently this verifier only supports Cairo Programs that use Layout 1

• Implement Layout 0, 2 (Example: layout 0)
  • Change values in memory_map.rs, oods_check.rs, polynomial_contrainsts.rs, stark_params.rs
  • Change all of above to accept multiple layout (Look at 4th element in Cairo Aux Input)

Resources:

Papers

      Cairo Whitepaper
      Scalable, transparent, and post-quantum secure computational integrity
      ethSTARK Documentation

STARKWare Articles

      StarkDEX Deep Dive: the STARK Core Engine
      STARK Math Series
      Using SHARP (Shared Prover)
      Cairo for Blockchain Developers

Vitalik Buterin Articles

      STARKs, Part I: Proofs with Polynomials
      STARKs, Part II: Thank Goodness It's FRI-day
      STARKs, Part 3: Into the Weeds

Misc. Articles

      A Hands-On Tutorial for Zero-Knowledge Proofs Series
      Cryptography Stack Exchange Answer

Ropsten Addresses

      0x2886D2A190f00aA324Ac5BF5a5b90217121D5756
      0xe74999fbc71455462c8143b56797d3bb84c1064b