為什麼多證明者系統對 zkVM 安全性很重要？ zkVM 仍在不斷發展。在這個階段，證明者或驗證者中的錯誤是不可避免的。多證明者架構是一種實用的方法，可以在最新的證明系統尚不完美時，保持活躍性和安全性。 在我們柏林 Ethproofs 峰會上，代替 @DeclanFox14 的 @OffchainLabs 產品經理 @zkLumi 強調，防止 zkVM 惡意或故障升級的最重要保障之一是證明者多樣性。 與依賴單一證明者實現不同，多證明者設置可以： • 並行運行多個 ZK 證明實現。 • 納入來自不同系統的證明。 • 如果證明失敗或與其他證明不一致，則回退到替代證明類型（例如欺詐證明）。 例如，@arbitrum Orbit 鏈可以以混合模式運行： • 通常使用 ZK 證明運行。 • 如果發生爭議或證明者失敗，則回退到欺詐證明。 • 維護多個 zkVM 或 ZK 實現以捕捉錯誤。 這種方法提供了彈性，如果 zkVM 升級引入缺陷——無論是惡意更改還是意外錯誤——並確保始終有安全的路徑來驗證狀態。 還邀請了 @ethereumfndn 的 @alexanderlhicks 和 @NethermindEth 的 @mpfzajac。 在這裡觀看完整的討論小組：