Polygon Miden
- Polygon Miden will be the first decentralised rollup that leverages execution proofs of concurrent, local transactions.
- Anyone can execute a transaction and create a STARK-proof for the network. Execution and proving can happen concurrently and privately (locally) in Polygon Miden.
- Many proofs are batched and put into a single Ethereum transaction using recursive proof aggregation, thus increasing throughput and reducing transaction fees.
- At the heart of Polygon Miden is the Miden VM: a Turing-complete STARK-based virtual machine which provides a level of safety and supports advanced features currently unavailable on Ethereum.
Project structure
This reposotory stores all the code for Polygon Miden. Everything is open source.
| Repository | Description |
|---|---|
| AirScript | A domain-specific language for writing AIR constraints for Miden VM. |
| Miden Crypto | Cryptographic primitives used in Polygon Miden rollup. |
| Miden VM | STARK-based virtual machine for Polygon Miden rollup. |
| Examples | Examples of using the Miden VM and Miden assembly. |
Status
At the moment you can use the Miden VM v0.3.0 on our playground and locally. Check out the Miden VM repository or our Miden VM docs for more detailed instructions.
As soon as we have the Miden Client or Miden Node, we will make it available. Follow us on Twitter to get the latest updates.
In case you want to use parts of Polygon Miden - like the Miden VM or AirScript - please reach out to us.
Design
High-level design goals
- Parallel transaction execution where causally independent transactions can be processed in parallel. This is needed to achieve ultimate scalability.
- Support for composable smart contracts via safe but Turing-complete language. This is needed to support safer wallets, DeFi, DAOs, and many other cool use cases.
- Native support for multiple assets where the environment itself ensures asset safety, allows fee payments in multiple assets etc.
- Privacy which includes ability to engage in private transactions as well as have privacy-preserving smart contracts.
- Ethereum compatibility which includes ability to reuse Solidity smart contracts (with as few modifications as possible) on Polygon Miden, as well as support for such user-facing tools as MetaMask.
License
This project is MIT licensed.