Vitalik Buterin 概述多層次意圖驗證，作為加強以太坊安全性的關鍵

簡要摘要

Vitalik Buterin認為，重疊的多層次意圖檢查——從模擬到正式驗證——對於降低安全風險和使用戶行為與鏈上結果保持一致至關重要。

以太坊聯合創始人Vitalik Buterin提出了一個改善錢包和智能合約安全的框架，認為“交易模擬”及其他重疊檢查可以縮小用戶意圖與鏈上實際發生之間的差距。

在X（前Twitter）上的一篇文章中，他描述了安全性與用戶體驗密切相關，指出兩者都旨在減少意外結果，尤其是在對抗性行為可能造成重大損害的情況下。

Vitalik Buterin表示，完美的安全性是無法實現的，因為用戶的意圖本質上是複雜的，不能僅通過簡單的輸入完全捕捉。甚至像向他人發送加密貨幣這樣的基本操作，也涉及多層模糊性，從身份的表示方式到網絡分叉可能重新定義資產。他補充說，更抽象的目標，如保護隱私，會帶來更多複雜性，因為元數據模式和通信時序即使在消息加密的情況下也可能泄露敏感信息。

呼籲多層次意圖檢查以增強安全性

他將這些挑戰比作早期的人工智能安全討論，其中以可靠且明確的方式規定目標被認為是最困難的問題之一。根據Vitalik Buterin的說法，跨越軟硬體和區塊鏈環境的有效安全系統具有一個共同原則：用戶通過多個重疊的信號表達其意圖，系統只有在這些信號一致時才會行動。

他舉例說明，如類型系統、正式驗證、多簽設置、支出限制和交易模擬。在每種情況下，用戶的意圖都是通過不同機制——代碼行為、數學保證、多重密鑰或確認提示——來表達，系統在執行操作前會進行一致性檢查。這種冗餘性，他認為，通過從多個角度接近意圖而非依賴單一輸入來降低風險。

他還建議，大型語言模型（LLMs）可以作為解讀意圖的額外層，充當一種“常識影子”，能夠標記異常或高風險行為。然而，他強調這些模型絕不能成為判斷意圖的唯一依據，而應作為更廣泛安全設計中的一個補充角度。

他總結道，安全不應轉化為用戶不必要的摩擦。相反，系統應使日常低風險操作變得簡單，同時確保高風險操作需要更強的確認。他認為，實現這一平衡是建立更安全、更直觀的以太坊生態系統工具的核心。