STARK-based virtual machine
-
Updated
May 13, 2024 - Rust
STARK-based virtual machine
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.
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.
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
A community-developed re-implementation of the Starkware Stone Prover
Adapt your STARK stone proofs for verifications on Ethereum
An example of state-transition AIR program backed by the winterfell library.
Add a description, image, and links to the stark topic page so that developers can more easily learn about it.
To associate your repository with the stark topic, visit your repo's landing page and select "manage topics."