Equilibrium / Selected work / Eclipse

Eclipse

Eclipse, a prototype zero-knowledge bridge between Solana and Aleo that stores ZK proofs of Solana votes on Aleo and verifies Aleo proofs on Solana.

Prototype
equilibriumco/eclipse
Client Aleo
Ecosystems Aleo · Solana
Stack Rust
Delivered by Equilibrium Labs (now Equilibrium)

Overview

Equilibrium built Eclipse, a prototype zero-knowledge bridge between Solana and Aleo. It connects two very different architectures, Solana’s high-throughput monolithic runtime and Aleo’s privacy-focused, zero-knowledge L1, by storing zero-knowledge proofs of Solana votes on the Aleo network and verifying Aleo proofs back on Solana. The design generalizes to a two-way bridge between Solana, Aleo, and potentially any system able to verify the proofs.

It was an effort released publicly as open source (GPLv3) at github.com/equilibriumco/eclipse and equilibrium.co/projects/eclipse.

What the work comprised

  • Modified Solana validator: a Solana test validator adapted to generate the vote data to be proven.
  • On-chain Solana programs: an Aleo verifier and an uploader program (eclipse_aleo_verifier.so, eclipse_uploader.so).
  • Eclipse service (Rust): an off-chain service that processes Aleo proofs and submits verification results back to Solana, continuously verifying Aleo transactions and recording results on Solana.

Built entirely in Rust, using Aleo’s zero-knowledge toolkit (SnarkVM) and Solana’s program runtime.

Status

Completed prototype, delivered February 2023 and open-sourced. A proof-of-concept / R&D bridge, not a production or audited system.