succinctlabs / sp1-tendermint-exampleLinks
An example of a ZK Tendermint light client on Ethereum powered by SP1.
☆28Updated 2 months ago
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 3 weeks ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆23Updated this week
- 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 last week
- ☆18Updated 2 months ago
- ☆51Updated 2 weeks ago
- Pessimistic proof for the AggLayer.☆26Updated 11 months ago
- A minimal reimplementation of Tendermint in Rust☆25Updated 7 months ago
- ☆13Updated 2 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 9 months ago
- High performance EraVM for zkSync.☆24Updated last month
- ☆25Updated 3 weeks ago
- On-chain Ethereum light client built with SP1☆52Updated 2 weeks ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated last year
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- A collection of ZK light client libraries for various blockchains☆51Updated 5 months ago
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated 11 months ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- ☆31Updated last year
- Celestia Implementation of Modular Data Availability Interface☆18Updated 3 weeks ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- Ethereum stateless tools☆45Updated last month
- customizable halo2 circuits batcher☆30Updated last week
- ☆35Updated last week
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- ☆21Updated 9 months ago
- Axiom smart contracts☆26Updated last year
- Public releases for the Valida toolchain☆20Updated 2 months ago
- A monorepo of reusable crates for zero-knowledge technologies.☆13Updated 2 weeks ago
- Documentation for Rollkit - a modular framework for rollups.☆37Updated last week