要点： Helius Labs 首席执行官 Mert Mumtaz 宣称，随着人工智能 (AI) 重塑格局，加密货币行业必须提高其工程标准，以匹配航空、航天和芯片制造的标准。他预测，一个“积极的自然选择”时代将会到来，严格设计的项目将蓬勃发展。
在最近的一项分析中，Helius Labs 联合创始人兼首席执行官 Mert Mumtaz 阐述了在人工智能兴起的推动下，区块链技术发生了关键转变。他认为加密行业不能再依赖电子商务等低风险软件中常见的“宽松的、稍后修补的标准”。相反，它必须接受关键任务领域的严格工程学科。
“不可变的金融代码就像一艘离开地球的宇宙飞船，你无法进一步控制，”穆塔兹写道。 “它必须起作用，否则将会发生灾难。”他将区块链与航空航天和芯片生产归类在一起，其中代码在“不可逆转、对抗性和不可变”的环境中控制着价值，单个错误可能会导致无法挽回的损失。
Mumtaz 将问题的根源追溯到长期存在的“软件危机”，并引用了计算机科学家 Edsger Dijkstra 的论点，即测试只能揭示错误的存在，而不是不存在。他认为，真正的正确性必须经过数学证明，这一过程称为形式验证。
他批评加密行业过去依赖管理密钥、受控验证器集和紧急干预措施提供的“舒适幻觉”。 Mumtaz 表示，人工智能将通过使正式验证（历史上是手动的、昂贵且困难的）变得可扩展且高效，从而使这种模型变得过时。人工智能将简化规范编写、证明协助、模糊测试、审计和不变检查。
蒙塔兹预测，这种技术飞跃将导致“对草率代码的清算”和一段“积极的自然选择”。更强大、更有知识的团队将构建更强大的系统并取得进展，而较弱的项目将会失败。他认为这不是恶意的问题，而是技术能力和严谨性的问题。
“最终状态，”他说，将“比任何集中式金融系统都更加林迪”。 Mumtaz 总结道：“我看好数学，也看好加密货币。”
Helius 是 Solana (SOL) 区块链的主要基础设施提供商，提供 RPC 节点、API 和开发人员工具。 Mumtaz 发表评论是在最近发生的一起事件之后进行的，其中一次人工智能辅助审计发现了 Zcash 的 Orchard 屏蔽池中存在四年的错误，他引用该错误作为他论文实际应用的证据。
发现该漏洞后，Zcash (ZEC) 经历了一次闪电崩盘，跌至 250 美元，但后来恢复至 461 美元左右。过去24小时，ZEC价格上涨超过6%。 Stocktwits 等平台上的零售情绪仍处于“极度看涨”区域，讨论量处于“极高”水平。