celestiaorg / celestia-zkevm-ibc-demo
☆17Updated this week
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
- A research-only integration of Sovereign with Celestia☆20Updated last year
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- An implementation of a namespaced merkle tree in Rust.☆30Updated 6 months ago
- Pessimistic proof for the AggLayer.☆26Updated 9 months ago
- ☆12Updated 2 weeks ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 3 weeks ago
- A minimal reimplementation of Tendermint in Rust☆25Updated 5 months ago
- Cryptography libraries for ZKsync☆29Updated this week
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆49Updated 3 months ago
- A trust-minimized cross-chain execution environment.☆13Updated this week
- Starknet sequencer built with Tendermint Core☆53Updated last year
- On-chain Ethereum light client built with SP1☆40Updated 2 weeks ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 3 weeks ago
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 2 years ago
- A tool for single Ethereum archival block state proofs.☆35Updated last year
- ☆17Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- An API compatible port of the Stone prover.☆19Updated 4 months ago
- Cryptographic key management service providing a gRPC API and support for a variety of key storage methods including YubiHSM2 devices☆16Updated 2 years ago
- ☆39Updated last year
- Tendermint in Solidity☆60Updated 3 years ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆29Updated last year
- Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types☆19Updated 7 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆11Updated 2 weeks ago
- powdr application running Ethereum tests via revm☆18Updated 9 months ago
- Security Audits by Informal Systems☆15Updated 3 months ago
- The entry point for Rust projects to be run on Valida☆10Updated 2 weeks ago