# 智能合约的所有文章

在 HTX 新闻中心浏览与「智能合约」相关的最新资讯与深度分析。潘盖市场趋势、项目动态、技术进展及监管政策,提供权威的加密行业洞察。

Vitalik最新长文:AI时代,代码如何变得更安全?

随着AI编程能力快速提升,软件安全面临新挑战:AI既能高效生成代码,也能高效发现漏洞。在加密行业,智能合约、ZK证明等一旦出现缺陷,可能导致不可逆的资金损失。Vitalik探讨了应对此问题的路径——形式化验证。这种方法将程序应满足的性质写成数学命题,再用机器可检查的证明验证这些性质是否成立。虽然形式化验证无法保证绝对安全(证明可能遗漏假设、规范可能写错等),但它提供了一种更可靠的安全范式:用多种方式表达开发者意图,再让系统自动检查这些表达是否兼容。 以太坊未来将依赖复杂底层组件(如STARK、ZK-EVM、共识算法等),这些系统的实现复杂,但安全目标往往可以相对清晰地形式化。AI辅助的形式化验证在此可发挥最大价值:AI负责编写高效代码和证明,人类负责检查被证明的命题是否对应真正的安全目标。 Vitalik认为,面对强大的AI攻击者,答案不是放弃开源或依赖中心化机构,而是将关键系统压缩为更小、更可验证的“安全核心”。AI可能导致粗糙代码增加,但也可能让真正重要的代码变得比过去更安全。形式化验证与AI结合,可推动软件分化为“安全核心”和“不安全边缘组件”,前者通过严格验证承载高信任负担,后者在沙箱中运行以限制风险。最终,形式化验证有助于在AI时代构建更可信的网络安全基础。

marsbit05/19 09:56

Vitalik最新长文:AI时代,代码如何变得更安全?

marsbit05/19 09:56

当钱包开始嵌入 AI Agent:ERC-8211 的新交互范式,为什么值得关注?

2025年起,用户逐渐习惯通过AI助手(如GPT、Gemini)一键完成如旅行规划等复杂任务。然而,在区块链领域,AI Agent执行多步DeFi操作(如兑换、跨链、存款)时,仍面临执行环节的断层问题:需逐步签名、面临滑点、Gas费用、跨链延迟等风险,导致操作易中断或失败。 问题核心在于现有链上执行层(如ERC-4337)支持批量处理但参数静态固化,无法适应DeFi动态环境(如汇率波动、流动性变化),导致AI决策与链上执行脱节。2026年4月,Biconomy与以太坊基金会提出ERC-8211标准,旨在解决这一问题。 ERC-8211将批量处理从“静态交易序列”升级为“动态求值程序”,通过三种核心原语实现: - Fetchers(取值器):实时获取链上状态(如余额); - Constraints(约束器):校验参数条件(如最小输出金额、滑点限制); - Predicates(触发条件):控制流程执行(如跨链到账后继续)。 这使得单次签名可原子化执行多步操作(如提取→兑换→存款),且参数实时更新、条件自动校验,避免失败或资金闲置。 该标准与智能钱包深度结合,推动钱包角色从“签名器”变为“意图解释器”,能清晰展示程序化执行逻辑(来源、条件、结果),保障用户主权与安全。同时,ERC-8211兼容ERC-4337等账户抽象标准,填补了AI Agent链上执行的最后缺口。 综上,ERC-8211代表了链上交互范式的第三次演进:从单次调用→静态批量→动态程序执行,为AI Agent提供了原生、安全、高效的链上操作基础,虽仍处草案阶段,但方向明确,值得关注。

marsbit04/20 10:20

当钱包开始嵌入 AI Agent:ERC-8211 的新交互范式,为什么值得关注?

marsbit04/20 10:20

活动图片