人工智能辅助黑客攻击速度已超传统代码审查，NEAR联合创始人表示

NEAR联合创始人Polosukhin认为，为了保护区块链代码免受人工智能黑客攻击，形式化验证是一个必要的转变。