succinctlabs / sp1-heliosLinks
On-chain Ethereum light client built with SP1
☆74Updated this week
Alternatives and similar repositories for sp1-helios
Users that are interested in sp1-helios are comparing it to the libraries listed below
Sorting:
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 11 months ago
- A collection of ZK light client libraries for various blockchains☆60Updated 10 months ago
- Crypto Gadgets for Plonky2☆73Updated last year
- OS for next iteration of the world computer☆43Updated 2 years ago
- Email verification circuit in halo2☆68Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
- A EVM block proving backend in Cairo☆85Updated this week
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated 8 months ago
- ☆53Updated 4 months ago
- ☆42Updated last year
- A consensus client for Reth☆45Updated last week
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆78Updated this week
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- ☆123Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- An observatory fork of SP1☆75Updated 8 months ago
- Benchmarks of popular zkVMs including Jolt☆62Updated last year
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆130Updated 3 weeks ago
- Client side zero-knowledge proving.☆91Updated this week
- A minimal (and wicked fast) blockchain built with the Commonware Library.☆73Updated this week
- barretenburg in rust (here we go)☆99Updated last year
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆59Updated last week
- PoC of Revm execution in SGX☆80Updated 2 years ago
- client side proving☆36Updated 7 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆77Updated 8 months ago
- Rust implementation of KZG point evaluation☆33Updated 2 months ago
- KZG commitments over BLS12-381☆36Updated 3 years ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 7 months ago