A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
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.
source ~/cairo_venv/bin/activate
)make generate_proof
make integration_test
This code is heavily reliant on the work done by ZeroSync and Max Gillet, please give them a star for their great work!