succinctlabs / sp1-heliosLinks
On-chain Ethereum light client built with SP1
☆66Updated last 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 9 months ago
- Email verification circuit in halo2☆68Updated last year
- ☆42Updated 10 months ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated 6 months ago
- Crypto Gadgets for Plonky2☆73Updated last year
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- A collection of ZK light client libraries for various blockchains☆57Updated 8 months ago
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆49Updated this week
- barretenburg in rust (here we go)☆98Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- A consensus client for Reth☆42Updated this week
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 10 months ago
- ☆55Updated this week
- Client side zero-knowledge proving.☆77Updated this week
- ☆40Updated 3 months ago
- PoC of Revm execution in SGX☆80Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆54Updated 4 months ago
- A simple, modern, ergonomic JSON-RPC router, using tower and axum☆58Updated 3 months ago
- Rust implementation of KZG point evaluation☆33Updated 2 weeks ago
- An observatory fork of SP1☆73Updated 6 months ago
- A EVM block proving backend in Cairo☆82Updated last week
- Smart contracts for onchain verification of SP1.☆110Updated 2 months ago
- OS for next iteration of the world computer☆43Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆133Updated last week
- A minimal (and wicked fast) blockchain built with the Commonware Library.☆62Updated last week
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆76Updated 6 months ago
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆126Updated 4 months ago
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆117Updated this week
- ☆94Updated last year