eqlabs / eclipse
Bridging ecosystems by storing Zero-knowledge proofs of Solana votes on the Aleo blockchain.
☆17Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for eclipse
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- Deterministic executor + network sim for tokio-based systems.☆14Updated last month
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 2 months ago
- A parallel proving service for ZKM.☆18Updated last month
- ☆28Updated last week
- Starknet sequencer built with Tendermint Core☆53Updated last year
- Pessimistic proof for the AggLayer.☆26Updated 4 months ago
- ☆16Updated 2 years ago
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆16Updated last year
- High performance EraVM for zkSync.☆23Updated last week
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated 4 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 11 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆19Updated 10 months ago
- DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees☆16Updated 10 months ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated 10 months ago
- Common infrastructure used by multiple Mysten projects☆36Updated last year
- A Sparse Merkle Tree circuit constructed with Halo2 poseidon.☆17Updated this week
- Template for zkGraph.☆19Updated 8 months ago
- ☆23Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆25Updated last month
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- zk-rollup☆22Updated last year
- An implementation of a namespaced merkle tree in Rust.☆26Updated 2 months ago
- Solidity verifier for Plonk☆41Updated 2 months ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Updated 2 years ago
- ☆13Updated last month