a16z / jolt

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

qntx / ovo

Agent behavior that compiles

namada-net / namada

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

starkware-libs / cairo

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

aleo-labs-protocol / snarkVM

A zkVM for Decentralized Private Computations (DPC)

dusk-network / plonk

Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

starkware-libs / cairo-vm

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.