- Vitalik表示，現代ZK證明允許全面鏈上驗證，無需重播歷史。
- 他將這種轉變與故障、審查風險以及對脆弱第三方服務的依賴聯繫起來。
- 隨著驗證對用戶而言變得可行，Ethereum現正重新審視早期的設計限制。
Ethereum聯合創辦人Vitalik Buterin表示，他不再認同2017年6月9日所發表的，否定普通用戶驗證完整區塊鏈歷史的言論。這一聲明重新審視了早期關於區塊鏈應僅存儲交易順序還是也要記錄完整系統狀態的爭論。Buterin稱，後來的技術進步和現實世界的失敗改變了他對驗證權衡和長期自主權的看法。
當時的爭論集中在用戶是否應通過重播每一筆交易來重建區塊鏈狀態，還是信任第三方。Buterin此前否定了那些僅讓用戶擁有這兩種方式來獲取餘額或智能合約數據的設計。他表示，當時那種觀點背後的假設已不再符合現有技術或運營現實。
當區塊鏈必須在不依賴開發者的情況下，承受故障、審查和高度集中控制時會發生什麼？
早期反對無狀態區塊鏈設計
Buterin表示，他2017年的評論是在與Ian Grigg關於交易排序與狀態追蹤的辯論中提出的。Grigg主張區塊鏈應記錄消息，讓電腦自行推斷並丟棄狀態。在這種方式下，餘額和合約數據將不會直接保存在鏈上。
Buterin反對這一想法，因為用戶將無法輕鬆直接訪問狀態，除非付出極大努力或完全信任第三方。他表示，用戶要麼需要從創世塊起處理每一筆交易，要麼依賴外部服務提供者。這兩種方式都為普通用戶獨立驗證設置了障礙。
他將此與Ethereum的設計進行對比，Ethereum會將狀態根寫入區塊頭。這種做法允許用戶在多數誠實假設下，通過Merkle分支來證明特定值。Buterin表示，信任大多數驗證者仍比信任單一遠程服務提供者更安全。
技術推動驗證權衡的轉變
Buterin表示，零知識證明是自他早期立場以來最大的變化。他指出ZK-SNARKs可在無需重播每一筆交易的情況下驗證鏈的正確性。該技術允許用強力保證且計算成本較低地進行驗證。
他將這一進步比作獲得曾被認為需付出巨大代價才能實現的好處。ZK-SNARKs實現了驗證強度，同時不會將區塊容量限制在不切實際的水準。Buterin表示，這重塑了過去在舊技術約束下所作的權衡。
隨著改進工具的出現，他表示Ethereum應重新審視受制於既有限制下作出的決策。他指出，區塊構建和數據帶寬等剩餘問題仍需關注。根據他的說明，這些問題與驗證可行性是分開的。
相關閱讀： Vitalik Buterin：機構既不是加密的朋友，也不是敵人
現實失敗塑造設計優先順序
Buterin表示，他的想法也因為觀察到現實系統失敗而發生轉變。
他舉例點對點網絡斷線、延遲飆升，以及依賴突然關閉的服務。這些失敗會迫使用戶運營自己的基礎設施，否則就有失去資金的風險。
他還警告，挖礦和質押可能集中到多數攻擊變得可行的程度。在這些情況下，安全假設已接近單一行為者控制，而非廣泛去中心化。像Tornado Cash這樣的事件顯示，中介機構可以同時審查應用。
Buterin表示，自主區塊鏈必須在不預設開發者介入的情況下運作。他將“山林小屋”描述為系統失效時的最後備援。這一概念作為一種有韌性的替代方案，僅憑存在就能增強Ethereum。
