ChorusOne / celo-light-client
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
- Codec library for protobuf3 in Solidity☆16Updated last year
- An implementation of a namespaced merkle tree in Rust.☆31Updated last week
- Implementation of tendermint light client in rust can be compiled to wasm.☆28Updated 4 years ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- Implementation of substrate light client in rust, compilable to wasm.☆18Updated 4 years ago
- ☆17Updated 2 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated 2 years ago
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated 10 months ago
- ☆18Updated this week
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Updated 3 years ago
- ☆16Updated 11 months ago
- Foundry project for the RLN☆17Updated last year
- circom runtime☆19Updated 6 months ago
- A research-only integration of Sovereign with Celestia☆20Updated last year
- ☆15Updated 3 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 5 years ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 7 months ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- ☆28Updated last year
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- Simplified ed25519 BIP32 derivations☆24Updated last year
- A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.☆17Updated 2 years ago
- BLS12-381 cryptography using Apache Milagro☆28Updated last year
- Novel zero-knowledge proof based social recovery of smart contract wallets☆35Updated 2 years ago
- Oracle feeder service (presently supporting Terra)☆14Updated 2 years ago
- ☆12Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated 2 weeks ago
- A tool for single Ethereum archival block state proofs.☆35Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 2 months ago