Explore Projects
Discover 7 open source projects
Showing 1-7 of 7 projects
sismo-core/sismo-badges
Contracts for a decentralized badge minting protocol built on Ethereum and zero-knowledge proofs.
matter-labs/awesome-zero-knowledge-proofs
A curated list of awesome resources for learning about Zero-Knowledge Proofs (ZKP) and related cryptographic concepts.
namada-net/namada
A Rust-based implementation of a privacy-focused, interchain-enabled Layer 1 blockchain.
starkware-libs/cairo
Cairo is a Turing-complete language for creating provable programs for general computation.
Consensys/gnark
gnark is a fast zk-SNARK library with a high-level API to design circuits for zero-knowledge applications.
inference-labs-inc/n-ary_notebooks
Repository providing notebooks for mathematical analysis, algorithm implementations, and protocol optimization techniques.
ProvableHQ/snarkVM
A Rust-based zkVM for building decentralized private computations (DPC) on the Aleo blockchain.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.