AI加速黑客发现漏洞，NEAR联合创始人呼吁区块链采用形式化验证

币界网消息，NEAR protocol联合创始人Illia Polosukhin表示，AI正在帮助黑客更快发现软件漏洞，传统人工代码审查已难以应对，因此区块链开发应转向形式化验证，以数学证明代码按预期运行。他称，AI可协助生成证明，再由独立系统验证其正确性，部分原本需要数年的工作已缩短至数周。近期Zcash的Project Tachyon即通过AI辅助验证，为Ironwood隐私池生成了防止同类隐蔽增发漏洞的数学证明。Polosukhin认为，这一方法未来还应扩展至智能合约以外的关键互联网和网络软件。