Popular repositories Loading

1. risc0 risc0 Public

   Forked from risc0/risc0

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

   C++

2. jolt jolt Public

   Forked from a16z/jolt

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

   Rust

3. nexus-zkvm nexus-zkvm Public

   Forked from nexus-xyz/nexus-zkvm

   The Nexus zkVM: The zero-knowledge virtual machine

   Rust

4. pico pico Public

   Forked from brevis-network/pico

   Rust

5. openvm openvm Public

   Forked from openvm-org/openvm

   A performant and modular zkVM framework built for customization and extensibility.

   Rust

6. sp1 sp1 Public

   Forked from succinctlabs/sp1

   SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

   Rust