celestiaorg / celestia-zkevm-ibc-demoLinks
☆22Updated 3 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:
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- Tendermint in Solidity☆61Updated 3 years ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated 5 months ago
- Celestia Specifications☆50Updated 3 years ago
- 🦀 celestia-node REST client in Rust.☆18Updated 3 years ago
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated last week
- A trust-minimized cross-chain execution environment.☆13Updated last month
- ☆21Updated 2 weeks ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 5 months ago
- 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☆23Updated 2 weeks ago
- Configurable Asset Privacy☆35Updated last year
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆37Updated this week
- Circuit components definition library for zkLLVM circuit compiler☆42Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- CosmWasm + zkVM RISC-V EFI template☆23Updated 3 years ago
- A minimal reimplementation of Tendermint in Rust☆25Updated 5 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- Smart contracts for the Telepathy protocol☆79Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Tower-based ABCI interface.☆78Updated 9 months ago
- ☆30Updated 3 years ago
- Skip's protocol-owned MEV builder implementation☆54Updated 11 months ago
- Rust work for nomad actors☆56Updated 2 years ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆63Updated 6 months ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- Security Audits by Informal Systems☆19Updated 3 weeks ago
- ☆27Updated 3 years ago
- Cryptographic protocols☆38Updated 2 years ago