Vitalik Buterin 在 ZK-SNARK 崛起後對區塊鏈驗證立場大轉變

TLDR

• Vitalik Buterin 公開改變了他自 2017 年以來一直堅持的區塊鏈設計立場。
• 他表示零知識密碼學的進步改變了一般 Ethereum 使用者的實際可行性。
• Buterin 先前主張由於高昂的運算成本，使用者端的完整區塊鏈驗證並不切實際。
• 他現在相信 zk-SNARKs 允許完整驗證，而不需要強迫使用者重新執行交易歷史記錄。
• Ethereum 的路線圖日益著重於零知識證明和基於 rollup 的擴容系統。

Ethereum 共同創辦人 Vitalik Buterin 改變了他自 2017 年以來持有的立場，現在支持由使用者進行完整的區塊鏈驗證，而這是他先前所否定的。他將這一改變歸因於零知識密碼學的突破，特別是 zk-SNARKs，它允許使用者在不重新執行整個交易歷史記錄的情況下驗證鏈狀態。這一轉變顯示了 Ethereum 對自主性和密碼學安全性更深層的承諾，特別是在面臨現實世界的基礎設施風險時。

Vitalik Buterin 改變對完整鏈驗證的看法

Vitalik Buterin 公開撤回了他 2017 年的觀點，當時他認為使用者進行完整區塊鏈驗證是一種「奇怪的山林隱士幻想」。在最近的 X 貼文中，他表示由於技術進步和實際考量，他先前的立場已不再成立。他承認他過去的立場是基於理想化的假設，而現實世界的區塊鏈使用已證明這些假設是錯誤的。

當時，Buterin 偏好將完整狀態儲存在鏈上，而非將其卸載並在本地重建，他認為這樣做效率低下。他主張這樣的設計會迫使使用者依賴集中式 RPC 服務或重新處理整個交易歷史記錄。相反地，Ethereum 使用 Merkle 證明並將狀態根錨定在區塊標頭中。

Buterin 表示這種設置在去中心化和效率之間取得了平衡,儘管它限制了一般使用者的完全獨立性。他先前認為完整驗證並不切實際，除非 Ethereum 嚴格限制其容量。現在，他表示這種限制不再必要。

ZK-SNARKs 為 Ethereum 擴容性引領方向

Buterin 認為 zk-SNARKs 使 Ethereum 能夠提供完整驗證，而不會讓使用者負擔過重的運算。這些證明允許驗證運算而不揭露底層資料或重新執行計算。

Ethereum 的路線圖現在突顯了 zk-SNARKs 和 rollups，特別是用於降低費用和安全地擴展網路。像 zkSync、Scroll 和 StarkNet 這樣的 Rollups 都依賴這些密碼學系統。它們批次處理交易並向 Ethereum 發布單一證明，從而提高吞吐量。

每個系統根據所使用的密碼學模型，以不同方式平衡權衡，包括成本、透明度和證明大小。Buterin 承認了這些權衡，但強調了它們的淨效益。他認為它們解決了先前需要令人不舒服的妥協的問題。

Ethereum 重新審視早期設計限制並向前邁進

Buterin 指出持續的網路問題，如服務中斷和延遲，是減少對中介機構依賴的原因。他表示集中式基礎設施在壓力下經常成為單點故障。他補充說，這一現實支持為使用者提供完整自我驗證的工具。

他以隱喻的方式將備用選項描述為「山林隱士的小屋」，當一切都失敗時它仍能運作。他現在相信這個選項必須對所有使用者開放，而不僅僅是專家。他的新立場是在 Ethereum 採用密碼學以確保韌性時提出的。

Ethereum 的開發人員已開始移除阻礙 zk 採用的舊設計功能，包括模組化指數預編譯。Buterin 在多年前引入了該功能，但現在表示它會減慢 zk 證明生成。在 2025 年底，他提議移除它以提高效率。

他還表示 Ethereum 架構中的一些早期假設不再與當前的密碼學能力一致。Ethereum 現在尋求升級其協議以支援原生 zk 功能。社群提案也探討了用於資料保護合規的 zk 證明。

在 2025 年中，貢獻者建議 zk 方法可以透過將個人資料隱藏在鏈下，使 Ethereum 符合歐洲資料保護規則。驗證者仍然可以使用 zk-SNARKs 在不查看其內容的情況下驗證資料完整性。這種方法可以在保護隱私的同時限制監管摩擦。

本文〈Vitalik Buterin 在 ZK-SNARK 崛起後對區塊鏈驗證立場 180 度大轉變〉首次發表於 CoinCentral。