安全新解：意图与行为的偏差最小化 文章重新定义安全为用户意图与系统行为偏差的最小化，安全专注于对抗性导致的尾部风险。指出完美安全不可能，因为用户意图复杂且难以数学定义。好的安全解决方案通过多种重叠方式（如类型系统、形式验证、交易模拟、多重签名）让用户从不同角度指定意图，仅在一致时系统才行动。LLM可作为意图的近似角度，但不应单独依赖。安全不是增加用户操作，而是让低风险操作容易、高风险操作困难。 安全 用户意图 类型系统 形式验证 冗余验证 LLM Vitalik Buterin 发布于 2026-02-24 16 0 0
