ChorusOne / celo-light-clientLinks
Celo Light Client (IBC compatible)
☆16Updated 3 years ago
Alternatives and similar repositories for celo-light-client
Users that are interested in celo-light-client are comparing it to the libraries listed below
Sorting:
- Codec library for protobuf3 in Solidity☆16Updated last year
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- Implementation of tendermint light client in rust can be compiled to wasm.☆28Updated 4 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 5 years ago
- ☆17Updated 2 years ago
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated 11 months ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- Implementation of substrate light client in rust, compilable to wasm.☆18Updated 4 years ago
- Merkle-Mountain-Range library☆17Updated 2 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Updated 3 years ago
- circom runtime☆19Updated 7 months ago
- Repository to verify contributions to the AZTEC Ignition ceremony☆17Updated 2 years ago
- ☆30Updated 2 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated 2 years ago
- ☆21Updated 2 years ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 2 months ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- ☆19Updated last week
- Eth2 light client implementation as a cosmwasm smart contract☆12Updated last year
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated 2 years ago
- FHE in the Risc0 zkVM☆25Updated last year
- Foundry project for the RLN☆17Updated last year
- Celestia derivation pipeline and proof crate built with kona☆14Updated last week
- ☆39Updated 2 years ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 8 months ago
- preliminary, high-level eth2-client benchmarks☆16Updated 4 years ago
- ☆15Updated 4 years ago
- Simplified ed25519 BIP32 derivations☆24Updated last year
- Data aggregator for Cosmwasm☆18Updated 2 years ago