- Vitalik Buterin 表示，ZK-SNARKs 消除了過去的取捨，使得在不完全重新執行交易的情況下，也能實現強大的鏈上驗證。
- 現實世界的中斷、審查和驗證者集中促使 Buterin 重視直接用戶驗證作為安全備用方案。
- 他現在將自主主權驗證視為一種韌性保險，而非「山林隱士」的理想，強化了用戶的議價能力。
以太坊共同創始人維塔利克·布特林已公開 修訂 一個長期以來對區塊鏈的觀點，並在最近的一篇文字貼文中談到了這一點。他解釋了改進的密碼學、現實世界中的失敗以及用戶風險如何改變了他對區塊鏈驗證和自主權的看法。
2017年辯論確立了最初的分歧
2017年，布特林與伊恩·格里格辯論區塊鏈應該如何記錄資訊。格里格認為區塊鏈應該保存交易順序，而不是餘額或合約存儲等明確的狀態。
然而，Buterin反對那個設計，因為用戶需要完整的歷史處理或第三方信任。根據Buterin， 以太坊的 state-root 承諾允許使用 Merkle 證明直接驗證狀態。
值得注意的是，這個模型依賴於共識參與者中的誠實多數。當時，Buterin 認為普通用戶進行完整的個人驗證既不切實際也沒有必要。他在之前的一篇文章中將其描述為「山林隱士的幻想」。
ZK-SNARKs 改變了技術上的取捨
然而，Buterin 現在引用 ZK-SNARKs 作為決定性的技術轉變。他解釋說，零知識證明允許在不重新執行所有交易的情況下驗證鏈的正確性。因此，用戶可以在不進行大量計算的情況下獲得強有力的保證。
根據 Buterin，這消除了以往成本與安全性的權衡。他將這一進展比作消除過去區塊鏈擴展爭議中的主要限制。因此，隨著技術的改進，舊有的妥協值得重新評估。
現實世界的失敗重塑了他的觀點
除技術之外，Buterin 強調現實世界的脆弱性。他列舉了網絡中斷、極端延遲、服務關閉、驗證者集中和應用程序審查。值得注意的是，他引用了 龍捲風現金 作為中介人限制存取的範例。
在這種情況下，鏈上直接互動成為唯一的選擇。Buterin 認為，在危機中依賴開發者會帶來中心化風險。相反，他將「山區男子的小屋」重新定義為一種備用方案，而非一種生活方式。根據 Buterin 的說法，保持這種選擇可以增強用戶的議價能力並提高系統的韌性。