以 ZK 證明為中心設計的新執行層， 了解 Miden - 第二篇。Miden VM 和客戶端證明 正如 Hyojin Choi (@Maxi_cho ) 所說， @0xMiden 不是一個簡單的 ZK 項目。 如果在第一篇中探討了 Miden 為什麼是必要的， 這次將解釋其核心引擎 Miden VM 是如何運作的，並附上簡要示例。 -------- 我們在考試時會收到考卷、解題紙， 以及 OMR 卡。 雖然可以直接在考卷上解題， 但因為空間狹小且不方便， 難以自由地寫下複雜的公式或思考過程。 因此，我們會單獨拿到解題紙， 隨意展開公式來解題。 這個過程是為了正確解題， 而不是為了展示給別人看。 考試結束後，解題紙或 所有計算過程並不會提交。 相反，我們只需在 OMR 卡上勾選答案並提交。...