starkware-libs/stwo-cairo

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

StarkWare's next gen prover

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

Cairo is the first Turing-complete language for creating provable programs for general computation.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Noir is a domain specific language for zero knowledge proofs

Circuit Implementation of zkVM for zkSync Era

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.