repos
28
ecosystems
12
languages
6
commits
628
─── top repos · by commits
─── repositories
28 totalsignup-sequencer repository
semaphore-mtb repository
Light prover
🦀 Rust support library for semaphore
Extracting the semantics of Noir to Lean for formal verification
A support library for working with zero knowledge cryptography in Lean 4.
Smart contracts for the WLD token.
Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
GraalVM: Run Programs Faster Anywhere :rocket:
snarkjs powers of tau universal setup (.ptau) deserializer for gnark's groth16 bn254 phase1 trusted setup
.ptau deserializer for gnark groth16 bn254 trusted setup
Gnark Contract Generator
Internal use. Smart contracts powering the World ID protocol and the Worldcoin app airdrops.
Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool
Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool
The ZK Compression Protocol For Solana
Fiat-Shamir for the masses.
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
─── peer developers
─── ecosystems
─── languages
- Rust8
- Go7
- Lean5
- Solidity2
- JavaScript1
- Python1
─── subscriber view
Unlock the full view of kustosz
- · 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.