維塔利克·布特林：區塊鏈正進入一個新的計算時代 在全球區塊鏈峰會（上海區塊鏈週）上，維塔利克·布特林闡述了零知識證明、形式化驗證和人工智慧將如何重塑區塊鏈架構。他的核心觀點是：以往每個節點都重新執行相同計算的舊模式，正逐漸被淘汰。借助 SNARKs/STARKs，一方負責計算與證明，其餘所有人僅需驗證。遞歸 STARKs（與其 EIP-8288 提案相關）可將多個證明合併為一個，從而減少鏈上資料與成本。結合 EIP-8141（將交易拆分為可並行處理的動作）與 FOCIL（去中心化區塊構建），目標是建立完整的計算流程——從本地設備執行、記憶體池、證明聚合、L2 到 L1，實現可擴展性而不犧牲去中心化。 關於人工智慧，布特林認為它是下一階段不可或缺的基礎設施：用於編寫/審計程式碼、生成規格，並以人類無法手動達成的規模執行形式化驗證——他指出，這對於解決當前 L2 的安全漏洞至關重要。他呼籲開發者停止設計一個先進加密與自動化驗證尚不切實際的世界，因為這一限制正迅速消失。 #Ethereum #Buterin #ZKProofs #Blockchain #Web3 #AI #Crypto