celestiaorg / celestia-zkevm-ibc-demo
☆18Updated 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 derivation pipeline and proof crate built with kona☆14Updated this week
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated this week
- On-chain Ethereum light client built with SP1☆46Updated this week
- ☆12Updated last month
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- Cryptographic key management service providing a gRPC API and support for a variety of key storage methods including YubiHSM2 devices☆17Updated 2 years ago
- ☆17Updated 2 years ago
- ☆30Updated 2 years ago
- Tendermint in Solidity☆60Updated 3 years ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- revm/reth block proving on Valida☆16Updated 2 months ago
- A trust-minimized cross-chain execution environment.☆13Updated this week
- An instantiation of the Poseidon hash for use with decaf377☆29Updated last month
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated last month
- A minimal reimplementation of Tendermint in Rust☆25Updated 6 months ago
- KZG commitments over BLS12-381☆34Updated 2 years ago
- PoC of Revm execution in a Nitro Enclave☆29Updated last year
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆29Updated last year
- Benchmarking Polynomial Commitments☆49Updated last year
- ☆17Updated 3 weeks ago
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 3 years ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆34Updated 11 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- ☆25Updated last week