Polygon 推出基於zk-STARKs的先進擴容解決方案 Miden

2021-11-17 00:11:07

Polygon Miden 將通過使用先進的零知識密碼學技術STARK來壓縮交易，然後在以太坊上驗證它們，從而增強 Polygon 的可擴展性和安全性。

詳細內容：Polygon Announces Polygon Miden - A STARK-Based, Ethereum-Compatible Rollup — Polygon | Blog

迪拜時間——2021 年 11 月 16 日——Polygon——一個已經吸引了數百萬人使用Web3產品的以太坊擴容平臺，於今日宣布推出 Polygon Miden，一種基於 STARK 的、與 EVM 兼容的擴展解決方案，同時也將开源其核心組件的早期原型版本，Polygon Miden 虛擬機。

這個項目是由曾經領導研發了Winterfell技術的Facebook前核心零知識證明技術研究員領導。

Polygon Miden 是Polygon的價值10億美元的ZK策略資金中孵化出來的“武器”之一。Polygon的基於零知識 (ZK)其他“武器”還包括最近宣布的對 Hermez Network（現為 Polygon Hermez）的收購和Polygon Nightfall——後者是一個獨一無二的與安永（Ernest & Young）共同开發構建的以隱私為重點保護的Rollup。每個方案都旨在提升區塊鏈可擴展性並推動以太坊的大規模採用。

Polygon Miden 是一個基於 STARK 的 ZK Rollup。 Rollup 可以減少擁塞並降低交易費用，但目前它們很難支持任意邏輯和交易，這影響了它們驗證所有鏈下交易的能力。Polygon Miden將解決這一挑战，通過使用其核心組件Miden 虛擬機 (VM) 來解決當今 ZK Rollup的最大難題之一。

Polygon Miden VM 是第一個完全开源的基於 STARK 的虛擬機。它的作用是驗證程序執行並為 dapp 部署提供增強的盡職調查。它的推出推進和加速了Polygon 的使命，以在不犧牲安全性的情況下緩解以太坊的擴展問題，例如高昂的 gas 費用和緩慢的速度。

在Miden虛擬機上執行的任何程序，將通過自動生成的基於 STARK 的執行證明，來驗證程序是否正確執行。從而消除了重新執行程序的必要，甚至不需要知道程序是什么——大大簡化和加速了 DeFi 應用程序和加密貨幣的安全部署。

ZK 證明和工具（例如 Miden VM）對於开發穩健、快速、高交易和安全的區塊鏈交易至關重要，因為它們支持在彼此未知的各方之間處理和驗證鏈上證明的能力。正是因為能夠正式驗證代碼、提供有效性的加密證明以及降低部署時的漏洞利用風險能力，使得Miden VM成為开發人員的強大工具。

Miden VM 是基於 Distaff VM的虛擬機，Distaff是一個用Rust語言編寫的零知識虛擬機。Miden VM 通過利用Facebook的Novi开發的STARK證明器/驗證器Winterfell對 Distaff 進行擴展。Winterfell抽象化了密碼證明系統的所有復雜性，這意味着开發人員無需成為密碼學家，也無需理解零知識證明才能夠使用。從終端用戶的角度來看，Miden只不過是一個普通的基於堆棧的具有线性讀寫內存的虛擬機。

Distaff VM和Winterfell的核心开發人員Bobbin Threadbare將加入 Polygon 作為 Miden Lead，致力於重新整合 Distaff，將 Distaff 和 Winterfell 結合起來，並繼續开發 Miden VM 及其周圍的生態系統。

Threadbare 說道：“Polygon 添加的 Miden 虛擬機代表了一個重要的墊腳石，以有助於克服依賴於計算完整性的加密證明的一些技術挑战。我期待能夠幫助促進 STARK 在 Polygon 生態系統以及更廣泛的安全和隱私社區中的开源實施。”

Polygon 的聯合創始人 Sandeep Nailwal 表示：“ZK 是以太坊的前進之路，Miden VM 是 Polygon 以太坊可擴展性路线圖中最重要的元素之一。它將簡化和加速 DeFi 應用程序和加密貨幣的驗證——提高 Polygon 生態系統的速度和規模。”

Polygon 已經开始快速擴展 Miden VM 的功能集，基於隱私設計，並將其开發為產品級別、开源且透明的證明系統。 Polygon 團隊計劃通過灌輸以下獨特特性來提高 VM 的可行性：多語言範式——實現靈活性並將使用擴展到更廣泛的开發人員語言，例如由 Novi / Diem 开發的 Move；以及區塊鏈為中心的安全性——通過集成包括靜態分析、形式驗證和有限的可變性等的特性來實現。

有關Polygon

Polygon 是以太坊擴容和基礎設施开發的平臺。其豐富且不斷增多的產品套件使开發人員可以輕松訪問所有主流的擴容和基礎架構解決方案：L2 解決方案（ZK Rollups 和 Optimistic Rollups）、側鏈、混合解決方案、獨立鏈和企業鏈、數據可用性解決方案等。 Polygon 的擴展解決方案已被廣泛採用，托管了 3000 多個應用程序，處理了約 6 億筆交易，約 6000 萬個唯一用戶地址，以及 5B 美元以上的資產安全。

如果您是以太坊开發者，那么您已經是 Polygon 开發者了！利用 Polygon 為您的 Dapp 提供快速且安全的區塊鏈交易，從這裏开始。