A Blazingly fast toolkit for running proofs in the browser and verifying them on-chain.
MidenVM is an MIT licensed StarkVM which can now be verified on Starknet.
The code in the project is incomplete, DO NOT USE IN PRODUCTION!!!
-
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.
- Python 3.9 (Activate environment:
source ~/cairo_venv/bin/activate) - Cairo. Installation Guide (Programming language for provable programs)
- Protostar (Automated testing)
- Rustup
make generate_proof
make integration_test
- Add AIR verification - Use AirScript to generate constraints in Cairo
- Enable extension field for security
- Eliminate hard-coded parameters
- Deploy on Starknet
- 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
This code is heavily reliant on the work done by ZeroSync and Max Gillet, please give them a star for their great work!