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.
Click on the below link for more information on Polygon Miden: