PinnedLoading

1. nexus-zkvmnexus-zkvmPublic

   Forked fromnexus-xyz/nexus-zkvm

   The Nexus zkVM: The zero-knowledge virtual machine

   Rust

2. risc0risc0Public

   Forked fromrisc0/risc0

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

   C++

3. tfhe-rstfhe-rsPublic

   Forked fromzama-ai/tfhe-rs

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

   Rust

4. sp1sp1Public

   Forked fromsuccinctlabs/sp1

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

   Rust

5. Plonky3Plonky3Public

   Forked fromPlonky3/Plonky3

   A collection of libraries related to polynomial IOPs (PIOPs)

   Rust

6. plonky2plonky2Public

   Forked fromtopos-protocol/plonky2

   Plonky2 and Starky implementations

   Rust