matter-labs/era-sync_vm

The Nexus zkVM: The zero-knowledge virtual machine

The proof systems used by Mina

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

Modular ZK(Zero Knowledge) backend accelerated by GPU

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.

Performance and security acceleration for zkVMs.

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

zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the range of possibilities within Web3 to use different cryptographic primitives and systems.

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