Cairo is the first Turing-complete language for creating provable programs for general computation.
-
Updated
Jun 2, 2024 - Rust
Cairo is the first Turing-complete language for creating provable programs for general computation.
Aligned Layer is a verification layer for zero-knowledge proofs using Eigen Layer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum..
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Semaphore tools and extensions.
A zero-knowledge protocol for anonymous interactions.
The proof systems used by Mina
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Rust crypto library for data privacy tools
A curated list of awesome ORA ecosystem.
A Rust Implementation of the PLONK ZKP System and Extensions
An open source, private, self-custodial wallet. Built on the Aleo network.
Minimal implementation of the Mimblewimble protocol.
Proof-of-concept implementation of collaborative GKR and a collaborative zk-SNARK with fully distributed proof generation.
Kakarot zkEVM - rewrite in the latest version of Cairo
The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
The privacy-focused cryptocurrency
Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well as some tools used for testing and development.
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Implementation of Citadel, a self-sovereign identity system integrated in Dusk.
Add a description, image, and links to the zero-knowledge-proofs topic page so that developers can more easily learn about it.
To associate your repository with the zero-knowledge-proofs topic, visit your repo's landing page and select "manage topics."