zero-knowledge-proofs topic
concordium-base
Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well as some tools used for testing and development.
zkbitcoin
zkBitcoin: zero-knowledge proofs on Bitcoin!
zkUniswap
🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
zpie
ZPiE: Zero-knowledge Proofs in Embedded systems
polygon-id
A demo application using Polygon ID to submit ZK proofs of the user's age.
bulletproofs
A pure Java implementation of Bulletproofs using Ristretto. Bulletproofs: short non-interactive zero-knowledge proofs that require no trusted setup
Scalable-Collaborative-zkSNARK
Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.
zkBank
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
avail-wallet
An open source, private, self-custodial wallet. Built on the Aleo network.
aligned_layer
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.