Vitalik 撤回2017年“山人”言論，將ZK-SNARKs視為以太坊的安全保障
重點摘要：
- Vitalik Buterin 公開收回了2017年對完全用戶自我驗證的否定性言論
- ZK-SNARKs的進步如今允許在不重放所有歷史記錄的情況下驗證區塊鏈狀態
- Buterin 將自我驗證視為一種備用方案，以使以太坊能抵抗故障和審查
以太坊聯合創始人 Vitalik Buterin 在2017年討論並修正的一個立場，顯示區塊鏈技術及他自身的相關性觀點已經發生了巨大變化。在最近的一篇X（前Twitter）貼文中，Buterin 解釋了他為何不再同意早期對全用戶自我驗證的批評，這種方式常被嘲笑為“山人”方法。
閱讀更多：Vitalik 與批評者站在一起，因 Zcash 在代幣投票治理推動上出現深刻裂痕
目錄
- 重新審視2017年的區塊鏈辯論
- ZK-SNARKs 改變成本結構
- 無需重放鏈即可驗證
- 現實世界的失敗塑造以太坊的哲學
重新審視2017年的區塊鏈辯論
Butterin 發布的評論源於他與區塊鏈研究員 Ian Grigg 的爭論。當時，Grigg 提議區塊鏈應該捕捉交易的順序，但不承諾狀態，包括帳戶餘額或智能合約的存儲。這個概念是，狀態將按需重建，而不是存儲在鏈上。
Buterin 強烈反對這個設計。他認為，如果不將狀態提交到區塊鏈，用戶將面臨兩個糟糕的選擇：運行一個處理每個交易的完整節點（從創世開始）或信任第三方RPC提供者。以太坊的方法是將狀態根提交到區塊頭，允許用戶在誠實多數假設下，使用Merkle證明驗證特定值。
在2017年，Buterin 認為由於高昂的計算成本，大多數用戶已經不再實踐完全自我驗證。他的立場是基於當時的技術限制以及開發者為確保區塊鏈實用性所做的權衡。
閱讀更多：Vitalik Buterin 出售兩個迷因幣，獲得114,700美元（約13,889 USDC）和28.58 ETH
ZK-SNARKs 改變成本結構
Buterin 認為，最重要的進展是零知證明系統的成熟，尤其是 ZK-SNARKs。用戶可以利用這些工具在不必重放所有歷史交易的情況下，驗證區塊鏈狀態的正確性。
Buterin 描述這一突破為“帶來好處而無成本”。用戶不再需要在信任與大量計算之間做出選擇，而是可以使用密碼學證明，以高效的方式確保其正確性。用他的話說，這從根本上逆轉了過去可接受的權衡。
無需重放鏈即可驗證
ZK-SNARKs 使得在不犧牲計算成本的情況下驗證鏈的有效性成為可能，這曾使自我驗證變得不切實際。在以太坊的案例中，這為更強的去中心化保證打開了道路，且沒有可用性或擴展性的折衷。
Buterin 認為，生態系統應該提高期望，重新評估過去區塊鏈發展階段的權衡，並利用更好的工具。
現實世界的失敗塑造以太坊的哲學
除了密碼學之外，Buterin 強調了他在現實世界中遇到問題時的經驗教訓。點對點網絡可能崩潰，延遲可能飆升，長期存在的第三方服務可能突然消失。在這種情況下，依賴開發者或中心化基礎設施是一個弱點。
他指出的其他風險包括驗證者集中、51%攻擊的可能性，以及中介審查，並以 Tornado Cash 的限制事件作為提醒，直接鏈接訪問可能成為必要。
對 Buterin 來說，自我驗證不是日常需求，而是一種安全機制。“山人小屋”是用戶在系統失效時可以依靠的避風港，其存在本身就改善了權力的平衡。他將其比作 BitTorrent 在保持串流平台誠信方面的角色。
相關文章