每個 Rollup 都將是 ZK Rollup Succinct 的 Uma Roy 的大膽聲明正變得越來越真實。以太坊的 Layer 2——如 Mantle、World Chain 和現在的 Arbitrum——正在通過零知識證明從樂觀假設轉向加密確定性。 以下是 ZK 如何為 Rollup 帶來更快的速度、安全性和效率的原因。👇 ~~ 分析來自 @davewardonline ~~ ZK Rollup 的核心優勢 ➢ 更快的最終性和結算——ZK Rollup 將提款和結算時間從 7 天縮短到幾分鐘。ZK 證明提供即時驗證，從而完全消除了爭議。 ➢ 增強的安全性和無信任性——ZK 證明是“有效性證明”，它們在數學上保證正確性，這意味著如果它們提交到主網，您可以百分之百信任它們的數據。ZK 的魔力在於快速驗證，確保即使在吞吐量擴展時也能保持去中心化。 ➢ 成本降低——證明與完整交易數據相比微乎其微。這種壓縮數據的發布帶來了顯著的成本節省，得益於證明系統，證明者在生成最便宜、最快的證明方面競爭，為鏈和其用戶創造收益。 ➢ 改善 L2 互操作性——由於能夠實現更快的結算，zk Rollup 提供了更容易的 L2 之間狀態驗證，優化跨鏈應用、原子交換和統一流動性池。更多的 zk L2 創建了一個統一的“超級鏈”，減少了碎片化。 ZK 證明系統如何工作 如上所述，證明系統通過創建數學證明來推動這些優勢，證明交易是有效的而不透露其內容。與其讓每條鏈構建和維護自己的單一證明者，這將鎖定固定成本並限制可擴展性，這些去中心化網絡將工作外包給獨立證明者的競爭市場，從而降低費用，同時提高可靠性和去中心化。 從本質上講，這些系統通過一個簡單但強大的過程工作。證明者獲取一批交易並在受控環境中離線重新執行它們。這生成了一個簡潔的證明，一個微小的加密數據片段，L1 可以以低成本驗證。 這些證明系統通常使用 zkVM，零知識虛擬機以這種可證明的方式模擬區塊鏈執行。將 zkVM 想像成一台安全的計算機，它可以證明它正確地運行了一個程序，而不透露內部發生了什麼。 這種預防性的方法從根本上將安全模型從“信任但驗證”轉變為“永不信任，總是證明”，為每個人節省了時間、金錢和無盡的監控。 為什麼是現在？ZK 轉型的時機和不可避免性 四五年前，ZK 計算密集、緩慢且昂貴。證明需要幾個小時或幾天，並且與 EVM 不兼容。 最近的進展改變了一切。更好的加密算法（SNARKs/STARKs）、更快的硬件（GPU）以及以太坊的升級（如 Dencun）使 ZK 變得實用，而不僅僅是理論。 但現在，正如 Uma 在與 @OffchainLabs CEO @sgoldfed 的對話中所說，“ZK 便宜、簡單、[並且] 快”，這要歸功於專注的團隊和競爭的證明者。 雖然 @SuccinctLabs 的證明網絡與 @arbitrum 的最終集成需要 DAO 的批准，但其重要性不容小覷。隨著 Arbitrum 生態系統確保超過 120 億美元的 TVL，並作為未來推出（如 Robinhood 的鏈）的平台，這標誌著圍繞 ZK 作為最終目標形成共識的關鍵一步。 這不會一蹴而就，治理和遺留系統會造成摩擦，但隨著技術的成熟，軌跡看起來越來越不可避免。 更多的鏈轉向 ZK，Ethereum 的擴展最終目標就越清晰。更快的最終性、可證明的安全性、較低的成本和無縫的互操作性，都是由 ZK 帶來的。 隨著今天來自 Arbitrum 生態系統的公告，所有的要素似乎都在不斷對齊，使 @pumatheuma 的每個 Rollup 都成為 ZK Rollup 的預測成為現實。