eqlabs / eclipseLinks
Bridging ecosystems by storing Zero-knowledge proofs of Solana votes on the Aleo blockchain.
☆20Updated last year
Alternatives and similar repositories for eclipse
Users that are interested in eclipse are comparing it to the libraries listed below
Sorting:
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated last year
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated 11 months ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated 2 years ago
- ☆25Updated last year
- Deterministic executor + network sim for tokio-based systems.☆18Updated last month
- ☆17Updated 2 years ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 8 months ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 3 months ago
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆16Updated 2 years ago
- Pessimistic proof for the AggLayer.☆26Updated 11 months ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- Cryptography libraries for ZKsync☆32Updated 3 weeks ago
- A parallel proving service for ZKM.☆21Updated last week
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- circom runtime☆19Updated 7 months ago
- ☆11Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Compress cryptographic outputs via mining☆24Updated 2 years ago
- an implementation of indexed merkle trees based on descriptions from the paper by tzialla et al https://eprint.iacr.org/2021/1263.pdf☆11Updated 10 months ago
- DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees☆16Updated last year
- Celo Light Client (IBC compatible)☆16Updated 3 years ago
- ☆35Updated this week
- Bitcoin light client implementation for Near Protocol☆13Updated this week
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆56Updated last month
- An API compatible port of the Stone prover.☆19Updated 7 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 3 years ago
- ☆17Updated 6 months ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated 3 weeks ago