Polygon Miden is a zero-knowledge rollup running on the Miden VM. Polygon Miden prioritizes ZK-friendliness over EVM compatibility; that way, it can offer features and benefits unavailable on Ethereum. It aims at builders who want to create high-throughput and private dApps. Miden is a general-purpose rollup; builders can write and deploy arbitrary smart contracts.
This repository stores all the code for Polygon Miden. Everything is open source.
| Repository | Description |
|---|---|
| AirScript | Domain-specific language for writing AIR constraints for Miden VM. |
| Miden Base | Core components of the Polygon Miden rollup. |
| Miden Client | A reference Miden Client to be used by users. |
| Miden Crypto | Cryptographic primitives used in Polygon Miden rollup. |
| Miden Compiler | Compiler from MidenIR to Miden Assembly. |
| Miden Node | Miden Node to be used by the Miden operators. |
| Miden VM | STARK-based virtual machine for Polygon Miden rollup. |
| Examples | Examples of using the Miden VM and Miden assembly. |
The public testnet is up and running. You can interact with the Miden node using the Miden client. Currently, there are only predefined smart contracts and node scripts. As soon as there is the Miden Rust compiler, builders can start writing their own contracts.
You can also use the Miden VM v0.9 locally and on the Miden playground. For more detailed information, check out the Miden VM repository or our Miden VM docs.
If you want to use parts of Polygon Miden - like the Miden VM or AirScript - please contact us.
- Client-side proving where users can locally execute transactions and create proofs of them on their own.
- Parallel transaction execution where causally independent transactions can be processed in parallel.
- Privacy which includes the ability to engage in private transactions as well as have privacy-preserving smart contracts.
- 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 and allows fee payments in multiple assets, etc.
This project is MIT licensed.