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.

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

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

Building blocks of a Circle STARK verifier in Bitcoin script

A Rust zkVM with a Modular Proof System

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

Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs

Cairo-VM STONE STARK Verifier Rust implementation

A ZK-VM for the Brainfuck language, based on Stwo

Eigen zkVM's Proving Service

Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner

This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Plonky3.

Adapt your STARK stone proofs for verifications on Ethereum

FRI Extended for Data Availability: a FRI-based Data Availability Sampling library, written in Rust.

crypto research stuffs from numerics to ZK applied protocols all written with dirty hands

"Anatomy of a STARK" in Rust