Stars
Anoma Abstract Resource Machine Implementation using RISC Zero zkVM
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
A curated list of open-source projects that help exploit Intel SGX technology
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Collect libraries and packages about cryptography in Rust.
The Nexus zkVM: The zero-knowledge virtual machine
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 th…
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
A curated list of zero-knowledge folding schemes
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
A bunch of links to blog posts, articles, videos, etc for learning Rust
Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
Technical specifications for the libp2p networking stack
Nova: High-speed recursive zero-knowledge arguments from folding schemes
A framework for generalized shielded state transitions
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
A Rust Implementation of the PLONK ZKP System and Extensions
A pure Rust PLONK implementation using arkworks as a backend.
A curated list of awesome StarkNet resources, libraries, tools and more