NEAR 联合创始人：AI 辅助黑客的攻击速度超过传统代码审查

NEAR 公链联合创始人 Illia Polosukhin 周一表示，AI 辅助的黑客攻击始于去年 10 月，如今已经超过了传统代码安全审查的速度。在接受 The Block 的播客 The Starting Block 采访时，Polosukhin 将 Balancer 事件认定为这一趋势的首个案例。他认为，加速源于 AI 模型能够比人类审查者更快地发现软件漏洞，从而使修补难以跟上。网络安全行业长期依赖手动代码审查，但 Polosukhin 辩称，随着 AI 工具不断演进，这种做法已变得不可持续。

Polosukhin 提出形式化验证作为安全解决方案

Polosukhin 主张进行形式化验证，即用数学方式证明代码“做的是它所说的事情”。他说，这一过程在历史上一直昂贵、缓慢且高度依赖人力，但现在 AI 能帮助生成大部分所需证明，然后再由外部进行独立核查。

“你不需要依赖 AI，因为 AI 只是生成证明，”Polosukhin 说。“你只需要验证证明是正确的。”

他认为，到目前为止，网络安全主要是让“聪明的人”审查代码，并寄希望于没有更聪明的人发现他们遗漏的东西。“我们需要另一种思维方式，”Polosukhin 说。“这不是说，‘哦，我们要用更好的模型去审查一切，然后希望下一个更好的模型不会再发现问题。’”

Polosukhin 表示，这种做法最终应当超越智能合约，扩展到关键的互联网与网络软件。“我们需要从根本上转向构建 blockchain 代码——老实说，互联网中的所有代码——并对其进行形式化验证，”他说。

Zcash 项目 Tachyon 展示 AI 辅助证明生成

Tachyon 项目使用 AI 辅助验证生成了数学证明，表明 Zcash 的 Ironwood 隐匿池不可能包含与上个月 Orchard 隐匿池中发现的那种不可检测的伪造漏洞相同的类型。Tachyon 表示，AI 辅助的证明生成方面的进展，已将原本需要多年完成的工作缩短到仅需数周。

NEAR 推出抗量子升级

NEAR 在周一推出了一项升级，旨在为网络应对新兴的安全与可扩展性需求做准备。用户现在可以切换到抗量子的账户密钥，而随着活动增长，网络也能自动扩展其容量。

常见问题

NEAR 公链联合创始人对 AI 辅助黑客攻击说了什么？

Illia Polosukhin 周一表示，AI 辅助的黑客攻击始于去年 10 月的 Balancer 事件，并且现在已经超过了传统代码安全审查的速度。他表示，AI 模型能够比人类审查者更快地发现软件漏洞，从而让修补跟不上。

根据 Polosukhin，形式化验证是如何运作的？

Polosukhin 将形式化验证描述为一种用数学方式证明代码“做的是它所说的事情”的过程。他表示，AI 现在可以帮助生成大部分所需证明，然后无需依赖 AI 本身即可进行独立核查。

NEAR 宣布了什么升级？

NEAR 在周一推出了一项升级，允许用户切换到抗量子的账户密钥，并使网络能够随着活动增长自动扩展其容量。