celestiaorg / celestia-zkevm-ibc-demoLinks
☆19Updated 3 weeks 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:
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated last month
- Malachite as consensus engine for Ethereum execution clients via Engine API☆13Updated 3 weeks ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated 2 weeks ago
- Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types☆20Updated 10 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- Cryptographic key management service providing a gRPC API and support for a variety of key storage methods including YubiHSM2 devices☆17Updated 2 years ago
- ☆14Updated 3 months ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated last week
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 7 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- CosmWasm + zkVM RISC-V EFI template☆23Updated 2 years ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆29Updated last year
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- ☆16Updated 2 years ago
- ☆21Updated this week
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆23Updated 3 weeks ago
- Security Audits by Informal Systems☆17Updated last week
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 2 years ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆16Updated last year
- ☆30Updated 2 years ago
- Pessimistic proof for the AggLayer.☆26Updated last year
- ☆34Updated last year
- Secure and optimized communication layer for rollups using EigenDA.☆21Updated this week
- ☆17Updated 2 years ago
- A tool for single Ethereum archival block state proofs.☆35Updated last year
- ☆33Updated last year