RecodeX 重构消息，NEAR联创指出AI驱动的黑客攻击速度已超过传统代码审查，呼吁采用形式验证来增强区块链安全性。