Polygon Announces Polygon Miden - A STARK-Based, Ethereum-Compatible Rollup

TL;DR: We are excited to announce the newest member of the Polygon solution suite - Polygon Miden, an upcoming STARK-based, EVM-compatible rollup. The project is led by Bobbin Threadbare, former Facebook’s core ZK researcher who led the development of Winterfell. Today we are releasing Polygon Miden’s core component - Miden VM, the first open-source STARK-based VM. We will continue working and investing in this and other Polygon’s ZK-based efforts, with the ultimate goal of becoming the industry’s leading ZK powerhouse.


We recently announced that, moving forward, Polygon will be focusing on ZK (Zero-Knowledge) cryptography as the most promising technology for scaling blockchains. We have formalized our thoughts and plans in our ZK Thesis and committed $1B from our treasury to support this effort. 

The first foray into the exciting world of ZK was the recently announced acquisition of Hermez Network (now Polygon Hermez). Soon after, we announced Polygon Nightfall, a privacy-focused rollup built in collaboration with EY. We are now continuing our ambitious quest to become the industry’s leading ZK powerhouse with our work on Polygon Miden.

What is Polygon Miden?

Polygon Miden will be a STARK-based ZK Rollup. ZK Rollups are very promising solutions but their main drawback is that it is hard for them to support arbitrary logic and transactions, including those of the EVM (Ethereum Virtual Machine). Polygon Miden solves this challenge using its core component - Miden VM, a STARK-based virtual machine. Miden VM supports arbitrary logic and transactions and has one important additional feature - for any program executed on the VM a STARK-based proof of execution is automatically generated. This proof can then be used by anyone to verify that a program was executed correctly, without the need for re-executing the program or even knowing what the program was. With Miden VM, it becomes somewhat straightforward to build a ZK Rollup that can execute any transaction and program, including those currently living on Ethereum. 

This in itself is a big thing; however, there are multiple additional reasons why we are excited about this project. Here we will briefly outline the most important ones.

Development is well underway

Polygon Miden is already under active development. Today, we are pleased to release the 0.1 version of Miden VM, an early prototype targeted toward developers who want to stay on the cutting edge. In the coming months we plan to significantly expand the feature set of the VM and develop it into a production-grade ZK virtual machine with a unique set of characteristics.

Miden VM itself is an evolution of Distaff VM, the first practical STARK-based virtual machine. Distaff has been in development since early 2020 and has gone through several iterations of development and user testing. Miden VM improves on Distaff by replacing the underlying proving system with Winterfell, a highly-performant STARK prover developed at Facebook’s Novi.

Team 

As mentioned above, the development of Polygon Miden is spearheaded by Bobbin Threadbare, the core developer of both Distaff VM and Winterfell. Prior to building Distaff and Winterfell, Bobbin made multiple contributions in the field of STARK-based proving systems, such as genSTARK library as well as AirScript and AirAssembly languages (supported by the Ethereum Foundation).

The core STARK components are being developed in collaboration with Alan Szepieniec, a prominent cryptographer with significant contributions in ZK and post-quantum cryptography.

Multi-language support

Our primary goal with Miden VM is to guarantee “Ethereum-compatibility”. We will achieve this by offering the ability to compile Solidity-based smart contracts directly into Miden Assembly - the native language of Miden VM. Additionally, this approach allows us to keep the VM flexible enough to be a compilation target of other higher-level languages. Of special interest are safe blockchain-centric languages with support for formal verification, such as Move.

Privacy by design

Even though Polygon Miden is first and foremost a scaling solution, we don’t want privacy to be an afterthought. We believe that privacy will become one of the most important topics in the industry once the pressing need for scaling is met to a satisfying extent, and we are planning and preparing for this. 

To this end, we are embedding privacy-enabling capabilities into the very core of the VM even now. For example, programs in Miden VM are represented by Merklized Abstract Syntax Trees (MAST), which makes it possible to selectively reveal parts of a program while keeping the rest of the program private.

STARKs

As mentioned above, Miden VM uses zk-STARKs as the underlying proving system. STARKs stand out among many other proving systems in that they do not require a trusted setup and rely on well-established cryptographic assumptions. STARKs are also provably post-quantum secure, and thus systems built with them have a measure of future-proofness not available to many other proving systems.

Polygon Miden is our first “STARK-only” solution (Polygon Hermez is already working with some STARK primitives such as FRI); we are excited to continue working on it and explore the potential of this great technology.

Open source now, and always

