repos
30
ecosystems
8
languages
6
commits
1,290
─── top repos · by commits
─── repositories
30 totalaztec connect repository
aztec connect repository fork
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
Rust-based zkSNARK Proving&Verifying tool for noir-lang
Fork of aztec-packages containing bb_rs to create bindings to Barretenberg
good burger
Simple noir circuit demo
Aztec docs site
Installation tooling for Noir
─── peer developers
─── ecosystems
─── languages
- Rust9
- C++8
- TypeScript6
- Solidity2
- JavaScript1
- Shell1
─── subscriber view
Unlock the full view of joss-aztec
- · 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.