celestiaorg / celestia-zkevm-ibc-demoLinks
☆22Updated 2 months ago
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:
- 🦀 celestia-node REST client in Rust.☆18Updated 3 years ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated 3 months ago
- Tendermint in Solidity☆61Updated 3 years ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- Celestia Specifications☆50Updated 3 years ago
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆35Updated this week
- ☆21Updated last month
- Smart contracts for the Telepathy protocol☆79Updated last year
- 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☆19Updated 2 weeks ago
- AWS Nitro enclave attestation verifier in Solidity, used by:☆20Updated 3 weeks ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- ☆30Updated 2 years ago
- Circuit components definition library for zkLLVM circuit compiler☆42Updated last year
- ☆86Updated 2 years ago
- RISC-V interactive fault proof tech☆107Updated 5 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ETHPrague☆31Updated 2 years ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆29Updated 2 years ago
- A minimal reimplementation of Tendermint in Rust☆25Updated 3 months ago
- ☆39Updated 2 years ago
- A trust-minimized cross-chain execution environment.☆14Updated last week
- Cryptography libraries for ZKsync☆35Updated 3 weeks ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated this week
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Updated 2 years ago
- Eth2 CLI debugging tool☆38Updated 7 months ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated this week
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆62Updated 5 months ago
- a sketch of what a zkvm could look like☆26Updated 4 years ago