Skip to content

A blazingly fast sdk for running proofs on the browser... and verifying them on-chain

License

Notifications You must be signed in to change notification settings

starkoracles/Aero

Repository files navigation

Aero

A Blazingly fast toolkit for running proofs in the browser and verifying them on-chain.

Miden verifier on Starknet

MidenVM is an MIT licensed StarkVM which can now be verified on Starknet.

Twitter URL

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 (Programming language for provable programs)
  • Protostar (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 and Max Gillet, please give them a star for their great work!

About

A blazingly fast sdk for running proofs on the browser... and verifying them on-chain

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published