reilabs / lampe
Extracting the semantics of Noir to Lean for formal verification
☆25Updated this week
Alternatives and similar repositories for lampe:
Users that are interested in lampe are comparing it to the libraries listed below
- client side proving☆28Updated last month
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Circom AES-GCM circuits☆29Updated last week
- RLN on KZG☆20Updated last year
- The first CHIP-8 zkvm☆20Updated 10 months ago
- MiMC implementation in Halo2☆9Updated 2 years ago
- plonky2 implementation of bn254 pairing☆18Updated last year
- Groth16 verifier in EVM☆21Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆43Updated 2 years ago
- Proving shortest paths with recursive SNARKs☆12Updated 2 years ago
- ☆50Updated last year
- Benchmarking Polynomial Commitments☆49Updated last year
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated last month
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- An API compatible port of the Stone prover.☆19Updated 5 months ago
- Client side zero-knowledge proving.☆48Updated this week
- The entry point for Rust projects to be run on Valida☆10Updated last month
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- An arkworks implementation of the superspartan PIOP☆13Updated 7 months ago
- A collection of technical notes from the Geometry research team.☆47Updated 2 years ago
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆30Updated last year
- ☆9Updated last year
- BN254 Pairing Implementation in Noir☆22Updated last year
- ECDSA gadgets for plonky2☆18Updated last year
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated 2 years ago
- compiler tooling for Stark-based zkVMs☆16Updated 2 years ago
- Based on https://eprint.iacr.org/2022/1510☆26Updated 6 months ago
- Delve into low-level RISC Zero machine☆27Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- An instantiation of the Poseidon hash for use with decaf377☆29Updated last month