Vitalik Buterin 概述多层意图验证，作为加强以太坊安全性的关键

简要概述

Vitalik Buterin 认为，重叠的多层次意图检查——从模拟到形式验证——对于降低安全风险和使用户行为与链上结果保持一致至关重要。

以太坊联合创始人 Vitalik Buterin 提出了一套改善钱包和智能合约安全的框架，认为“交易模拟”和其他重叠检查可以缩小用户意图与链上实际发生之间的差距。

在X平台的一篇帖子中，他描述了安全性与用户体验密切相关，指出两者都旨在减少意外结果，特别是在对抗性行为可能造成重大损害的情况下。

Vitalik Buterin 写道，完美的安全性是无法实现的，因为用户的意图本质上是复杂的，不能通过简单的输入完全捕捉。即使是像向他人发送加密货币这样基本的操作，也涉及多层模糊性，从身份的表示到网络分叉可能重新定义资产。他补充说，更抽象的目标，如保护隐私，也会带来更多复杂性，因为元数据模式和通信时序即使在消息加密的情况下也可能泄露敏感信息。

呼吁多层次意图检查以增强安全性

他将这些挑战比作早期关于人工智能安全的讨论，其中以可靠且明确的方式定义目标被认为是最困难的问题之一。Vitalik Buterin 认为，跨软件、硬件和区块链环境的有效安全系统遵循一个共同原则：用户通过多重、重叠的信号表达他们的意图，系统只有在这些信号一致时才会行动。

他举例说明了类型系统、形式验证、多签设置、支出限制和交易模拟等机制。在每种情况下，用户的意图通过不同的机制表达——代码行为、数学保证、多重密钥或确认提示——系统在执行操作前会进行一致性检查。他认为，这种冗余通过从多个角度接近意图，减少了依赖单一输入带来的风险。

他还建议，大型语言模型（LLMs）可以作为解释意图的额外层，充当一种“常识影子”，能够标记异常或高风险操作。然而，他强调，这类模型绝不能成为判断意图的唯一依据，而应作为更广泛安全设计中的一个补充角度。

他总结道，安全不应转变为对用户的不必要阻碍。相反，系统应使日常低风险操作变得简单，同时确保高风险操作需要更强的确认。他表示，实现这一平衡是构建更安全、更直观的以太坊生态系统工具的核心。