succinctlabs / sp1-helios
On-chain Ethereum light client built with SP1
☆38Updated this week
Alternatives and similar repositories for sp1-helios:
Users that are interested in sp1-helios are comparing it to the libraries listed below
- ☆51Updated this week
- ☆31Updated 11 months ago
- Rust implementation of KZG point evaluation☆30Updated last month
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated 6 months ago
- ☆35Updated 3 months ago
- ZK Fault Proofs for Optimistic Rollups☆30Updated this week
- KZG commitments over BLS12-381☆34Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆53Updated last year
- an introduction to noir, with simple examples☆43Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 6 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 4 months ago
- ☆33Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 3 months ago
- RLN on KZG☆20Updated last year
- A monorepo of reusable Noir circuits.☆28Updated last week
- Using folding schemes for a provable bitcoin light client☆32Updated 8 months ago
- Sidecar to Enable Rollup Extensions☆70Updated this week
- A collection of ZK light client libraries for various blockchains☆48Updated 2 months ago
- Honk Verifier in Solidity☆49Updated 4 months ago
- Email verification circuit in halo2☆67Updated 7 months ago
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- Smart contracts for onchain verification of SP1.☆78Updated this week
- Solidity contracts for a next-gen rollup system.☆63Updated 2 months ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- RLN circuits in Circom☆29Updated 7 months ago
- Delve into low-level RISC Zero machine☆27Updated last year