资讯
公开 · 已发布
AI 辅助黑客攻击正超越传统代码审查，NEAR 联合创始人表示
NEAR 联合创始人 Ilya Polosukhin 表示，AI 辅助黑客攻击正超越传统代码审查，并且需要形式化验证——一种证明代码正确性的数学方法——来保护区块链代码。
发布时间：
更新时间：
发生了什么
NEAR 联合创始人 Ilya Polosukhin 表示，AI 辅助黑客攻击正超越传统代码审查，并且需要形式化验证——一种证明代码正确性的数学方法——来保护区块链代码。
已确认
全球影响 / 市场背景
如果区块链代码无法抵御 AI 驱动的攻击，漏洞可能导致资产损失并侵蚀对去中心化金融平台的信心，从而影响投资者信任和项目融资。
分析师推断
用于黑客攻击的 AI 工具的兴起正促使更广泛的加密行业重新考虑安全实践，许多项目正在探索形式化验证以保护智能合约并维持市场稳定。
分析师推断
下一步关注
- NEAR 是否在其协议中实施了形式化验证，这表明联合创始人发出的行动呼吁转化为具体的安全升级。 提议
- 有关 AI 生成的针对 NEAR 或类似区块链的攻击报告，这将表明联合创始人所强调的威胁的紧迫性。 提议
- 关于区块链安全的监管指南，特别是任何可能要求形式化验证以符合规定的规则，这将影响开发成本和时间表。 提议
受影响资产
- NEAR — NEAR Protocol
- DEFI — DeFi