eqlabs / eclipseLinks
Bridging ecosystems by storing Zero-knowledge proofs of Solana votes on the Aleo blockchain.
☆22Updated last year
Alternatives and similar repositories for eclipse
Users that are interested in eclipse are comparing it to the libraries listed below
Sorting:
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 10 months ago
- ☆26Updated last year
- A parallel proving service for ZKM.☆21Updated this week
- ☆36Updated this week
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- ☆17Updated 3 years ago
- Cryptography libraries for ZKsync☆32Updated 2 months ago
- Deterministic executor + network sim for tokio-based systems.☆18Updated this week
- DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees☆17Updated last year
- Compress cryptographic outputs via mining☆24Updated 2 years ago
- Bitcoin light client implementation for Near Protocol☆13Updated this week
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆57Updated 2 months ago
- Pessimistic proof for the AggLayer.☆26Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- SimpleSerialize (SSZ) implementation optimised for speed and security☆25Updated last month
- Bringing divine order to remote task execution.☆27Updated 7 months ago
- GPU-acceselerated cryptography libraries for ZKsync☆19Updated last month
- Solidity verifier for Plonk☆42Updated 11 months ago
- Rust-libp2p transport for {t,n}-threshold signature schemes☆34Updated 3 years ago
- PoC of TSS in Solana blockchain☆33Updated 3 years ago
- SDK for Zero Knowledge Proof Verification on Rust based chains☆30Updated last year
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated last year
- A zk-friendly, Rust-based WebAssembly virtual machine designed for safe, high-performance execution and blockchain compatibility.☆11Updated this week
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated last year
- ☆29Updated 2 years ago
- ☆11Updated 2 years ago
- Common infrastructure used by multiple Mysten projects☆37Updated 2 years ago
- Leader election support in Optimism. Optimism is Ethereum, scaled.☆10Updated 10 months ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated 2 years ago
- Portal network monitoring application.☆73Updated this week