reilabs / lampe
Extracting the semantics of Noir to Lean for formal verification
☆20Updated this week
Alternatives and similar repositories for lampe:
Users that are interested in lampe are comparing it to the libraries listed below
- Groth16 verifier in EVM☆20Updated last year
- Circom AES-GCM circuits☆27Updated 3 months ago
- Noir library to verify JWT tokens, and prove claims.☆17Updated this week
- ☆18Updated last week
- High Performance SSZ Implementation☆13Updated last month
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 3 years ago
- powdr application running Ethereum tests via revm☆17Updated 7 months ago
- ☆28Updated 3 years ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated this week
- Mozak RISC-V Virtual Machine☆24Updated this week
- Andromeda revm execution service☆31Updated 6 months ago
- plonky2 implementation of bn254 pairing☆18Updated last year
- A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.☆19Updated last year
- The entry point for Rust projects to be run on Valida☆10Updated last week
- ☆11Updated last year
- Benchmark of ZKVMs and Proving Schemes☆23Updated this week
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- Minimal Merkle Tree implementations☆28Updated 2 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated 10 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 2 months ago
- ☆39Updated last year
- ☆26Updated 11 months ago
- Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342☆13Updated 2 years ago
- ☆17Updated last year
- We're living in Obfustopia☆21Updated last month
- ☆14Updated last year
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year