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
Introducing Plonky2

Polygon Zero’s mission is simple: to use zero-knowledge proofs to scale Ethereum to a billion users, without compromising decentralization or security. Achieving this requires fast and efficient proof systems. Today, we’re excited to share Plonky2, a major milestone for zero-knowledge cryptography. Plonky2 is a recursive SNARK that is 100x faster than existing alternatives and natively […]

Read More
Polygon Takes A Major Lead In ZK Rollups; Welcomes Mir, A Groundbreaking ZK Startup In A $400M Deal

TL;DR: We are excited to announce that Mir, a startup building groundbreaking ZK tech, is joining the Polygon family in a $400M* deal. Mir gathered a team of talented cryptographers and engineers, and after almost two years of work developed the world’s fastest ZK scaling technology. The Mir team is now joining Polygon in order […]

Read More
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 […]

Read More
Why Web3 Developers Are Choosing Polygon Over Other Solutions 

When it comes to deploying on Ethereum, there is only one place that lets developers easily migrate their projects, offers a broad range of scaling options and has some of the industry’s lowest transaction rates. These are just some of the reasons why the number of teams using Polygon jumped 100-fold in the past year. […]

Read More
Polygon’s Breakthrough Year: 2021 in Review

Welcome to 2022! This is shaping up to be another amazing year for the Polygon ecosystem. But after an absolutely breakthrough 2021, it's got big shoes to fill. Over the past year, Polygon made big strides toward accomplishing its mission of bringing the next billion users to Ethereum. The network’s low-fee infrastructure attracted some of […]

Read More
All You Need to Know About the Recent Network Upgrade

Earlier this month, Polygon’s core development team with help from bug bounty  platform Immunefi successfully fixed a critical network vulnerability. Considering the nature of this upgrade, it had to be executed without attracting too much attention. We are now ready to give the full account of what happened. A group of whitehat hackers notified Immunefi, […]

Read More
crossmenuchevron-down-circle