succinctlabs / sp1-heliosLinks
On-chain Ethereum light client built with SP1
☆62Updated 2 weeks ago
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
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- ☆41Updated 9 months ago
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆48Updated this week
- A consensus client for Reth☆40Updated this week
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated 6 months ago
- Client side zero-knowledge proving.☆76Updated this week
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- KZG commitments over BLS12-381☆36Updated 2 years ago
- Email verification circuit in halo2☆68Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 10 months ago
- Monorepo for Summa Proof of Solvency Protocol☆98Updated 11 months ago
- A simple, modern, ergonomic JSON-RPC router, using tower and axum☆58Updated 2 months ago
- A collection of ZK light client libraries for various blockchains☆56Updated 8 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated 11 months ago
- Crypto Gadgets for Plonky2☆72Updated last year
- OS for next iteration of the world computer☆43Updated last year
- An observatory fork of SP1☆72Updated 5 months ago
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆123Updated 3 months ago
- barretenburg in rust (here we go)☆98Updated last year
- A EVM block proving backend in Cairo☆81Updated last week
- Honk Verifier in Solidity☆50Updated 9 months ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- ☆123Updated 9 months ago
- Rust implementation of KZG point evaluation☆33Updated last week
- ☆31Updated last year
- ☆53Updated this week
- Pessimistic proof for the AggLayer.☆26Updated last year
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆74Updated 6 months ago
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆111Updated this week