repos
29
ecosystems
12
languages
5
commits
407
─── top repos · by commits
─── repositories
29 totalProve your connect-4 games against an RL agent using Nova.
Generate a zero-knowledge proof for a SHA1 pre-image.
Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
Solidity libraries and contracts for verifying WHIR proofs on the EVM.
Using folding schemes for a provable bitcoin light client
In-browser ECDSA aggregation using Nova over secp/secq
Docs for https://github.com/privacy-scaling-explorations/sonobe
Verifiable and private prediction markets running on TEEs
Experimental folding schemes library
Experimental folding schemes library
The PSE website
A curated list of awesome things related to learning and programming in Noir.
Zuzalu Passport
Middleware to compile Circom circuits to Nova prover
Noname: a programming language to write zkapps
Nova: Recursive SNARKs without trusted setup
Nova: High-speed recursive arguments from folding schemes
Nova: Recursive SNARKs without trusted setup
Our fork of halo2curves with borsh serialization support
Zuzalu Passport
Middleware to compile Circom circuits to Nova prover
─── peer developers
─── ecosystems
─── languages
- Rust12
- TypeScript5
- Circom3
- JavaScript2
- Solidity2
─── subscriber view
Unlock the full view of dmpierre
- · 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.