NEAR 联合创始人：AI 辅助攻击正令传统代码审查难以应对，区块链应转向形式化验证。

BiRun 消息，NEAR Protocol 联合创始人 Illia Polosukhin 表示，AI 正帮助黑客更快发现软件漏洞，传统人工代码审查已难以应对，因此区块链开发应转向形式化验证，以数学证明代码按预期运行。...