AI 辅助黑客攻击正在超越传统代码审查,NEAR 联合创始人表示

bangenyan2026-07-21 03:15:07theblock
据 NEAR Protocol 联合创始人 Illia Polosukhin 周一在接受 The Block 采访时表示,人工智能如今正在让黑客比传统安全审查更快发现软件漏洞,而传统安全审查往往还来不及修补。Polosukhin 认为,传统做法——由经验丰富的开发人员手动审查代码——在考虑到升级到新一代 AI 模型的能力之后,已经不可持续。他提出形式化验证,即在数学上证明代码“确实做到了它所声称的事”。尽管从历史上看,这项工作昂贵且耗费人力,但 AI 现在可以帮助生成大部分所需的证明,而这些证明还能被独立地验证。作为示范,Zcash 计划通过 Project Tachyon 使用 AI 辅助验证,在数周而非数年内产出了一份数学证明。
香港证监会重新列出 Huobi HK 虚拟资产交易平台牌照申请

香港证监会官方网站已重新列出HuobiHK虚拟资产交易平台牌照申请,再次递交申请的时间为2月26日。此前,HuobiHK提交的虚拟资产交易平台运营者公司名称为HBGLHongKongLimited,暂无公司中文名信息,首次申请提交时间为...

波兰总统候选人 Nawrocki 表态支持加密货币

据彭博社,波兰民族主义总统候选人KarolNawrocki表示,若在6月1日大选中获胜,将支持加密货币行业,反对限制投资自由的监管措施。此番表态被视为争取极右翼候选人SlawomirMentzen支持者的举动,后者在首轮投票中获得...

Bitwise 向美国 SEC 提交 Chainlink ETF 申请

据官方文件,加密货币资产管理公司Bitwise向美国证券交易委员会(SEC)提交了ChainlinkETF的申请文件(S-1表格)。

美国国防部长奥斯汀在 5 月 30 日强调,美中相互尊重是全球和平的关键

据央视报道,5月30日,美国国防部长劳埃德·奥斯汀在香格里拉对话开幕全体会议上表示,美中双方相互尊重、加强沟通对于维护地区和全球和平至关重要。奥斯汀说:“我相信,双方都尊重彼此,理解对方的能力与实力,并...

今年的超级碗比赛中没有投放任何加密货币广告

据美联社报道,超级碗直播平台FoxSports表示,受FTX崩溃事件影响,今年的超级碗比赛中没有投放任何加密货币广告。2022年加密货币公司在超级碗广告上的总支出为5400万美元,包括Coinbase、Crypto.com和FTX的加密广告...

上一篇:7月21日,上海黄金、白银和原油合约收盘涨跌不一;黄金上涨0.05%。
下一篇:CAISI 董事 Chris Fall 在特朗普政府任内 3 个月后辞职