Polygon 將零知識匯總帶到最終測試網，以在最終主網集成之前評估其zkEVM 的性能。
以太坊第2 層擴展協議Polygon (MATIC) 在與其主網完全集成之前，正在對零知識匯總(zk rollups) 技術進行性能測試。
這項名為Polygon zkEVM（以太坊虛擬機）的技術的開發已經由Polygon Hermez 團隊進行了三年多。通過在zkEVM 測試網的主要版本中生成超過12,000 個zk 證明，該團隊已經確認零知識證明在以太坊上是可行的。
Polygon zkEVM 和PolygonID 的項目負責人David Schwartz 解開了與Cointelegraph 對應的功能開發。 Layer-2 平台不斷發展和改進功能，這在推動以太坊的可擴展性方面發揮了關鍵作用。
正如他解釋的那樣，零知識匯總提高了第2 層平台實現最終性的速度，同時確保使用零知識技術對交易進行安全驗證。在區塊鏈術語中，最終性是交易塊被認為已永久且不可逆轉地添加到區塊鏈的點：
“最後，我們有了zkEVM，例如Polygon zkEVM，除了與以太坊虛擬機的等效性及其先進的zk-STARKs 和zk-SNARKs 方法外，它還提供上述所有功能。”
根據Schwartz 的說法，Polygon zkEVM 包括第一個可用的完整源代碼EVM 等效zkProver，它以超過99% 的速度通過了所有以太坊矢量測試。他將傳統用戶交易的有效性證明的完成描述為自他的團隊開始開發其原生zkEVM 以來“最具挑戰性和最有價值的努力”。
現在就投票吧
兩年前，Polygon 團隊估計開發具有EVM 兼容性的zk rollup 最多需要十年時間。鑑於取得的進展，該團隊將zkEVM 描述為最終遊戲，將進步與第2 層可擴展性和快速終結相結合。當增加更大的吞吐量和更低的費用時，這為用戶提供了無數的好處。
Cointelegraph 還詢問了Polygon zkEVM 和以太坊第二層擴展網絡StarkNet 專有的ZK-SNARK 和ZK-STARK 技術之間的區別。正如之前報導的那樣，ZK-STARKS（零知識可擴展透明知識論證）主要通過使用單一證明對數千筆交易進行批處理來提高可擴展性，以確認鏈上的有效性。
相關：以太坊合併對區塊鏈的第2 層解決方案意味著什麼
Schwartz 表示，這些項目之間的主要區別在於zkEVM 專注於本地擴展以太坊生態系統，而不是其他zk-rollups 只是擴展交易並提高不同VM 格式的性能。
Polygon 的方法旨在滿足以太坊聯合創始人Vitalik Buterin 在2022 年8 月描述的2 型zkEVM 的分類。根據Buterin 的總結，2 型zkEVM 旨在與現有應用程序完全兼容，但對以太坊進行小幅修改以簡化開發和更快的證明生成。施瓦茨補充說：
“相比之下，StarkNet 定位為Type 4，引入了一種新的高級語言，並要求轉譯器將solidity 代碼翻譯成他們的語言。”
與此同時，Schwartz 很高興有機會從其他項目中獲得更多基準和源代碼，以便從不同的方法中學習。以太坊第2 層解決方案的活動繼續增長，區塊鏈數據顯示，到2023 年，Arbitrum 和Optimism 的交易量超過了以太坊主網上的交易量。
資訊來源：由0x資訊編譯自BITCOININSIDER。版權歸作者Anonymous所有，未經許可，不得轉載
0X簡體中文版：Polygon 測試零知識匯總、主網集成入站