Koukyosyumei / zkFuzzLinks
ZK Circuit Fuzzer
☆23Updated 3 weeks ago
Alternatives and similar repositories for zkFuzz
Users that are interested in zkFuzz are comparing it to the libraries listed below
Sorting:
- SMT 2023 Submission; license pending☆56Updated 9 months ago
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- ☆48Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆87Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆111Updated 3 years ago
- ☆55Updated 3 months ago
- ☆59Updated this week
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes☆29Updated 3 weeks ago
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆53Updated 3 weeks ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆74Updated last year
- Compiler framework for ZK VMs☆33Updated 2 years ago
- ☆27Updated 4 months ago
- ☆58Updated 3 months ago
- Zirgen compiler and RISC Zero circuits☆97Updated last week
- Formally Verified Arguments of Knowledge in Lean☆96Updated this week
- r1cs file format parser☆23Updated last year
- zero knowledge proof aggregator for general circuit☆72Updated last year
- Proof system backends for OpenVM.☆31Updated this week
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆119Updated this week
- A lattice-based non-interactive folding scheme written in Rust☆101Updated this week
- A course on Halo2 in collaboration with Zircuit☆31Updated 7 months ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Updated last year
- ☆27Updated 2 years ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆43Updated 3 months ago
- ZK proofs for image authenticity☆46Updated 2 months ago
- Frobenius sumcheck for vectorized boolean ops☆56Updated 4 months ago
- A monorepo of reusable Circom circuits.☆26Updated 2 months ago
- ☆51Updated last year
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆39Updated last month
- ☆46Updated 2 months ago