repos
37
ecosystems
11
languages
6
commits
4,418
─── top repos · by commits
─── repositories
37 totalNoir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Formal verification tool for Noir programs using the Rocq system
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Isekai verifiable computation project
Fork of aztec-packages containing bb_rs to create bindings to Barretenberg
Benchmark circom and noir on some standard primitives from circomlib/noir stdlib
Rust-based zkSNARK Proving&Verifying tool for noir-lang
good burger
Sudoku example in noir
SHA256 Hashing Library
Mirror of AztecProtocol/aztec-packages/aztec-nr
bignum
C++ library for IOP-based zkSNARKs
─── peer developers
─── ecosystems
─── languages
- Rust13
- C++10
- Noir3
- Solidity1
- Circom1
- Roff1
─── subscriber view
Unlock the full view of guipublic
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.