succinctlabs / sp1-tendermint-exampleLinks
An example of a ZK Tendermint light client on Ethereum powered by SP1.
☆27Updated last week
Alternatives and similar repositories for sp1-tendermint-example
Users that are interested in sp1-tendermint-example are comparing it to the libraries listed below
Sorting:
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated last month
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆23Updated 3 weeks ago
- Pessimistic proof for the AggLayer.☆26Updated 11 months ago
- customizable halo2 circuits batcher☆30Updated last month
- Configuration and scripts for running Astria☆21Updated 10 months ago
- A library for encoding blobs into a 2D square of evenly sized chunks designed for sampling and reconstruction☆17Updated this week
- High performance EraVM for zkSync.☆24Updated 2 months ago
- On-chain Ethereum light client built with SP1☆57Updated last week
- ☆14Updated 3 months ago
- A minimal reimplementation of Tendermint in Rust☆25Updated 2 weeks ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 4 months ago
- ☆25Updated last month
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 10 months ago
- ☆35Updated this week
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 7 months ago
- ☆23Updated 6 months ago
- ☆35Updated last month
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- ☆21Updated this week
- ☆51Updated last week
- A collection of ZK light client libraries for various blockchains☆51Updated 6 months ago
- ☆31Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- Documentation for Rollkit - a modular framework for rollups.☆37Updated this week
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated last year
- Celestia Implementation of Modular Data Availability Interface☆18Updated last month
- Public releases for the Valida toolchain☆22Updated 3 months ago
- Cosmos SDK Module for Celestia DA☆52Updated 9 months ago
- ☆19Updated 2 weeks ago
- ☆31Updated last year