NEAR Protocol的联合创始人Illia Polosukhin强调了正式验证在保护区块链代码免受AI黑客攻击方面的重要性。他指出,AI加速了软件漏洞的发现,速度超过了传统的安全措施。Polosukhin强调,网络安全一直依赖于人工代码审查,但由于先进的AI模型,这种方法越来越不够。他建议开发者采用数学证明来确保代码的完整性,并表示AI现在可以协助生成这些证明,将所需时间从数年缩短到数周。一个例子是Project Tachyon,该项目利用AI辅助验证确认Zcash的Ironwood隐私池没有在其Orchard池中发现的伪造漏洞。Polosukhin呼吁所有互联网代码都应转向正式验证,而不仅仅是智能合约。此外,NEAR还推出了一项升级,以增强网络安全性和可扩展性,允许用户采用抗量子攻击的账户密钥。
本内容仅供参考,不构成任何金融、投资、法律或税务建议。文中提及的任何活动、奖励、线上活动或相关信息,不应被视为对购买、出售或交易任何加密资产的推荐、招揽或邀请。加密资产具有高波动性,存在价值损失风险。WEEX服务、产品及相关活动的可用性可能因地区而异。用户在参与前有责任确保符合当地适用法律法规。



新用户净充值满 100 USDT 即可获得 5 USDT 奖励,选择任意活动代币进行首次现货交易(不限交易量)可再获 5 USDT 奖励。



























新用户净充值满 100 USDT 即可获得 5 USDT 奖励,选择任意活动代币进行首次现货交易(不限交易量)可再获 5 USDT 奖励。