⚡ S-two Cairo ⚡

Prove Cairo programs with the blazing-fast S-Two prover, powered by the cryptographic breakthrough of Circle STARKs.

• Prerequisites
• scarb-prove

Prerequisites

• Rust
• Scarb

  • The recommended installation method is using asdf

  • Make sure to use version 2.10.0 and onwards, and preferably the latest nightly version.

    To use the latest nightly version, run:

    asdf set -u scarb latest:nightly
    

Installation

This repository now focuses on the prover and verifier crates under stwo_cairo_prover/ and stwo_cairo_verifier/. The former cairo-prove CLI has been removed. The equivalent utility is now provided in proving-utils: https://github.com/starkware-libs/proving-utils

scarb prove

As of Scarb version 2.10.0, scarb prove can be used instead of manually building and running stwo-cairo.

However, scarb prove is still a work in progress, and using stwo-cairo directly is preferable for now.