Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/starkoracles/Aero
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
https://github.com/starkoracles/Aero
cairo-lang miden proof-system stark starknet zero-knowledge
Last synced: about 1 month ago
JSON representation
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
- Host: GitHub
- URL: https://github.com/starkoracles/Aero
- Owner: starkoracles
- License: mit
- Created: 2023-02-17T19:38:41.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2023-07-27T17:21:44.000Z (over 1 year ago)
- Last Synced: 2024-08-01T22:45:33.350Z (5 months ago)
- Topics: cairo-lang, miden, proof-system, stark, starknet, zero-knowledge
- Language: Cairo
- Homepage:
- Size: 757 KB
- Stars: 39
- Watchers: 2
- Forks: 2
- Open Issues: 6
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Aero
A Blazingly fast toolkit for running proofs in the browser and verifying them on-chain.
## Miden verifier on Starknet
[MidenVM](https://github.com/0xPolygonMiden/miden-vm) is an MIT licensed StarkVM which can now be verified on Starknet.
[](https://twitter.com/stark_oracle)
**The code in the project is incomplete, DO NOT USE IN PRODUCTION!!!**
## Why should you care?
* Composability - Different zkVMs take different design trade-offs. Making Miden proofs verifiable on Starknet increases the design space
application can be built. For example, certain VMs might make trade-offs that make it cheaper to compute keccak, by allowing composability
we can offload those computations to the appropriate VMs but leverage network effects to achieve cost-effectiveness.
* Privacy - Since Miden prover is fully open-source, you can generate proofs locally and verify them on Starknet. The proof itself
will divulge a lot less about the activity than the current approach of running your contracts directly on Starknet.
* Mobile - Miden is an extremely efficient prover which can be run with much smaller RAM configurations. Furthermore, Miden prover can
be compiled down to WASM which allows easy integration with web applications, including Metamask.
## Requirements
- Python 3.9 (Activate environment: `source ~/cairo_venv/bin/activate`)
- Cairo. [Installation Guide](https://www.cairo-lang.org/docs/quickstart.html) (Programming language for provable programs)
- [Protostar](https://docs.swmansion.com/protostar/docs/tutorials/installation) (Automated testing)
- Rustup
## Commands
### Generate proof
```
make generate_proof
```
### Verify in Cairo
```
make integration_test
```
## Roadmap
* Add AIR verification - Use AirScript to generate constraints in Cairo
* Enable extension field for security
* Eliminate hard-coded parameters
* Deploy on Starknet
## Changelog
* Modify ZeroSync to match Miden's trace layout
* Change all field operations to goldilocks (this can be configured to be any field smaller than Cairo's field)
* Change Winterfell to work with blake2s (match Cairo's implementation)
* Remove ZeroSync dependencies that require Python<>Rust integration
## Acknowledgements
This code is heavily reliant on the work done by [ZeroSync](https://github.com/ZeroSync/ZeroSync) and [Max Gillet](https://github.com/maxgillett), please give them a star for their great work!