celestiaorg / celestia-zkevm-ibc-demoLinks
☆19Updated last 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
Sorting:
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- 🦀 celestia-node REST client in Rust.☆18Updated 3 years ago
- Tendermint in Solidity☆60Updated 3 years ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- Celestia Specifications☆50Updated 2 years ago
- A trust-minimized cross-chain execution environment.☆15Updated this week
- A minimal reimplementation of Tendermint in Rust☆25Updated last month
- Celestia derivation pipeline and proof crate built with kona☆14Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- Configurable Asset Privacy☆34Updated last year
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆29Updated last year
- Cryptography libraries for ZKsync☆33Updated 2 months ago
- ☆27Updated 2 years ago
- Secure SGX Sidecar for CosmWasm☆44Updated 2 months ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆58Updated 3 months ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated last month
- Cryptographic protocols☆39Updated 2 years ago
- ☆30Updated 2 years ago
- Pessimistic proof for the AggLayer.☆26Updated last year
- Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types☆21Updated 11 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- ☆19Updated 3 years ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 10 months ago
- CosmWasm + zkVM RISC-V EFI template☆23Updated 2 years ago
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆35Updated 3 years ago
- Security Audits by Informal Systems☆19Updated this week
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆31Updated last week
- ☆17Updated 3 years ago