Pinned Loading

1. nexus-zkvm nexus-zkvm Public

   Forked from nexus-xyz/nexus-zkvm

   The Nexus zkVM: The zero-knowledge virtual machine

   Rust

2. 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++

3. tfhe-rs tfhe-rs Public

   Forked from zama-ai/tfhe-rs

   TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

   Rust

4. sp1 sp1 Public

   Forked from succinctlabs/sp1

   A performant, 100% open-source, contributor-friendly zkVM.

   Rust

5. Plonky3 Plonky3 Public

   Forked from Plonky3/Plonky3

   A collection of libraries related to polynomial IOPs (PIOPs)

   Rust

6. plonky2 plonky2 Public

   Forked from topos-protocol/plonky2

   Plonky2 and Starky implementations

   Rust