Verified-zkEVM / ZKLib
Formally Verified SNARKs in Lean
☆19Updated this week
Alternatives and similar repositories for ZKLib:
Users that are interested in ZKLib are comparing it to the libraries listed below
- deprecated, use Verified-zkEVM repository instead☆20Updated last month
- Compiler framework for ZK VMs☆33Updated last year
- Solves systems of polynomial equations.☆29Updated last year
- A support library for working with zero knowledge cryptography in Lean 4.☆34Updated 3 weeks ago
- A formal verification of Linear PCP SNARKs.☆52Updated 7 months ago
- ECFFT in Rust☆56Updated last year
- ☆28Updated this week
- A lattice-based non-interactive folding scheme written in Rust☆61Updated last month
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆43Updated last month
- A SNARK using towers of binary fields, implemented in Rust☆85Updated this week
- a lattice lib for building snarks☆21Updated 9 months ago
- Rust Code for CELPC☆15Updated last week
- ☆47Updated last year
- Rust crypto library for zero-knowledge proofs☆15Updated this week
- ☆39Updated last year
- Automated verification of uniqueness property for ZKP circuits☆41Updated 8 months ago
- Frobenius sumcheck for vectorized boolean ops☆50Updated 3 weeks ago
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆44Updated last month
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆40Updated last year
- ☆26Updated 11 months ago
- lattice-based zkSNARKs over libsnark [ISW21]☆31Updated 4 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆35Updated this week
- polynomial commitments from linear codes☆39Updated 2 months ago
- Verifiable FHE with GKR☆25Updated 4 months ago
- ☆49Updated last year
- ☆39Updated 2 years ago
- ☆31Updated this week
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆57Updated 3 months ago
- Testudo: Spartan + Groth16☆51Updated last year