Koukyosyumei / zkFuzzLinks
ZK Circuit Fuzzer (IEEE S&P'26)
☆25Updated this week
Alternatives and similar repositories for zkFuzz
Users that are interested in zkFuzz are comparing it to the libraries listed below
Sorting:
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- SMT 2023 Submission; license pending☆56Updated 10 months ago
- ☆48Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆87Updated last year
- ☆25Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆112Updated 3 years ago
- ☆56Updated this week
- Compile circom code to llvm partially☆12Updated 2 years ago
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes☆30Updated last week
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆53Updated last month
- ☆29Updated 3 years ago
- ☆60Updated 3 weeks ago
- A course on Halo2 in collaboration with Zircuit☆32Updated 8 months ago
- A lattice-based non-interactive folding scheme written in Rust☆104Updated last week
- r1cs file format parser☆23Updated last year
- Solves systems of polynomial equations.☆29Updated last week
- ☆59Updated 4 months ago
- A monorepo of reusable Circom circuits.☆26Updated 2 months ago
- zero knowledge proof aggregator for general circuit☆72Updated last year
- Formally Verified Arguments of Knowledge in Lean☆102Updated this week
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆44Updated 4 months ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆74Updated last year
- ☆27Updated 5 months ago
- Circom AES-GCM circuits☆34Updated last month
- A Symbolic Execution Tool for Cairo☆52Updated 3 years ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆35Updated last week
- Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARK…☆18Updated 2 months ago
- Compiler framework for ZK VMs☆33Updated 2 years ago
- ZK proofs for image authenticity☆46Updated 2 months ago
- Zirgen compiler and RISC Zero circuits☆98Updated this week