https://github.com/eqlabs/eclipse
Bridging ecosystems by storing Zero-knowledge proofs of Solana votes on the Aleo blockchain.
https://github.com/eqlabs/eclipse
Last synced: 2 months ago
JSON representation
Bridging ecosystems by storing Zero-knowledge proofs of Solana votes on the Aleo blockchain.
- Host: GitHub
- URL: https://github.com/eqlabs/eclipse
- Owner: eqlabs
- License: gpl-3.0
- Created: 2021-12-01T05:36:33.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2024-03-14T19:19:23.000Z (about 1 year ago)
- Last Synced: 2024-04-18T05:21:44.207Z (about 1 year ago)
- Language: Rust
- Homepage:
- Size: 51.8 KB
- Stars: 13
- Watchers: 4
- Forks: 4
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- awesome-aleo - Eclipse - Bridging ecosystems by storing zero-knowledge proofs of Solana votes on Aleo (Applications / Bridging)
README
# Project Eclipse _(eclipse)_
> Bridging ecosystems by storing Zero-knowledge proofs of Solana votes on the Aleo blockchain.
[Aleo](https://www.aleo.org/) is a toolkit for private computation that utilizes zero-knowledge proofs stored on a blockchain.
[Solana](https://solana.com/) is a blockchain based on a distributing voting system for validation.
By storing periodic zero-knowledge proofs of the Solana votes on the Aleo blockchain, it is possible to create a two-way bridge between Solana, Aleo, and potentially any other system that is able to verify the proofs.
## Install
Eclipse is written in Rust, and therefore uses the [Rust toolchain](https://www.rust-lang.org/tools/install).
## To Run Aleo-to-Solana
### Solana Node
We need to compile the Eclipse version of the Solana Node.
For PoC purpose, the easiest way is to compile the `Solana-test-validator` binary.
In our Solana forked repository root, run
```sh
./scripts/cargo-install-all.sh .
```
Then you can run the `Solana-test-validator` by
```sh
./bin/solana-test-validator -r --log
```
Details found [here](https://docs.solana.com/developing/test-validator) on the `solana-test-validator`.
**Note**: help trace by setting flag:
`export RUST_LOG=solana_runtime::system_instruction_processor=trace,solana_runtime::message_processor=trace,solana_bpf_loader=trace,solana_rbpf=trace`
#### Onchain Programs
Now compile the on-chain programs. Under the `/programs/aleo-verifier` and
`/programs/uploader` by `cargo build-bpf --sdk=/sdk/bpf`. This will output files in
`/target/deploy/eclipse_aleo_verifier.so` and `/target/deploy/eclipse_uploader.so`
Then use the previously compiled Eclipse version of the solana binary to deploy the program.
In the _Solana_ repository:
```sh
./bin/solana program deploy
./bin/solana program deploy
```
Take a note of the program-id logged here for next step.
#### Eclipse Service
Run eclipse service by
```sh
$ git clone https://github.com/eqlabs/eclipse && cd eclipse/service/src/aleo-to-solana
$ cargo build // tested on 1.61.0 nightly
$ ./target/debug/aleo-to-solana \
--author_keypair \
--payer_keypair \
verify_proofs \
--uploader_program_id \
--verifier_program_id
```
This will run the eclipse service continuously.
We have printed out where the verification results are stored, take a note of it for the next step.
#### Checking
You can check if an Aleo tx has been verified by using the Eclipse version of the solana binary.
In the _Solana_ repository:
```sh
./bin/solana account
```
## Contributing
Please feel free to open issues and pull requests.
## License
Project Eclipse is licensed under the GPLv3, primarily due to copyleft from [SnarkVM](https://github.com/AleoHQ/snarkvm/)