celestiaorg / celestia-zkevm-ibc-demoLinks
☆22Updated last month
Alternatives and similar repositories for celestia-zkevm-ibc-demo
Users that are interested in celestia-zkevm-ibc-demo are comparing it to the libraries listed below
Sorting:
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- 🦀 celestia-node REST client in Rust.☆18Updated 3 years ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated 3 months ago
- Celestia Specifications☆50Updated 2 years ago
- Tendermint in Solidity☆61Updated 3 years ago
- A minimal reimplementation of Tendermint in Rust☆25Updated 3 months ago
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated last month
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Malachite as consensus engine for Ethereum execution clients via Engine API☆17Updated 2 weeks ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 3 months ago
- ☆30Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated last month
- ☆20Updated 2 weeks ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- Smart contracts for the Telepathy protocol☆79Updated last year
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆33Updated this week
- Circuit components definition library for zkLLVM circuit compiler☆42Updated last year
- Cryptography libraries for ZKsync☆35Updated this week
- AWS Nitro enclave attestation verifier in Solidity, used by:☆18Updated this week
- CosmWasm + zkVM RISC-V EFI template☆23Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- A trust-minimized cross-chain execution environment.☆15Updated last week
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- ☆86Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆14Updated 2 months ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆61Updated 4 months ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Skip's protocol-owned MEV builder implementation☆54Updated 9 months ago