Polygon Miden is a fully open-source project (under MIT license), developed with Web3 standards and ethos in mind. Our goal is to develop it in the open with inputs and contributions from the community. We welcome participation from other projects which may wish to use Miden VM in or outside of the blockchain context.

Polygon Miden is, to the best of our knowledge, the only fully open-source STARK-based scaling solution. Open-source software is (or at least should be) the standard in Web3, which itself was started to move us away from proprietary, unauditable software and platforms.

Wider Polygon vision

Polygon Miden will be integrated into the wider Polygon ecosystem, alongside existing Polygon solutions: Polygon PoS, Polygon SDK, Polygon Avail, Polygon Nightfall, and Polygon Hermez.

Blockchain infrastructure, including scaling infrastructure, is still in the early phases of development. There is a lot of work and innovation ahead of us in order to be able to onboard the first billion of users, and that is why we at Polygon currently want to support as many meaningful scaling efforts as rationally and practically possible.

Accordingly, we are excited to already have three ZK-focused efforts that will coexist under the Polygon umbrella (Polygon Hermez, Polygon Nightfall, and Polygon Miden). These projects are not considered to be competitors by any means. On the contrary, the three teams are already collaborating and will work together to advance Polygon’s and Ethereum’s infrastructure and adoption.

This announcement, together with the acquisition of Hermez and the announcement of Polygon Nightfall, are big and important events for us, but they only mark the beginning of all the efforts and great work that we aim to facilitate at Polygon. As always, we encourage all individuals and teams working on these exciting technologies to reach out to us, learn more about our work and explore opportunities for collaboration.

Let’s bring the world to Ethereum!

Be a part of our social ecosystem!

Website | Twitter | Ecosystem TwitterDeveloper Twitter | Enterprise Twitter | Studios Twitter | Telegram | Reddit | DiscordInstagram | Facebook | LinkedIn

More from the Polygon Blog
Data Availability is Not Data Storage

Recall this grade school experience: you raise your hand and ask, “Can I go to the bathroom?” To which your teacher responds with “I don’t know. Can you?” Might seem far fetched, but this is a perfect entry point to understanding the difference between data availability and data storage. Let's bring this analogy close to […]

Read More
The Future is Now for Ethereum Scaling: Introducing Polygon zkEVM

We all know that Ethereum needs to scale, and we at Polygon believe that zero-knowledge (ZK) tech is the most promising pathway to get there. But that path has often seemed as if it would be long and winding. The conventional wisdom has been that the crypto space would need many years to develop Layer […]

Read More
Polygon Reaches First Sustainability Milestone by Achieving Network Carbon Neutrality

Polygon has made a major first step toward becoming carbon negative with the retirement of $400,000 in carbon credits representing 104,794 tonnes of greenhouse gasses, or the entirety of the network’s CO2 debt since inception.  The milestone comes after Polygon in mid-April released its Green Manifesto, part of its broader vision for sustainable development. The […]

Read More
Polygon Avail Launches on Testnet to Turn Monolithic Chains Modular

If we want the entire world to join Web3, blockchains will need to handle more transactions. Monolithic blockchains can’t scale because they’re asked to perform too many tasks (execution, settlement, and data availability) at once. But if chains were able to focus on just one part of the stack at a time, the entire ecosystem […]

Read More
Polygon Leads $25 Million Fund For Web3 Venture Studio SuperLayer

Polygon is pleased to reveal that it has led a $25 million funding round for Web3 venture studio SuperLayer. This partnership and funding will help spread SuperLayer’s vision of accelerating the most promising Web3 platforms and projects. SuperLayer is led by managing partners Kevin Chou and Mahesh Vellanki, both founders of multiple leading Web3 companies, […]

Read More
Polygon zkEVM Within Vitalik’s Framework: Gaining Clarity and Looking Ahead

The Ethereum community has recently seen a flurry of zkEVM (zero-knowledge Ethereum Virtual Machine) announcements, including the unveiling of Polygon zkEVM. Given how new these technologies are and how many different approaches are being tried, it comes as no surprise that there has also been a lively debate around key concepts and terminology. What is […]

Read More
Polygon is Coming to ETHMexico With Blu3house #onPolygon 

Polygon is coming to Latin America as a presenter-tier sponsor of ETHMexico.  The annual gathering of Ethereum's brightest minds organized by ETHGlobal will be held on Aug. 19 - 21 in Mexico City. In preparation for the 36-hour-long hackathon, Polygon will host and mentor 25 top women builders in Web3 at our Blu3house #onPolygon. These […]

Read More
crossmenuchevron-down-circle