Polygon Miden 更側(cè)重于zk友好性，而不是EVM兼容性，采用新的狀態(tài)機，允許開發(fā)者部署應(yīng)用。
Polygon Miden每個交易更新一個賬戶的狀態(tài)，它會消耗0個或多個notes， 生成0或多個notes。
Polygon Miden 基于Actor 模型，為了實現(xiàn)轉(zhuǎn)賬，需要有兩個交易。
Polygon Miden 具有 local execution 能力，用戶或網(wǎng)絡(luò)可生成交易的證明。
目前Polgon Miden還在開發(fā)中，尚未上線。
Miden VM 支持各個功能：
-
Flow control： Miden VM 是圖靈完備的，支持各種控制流結(jié)構(gòu)； -
Procedures: Miden 匯編代碼可以分解為子線程，稱為procedures, 實現(xiàn)代碼的模塊化； -
Execution contexts: Miden VM 執(zhí)行可擴展到多個獨立的上下文中，每個上下文都有各自的內(nèi)存空間。 -
Memory: Miden VM支持讀寫隨機訪問內(nèi)存； -
u32 operations: Miden VM 支持32位無符號的整數(shù)的各種運算； -
cryptographic operations: Miden 匯編提供內(nèi)置的指令計算hash, 采用Rescue Prime Optimized哈希函數(shù)； -
External libraries: Miden VM 支持編譯預定義的庫，例如stdlib添加了64位無符號整數(shù)的支持，開發(fā)者也可添加第三方的庫； -
Nondeterminism: Miden VM 支持非確定性的程序，即prover可以為VM提供hints， 加速計算，或作為VM的秘密輸入； -
custom advice providers: VM 執(zhí)行過程中可以提供外部數(shù)據(jù)作為輸入，例如外部數(shù)據(jù)庫或RPC 調(diào)用。
計劃支持的功能：
- 遞歸證明：
- 更好的調(diào)試功能；
- 錯誤執(zhí)行的證明
Miden VM 架構(gòu)
Miden VM 是在 64位 域上，即 。
Miden VM 主要是三個組件：
- Stack： 棧結(jié)構(gòu)，每個棧元素是一個域元素；
- Memory: 內(nèi)存是線性隨機訪問的可讀寫結(jié)構(gòu)；
-
Advice provider: 主要為VM 提供非確定性輸入。
Miden VM的目標是支持將Solidity, Move, Sway等高級編譯為Miden assembly, 但目前編譯器尚未開發(fā)。
目前僅支持采用Miden assembly開發(fā)項目程序。
Miden assembly language
Miden 匯編是一種用于寫Miden VM程序的低級語言，首先編譯成MAST(Merkerlized Abstract Syntax Tree)， 然后轉(zhuǎn)為Miden VM 指令集。
參考
https://wiki.polygon.technology/docs/miden/
