据 Odaily 报道，NEAR Protocol 联合创始人 Illia Polosukhin 于 7 月 21 日呼吁采用形式化验证，作为抵御由 AI 辅助的黑客加速带来的威胁的防线，称传统代码审查已不再可持续。Polosukhin 提议使用数学证明来确保代码行为与规格一致，其中 AI 生成大部分证明，人类对其进行验证。同日，NEAR 发布了一次升级，允许用户切换到抗量子攻击的账户密钥，并随着活动增加，网络自动扩展容量。
免责声明：本页面信息可能来自第三方，仅供参考，不代表 Gate 的观点或意见，亦不构成任何财务、投资或法律建议。数字资产交易风险较高，请勿仅依赖本页面信息作出决策。具体内容详见
声明。
