2026年7月20日 14:20 ET 发布 · 更新于 4 个月前 · 1 个来源
AI-assisted hacking is outpacing traditional code reviews, NEAR co-founder says
theblock
·
原始报道
NEAR co-founder Polosukhin called formal verification a necessary shift for securing blockchain code from AI hacking.
原文