gakonst / awesome-sp1Links
A curated list of awesome resources related to SP1 - Succinct's zkVM.
☆111Updated 7 months ago
Alternatives and similar repositories for awesome-sp1
Users that are interested in awesome-sp1 are comparing it to the libraries listed below
Sorting:
- PoC of Revm execution in SGX☆79Updated 2 years ago
- barretenburg in rust (here we go)☆99Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆78Updated last year
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated 2 years ago
- spam EVM execution nodes over JSON-RPC & run benchmarks☆104Updated this week
- Solidity contracts for a next-gen rollup system.☆70Updated last week
- Resources for learning Noir from ZKCamp's Aztec Course☆59Updated 2 years ago
- Crypto Gadgets for Plonky2☆74Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆93Updated 2 years ago
- Smart contracts for on-chain anonymous settlement.☆122Updated 2 months ago
- A curated list of repos related to Circom☆102Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆143Updated this week
- A Brainfuck zkVM with Circom.☆59Updated 2 years ago
- Email verification circuit in halo2☆68Updated last year
- ☆103Updated 2 years ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆86Updated 10 months ago
- Scaling Ethereum, but this time in rust.☆90Updated 2 years ago
- A monorepo of reusable Noir circuits.☆46Updated 2 months ago
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆117Updated last year
- EigenLayer Rust Developer Tooling☆91Updated last month
- an introduction to noir, with simple examples☆44Updated last year
- This repository contains PDF lecture notes from Succinct's internal training program, covering various aspects of zero-knowledge proof te…☆37Updated last year
- A EVM block proving backend in Cairo☆86Updated last week
- A repo of example Noir projects.☆70Updated last week
- ☆70Updated last year
- A minimal based rollup implementation that is easy to understand and extend☆46Updated last month
- Sidecar to Enable Rollup Extensions☆148Updated this week
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 3 years ago
- ☆60Updated 2 years ago