celestiaorg / celestia-zkevm-ibc-demoLinks
☆19Updated 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:
- 🦀 celestia-node REST client in Rust.☆18Updated 3 years ago
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- ☆15Updated 4 months ago
- Tendermint in Solidity☆60Updated 3 years ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated last week
- Celestia Specifications☆50Updated 2 years ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- A minimal reimplementation of Tendermint in Rust☆25Updated last month
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆26Updated 2 weeks ago
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆31Updated last week
- Cryptographic key management service providing a gRPC API and support for a variety of key storage methods including YubiHSM2 devices☆17Updated 2 years ago
- Solidity verifier for Plonk☆42Updated 11 months ago
- ☆30Updated 2 years ago
- Cryptographic protocols☆39Updated 2 years ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated last month
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 4 months ago
- Security Audits by Informal Systems☆17Updated 2 weeks ago
- ETHPrague☆31Updated last year
- Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types☆21Updated 11 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- ☆17Updated 2 years ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆29Updated last year
- Pessimistic proof for the AggLayer.☆26Updated last year
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆57Updated 2 months ago
- ☆16Updated 2 years ago
- revm/reth block proving on Valida☆16Updated 5 months ago
- ☆39Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- CosmWasm + zkVM RISC-V EFI template☆23Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week