microbecode / stark-from-zeroLinks
Create a Stark prover & verifier from zero
☆65Updated 3 months ago
Alternatives and similar repositories for stark-from-zero
Users that are interested in stark-from-zero are comparing it to the libraries listed below
Sorting:
- Resources for learning Noir from ZKCamp's Aztec Course☆59Updated 2 years ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆110Updated 9 months ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆89Updated last week
- A curated list of repos related to Circom☆103Updated 3 years ago
- Ethereum zkEVM book☆80Updated 3 months ago
- A repo of example Noir projects.☆72Updated last month
- ☆62Updated 2 years ago
- Introduction to various ZK languages☆89Updated 4 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆78Updated last year
- A list of awesome Reth-related resources☆120Updated 9 months ago
- Provable play of Nintendo Entertainment System in Noir☆136Updated last year
- a community-maintained cryptography resource☆92Updated last year
- RISC-V prover system for ZKsync OS☆116Updated this week
- ☆103Updated 3 years ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆132Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆146Updated last month
- Template for integrating RISC Zero and Ethereum using Foundry☆140Updated 6 months ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- Playing with zero-knowledge proof languages☆107Updated 2 years ago
- A curated list of ZK and Maths resources☆50Updated 2 years ago
- ☆69Updated 2 years ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆80Updated 2 years ago
- ream: an Ethereum Lean client written in Rust☆121Updated this week
- Smart contracts for on-chain anonymous settlement.☆123Updated 4 months ago
- ☆71Updated last year
- Basic Noir private proof of membership☆90Updated 9 months ago
- The implementation of Stateless Ethereum client based on Reth☆178Updated 8 months ago
- spam EVM execution nodes over JSON-RPC & run benchmarks☆111Updated this week
- Cross-chain interop research, funded by Optimism Governance.☆62Updated 8 months ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆65Updated last year