Reef: A zkSNARK system for proving that a committed document matches a regex
☆77Nov 21, 2025Updated 3 months ago
Alternatives and similar repositories for Reef
Users that are interested in Reef are comparing it to the libraries listed below
Sorting:
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆40Oct 28, 2025Updated 4 months ago
- ☆49Feb 12, 2026Updated 2 weeks ago
- Testudo: Spartan + Groth16☆53Feb 21, 2024Updated 2 years ago
- Circom AES-GCM circuits☆35Feb 12, 2026Updated 2 weeks ago
- Verify a chain of x509 certificates in halo2☆33Nov 30, 2023Updated 2 years ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- To bring zero knowledge privacy primitives to all web3 developers.☆13Oct 20, 2023Updated 2 years ago
- ☆38Jul 30, 2025Updated 7 months ago
- Experimental folding schemes library☆261Feb 23, 2026Updated last week
- An advanced fork of Nova (contact:@huitseeker)☆88Mar 3, 2025Updated 11 months ago
- ☆33Mar 27, 2024Updated last year
- ☆12Sep 11, 2024Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Apr 16, 2024Updated last year
- Proof of concept implementation of sumcheck over fields of small characteristics.☆19May 16, 2025Updated 9 months ago
- ☆23Jun 12, 2025Updated 8 months ago
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- Witness encryption for KZG openings☆33Nov 6, 2024Updated last year
- A collection of ZK light client libraries for various blockchains☆67Dec 4, 2024Updated last year
- Vectorized AVX-512 256-bit arithmetic library☆34Sep 28, 2024Updated last year
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆213Updated this week
- ☆41Jan 7, 2024Updated 2 years ago
- Fiat-Shamir for the masses.☆88Feb 14, 2026Updated 2 weeks ago
- Honk Verifier in Solidity☆50Feb 21, 2026Updated last week
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- polynomial commitments from linear codes☆50Dec 13, 2024Updated last year
- Nova: High-speed recursive zero-knowledge arguments from folding schemes☆824Feb 23, 2026Updated last week
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Apr 6, 2023Updated 2 years ago
- building blocks for accelerating ZK proofs over binary fields☆48Jun 19, 2025Updated 8 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆78Jan 27, 2025Updated last year
- A list of worth-reading articles about Cryptohraphy☆16Jul 24, 2024Updated last year
- Multi-party computation libraries written in Rust 🦀☆285Feb 13, 2026Updated 2 weeks ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Mar 3, 2024Updated last year
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- A web tool that helps you compare and visualize the performance of cryptographic operations☆93Jan 27, 2026Updated last month
- ☆52Oct 10, 2023Updated 2 years ago
- ☆337Feb 2, 2026Updated last month
- A hardware acceleration library for compute intensive cryptography☆482Nov 10, 2025Updated 3 months ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated last week