leanEthereum / leanSpecLinks
☆51Updated this week
Alternatives and similar repositories for leanSpec
Users that are interested in leanSpec are comparing it to the libraries listed below
Sorting:
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆50Updated 2 months ago
- barretenburg in rust (here we go)☆99Updated last year
- Workbook for Introduction to Programmable Cryptography☆34Updated 5 months ago
- Honk Verifier in Solidity☆50Updated 11 months ago
- A Brainfuck zkVM with Circom.☆59Updated 2 years ago
- Contains several examples and challenges to use Lambdaworks☆15Updated 2 years ago
- ☆62Updated last month
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆84Updated 9 months ago
- A monorepo of reusable Noir circuits.☆45Updated last month
- A minimal based rollup implementation that is easy to understand and extend☆46Updated this week
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆78Updated 11 months ago
- SMT 2023 Submission; license pending☆56Updated 10 months ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆38Updated 3 weeks ago
- A curated list of awesome resources for learning and programming with Circom☆23Updated 2 years ago
- Solidity implementation of Nova proving system verifier☆64Updated last year
- A curated list of repos related to Circom☆101Updated 2 years ago
- BigInt library for Aztec's noir language☆32Updated last year
- ☆70Updated last year
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆36Updated 2 weeks ago
- ☆25Updated 7 months ago
- Noir implementation of RSA-verify☆43Updated last year
- A collection of learning materials on the Beam chain and Ream client.☆45Updated last week
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 6 months ago
- Ethereum zkEVM book☆72Updated last week
- RISC-V prover system for ZKsync OS☆92Updated this week
- A stateless Ethereum execution client☆33Updated 8 months ago
- A collection of all the project ideas involving zk, blockchains & what not☆23Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆49Updated 2 years ago
- Export Circom verifier to Cairo☆49Updated 3 years ago