succinctlabs / sp1-heliosView external linksLinks
On-chain Ethereum light client built with SP1
☆80Dec 16, 2025Updated last month
Alternatives and similar repositories for sp1-helios
Users that are interested in sp1-helios are comparing it to the libraries listed below
Sorting:
- Projects from the Succinct ZK Residency☆21Oct 23, 2024Updated last year
- Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.☆18Sep 30, 2025Updated 4 months ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- SimpleSerialize (SSZ) implementation optimised for speed and security☆27Jan 28, 2026Updated 2 weeks ago
- Succinct's Production-Grade Proving Engine for the OP Stack.☆207Updated this week
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆134Nov 24, 2025Updated 2 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆152Feb 6, 2026Updated last week
- Smart contracts for onchain verification of SP1.☆132Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆145Feb 5, 2026Updated last week
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Feb 21, 2025Updated 11 months ago
- ☆334Feb 2, 2026Updated last week
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆83Updated this week
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆153Feb 3, 2026Updated last week
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated 10 months ago
- client side proving☆39Mar 12, 2025Updated 11 months ago
- A rewrite of Optimism's MIPS.sol thread context in Huff☆26Aug 6, 2023Updated 2 years ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆215Updated this week
- Quick Merkle Database☆302Apr 21, 2025Updated 9 months ago
- plonky2 proving over paladin☆22Jun 19, 2024Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆132Updated this week
- Web Proofs using zk-SXG☆30Nov 16, 2024Updated last year
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- Building blocks of a Circle STARK verifier in Bitcoin script☆159Dec 3, 2025Updated 2 months ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆65Jul 27, 2024Updated last year
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- Rust implementation of the Alpen protocol☆92Updated this week
- Sidecar to Enable Rollup Extensions☆163Jan 29, 2026Updated 2 weeks ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Sep 19, 2025Updated 4 months ago
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated 9 months ago
- GPU-acceselerated cryptography libraries for ZKsync☆22Updated this week
- Fiat-Shamir for the masses.☆87Dec 27, 2025Updated last month
- The preconfer sidecar for Taiko Alethia preconfirmations 🥁☆44Feb 6, 2026Updated last week
- Zig EVM☆34Nov 22, 2025Updated 2 months ago
- World Chain monorepo☆94Updated this week
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆288Jan 16, 2026Updated 3 weeks ago
- Wasm friendly Celestia light node implementation in Rust☆170Updated this week
- A "Type 0" zkEVM☆12Jul 16, 2025Updated 6 months ago
- A suite of portable, extensible `std` components for the superchain.☆21Jan 20, 2025Updated last year
- ☆31May 21, 2025Updated 8 months ago