tobias-rothmann / Polynomial-Commitment-SchemesLinks
Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
☆10Updated last month
Alternatives and similar repositories for Polynomial-Commitment-Schemes
Users that are interested in Polynomial-Commitment-Schemes are comparing it to the libraries listed below
Sorting:
- ☆48Updated 2 months ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆40Updated this week
- Compiler framework for ZK VMs☆33Updated 2 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated 3 weeks ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆35Updated last week
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆15Updated last year
- A formal verification of Linear PCP SNARKs.☆56Updated last year
- WebGPU MSM implementation☆15Updated this week
- ☆11Updated last year
- Testudo: Spartan + Groth16☆52Updated last year
- ☆44Updated last week
- ☆48Updated 2 years ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆14Updated 5 months ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆74Updated last year
- ☆30Updated 2 years ago
- ☆41Updated last year
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Updated 2 years ago
- ECFFT in Rust☆58Updated last year
- Early-stage research related to the Anoma protocols.☆33Updated last year
- A course on Halo2 in collaboration with Zircuit☆31Updated 8 months ago
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- Benchmark of ZKVMs and Proving Schemes☆29Updated 3 months ago
- ☆12Updated last year
- Fiat-Shamir for the masses.☆76Updated last month
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Very fast and memory-efficient (but not succinct) ZK through VOLE in the Head. Contains adapter for load Circom-formatted circuits and wi…☆33Updated 3 months ago
- Polymath: Groth16 Is Not The Limit☆29Updated 7 months ago
- ☆40Updated 2 years ago
- Formally Verified Arguments of Knowledge in Lean☆102Updated this week
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Updated last year