可验证推理引擎VeriThink发布：AI决策过程首次实现密码学级别审计

可验证推理引擎VeriThink发布：AI决策过程首次实现密码学级别审计

2028年7月24日，瑞士苏黎世联邦理工学院衍生公司Veritas Labs正式发布VeriThink可验证推理引擎。这款基于零知识证明技术的AI系统，能够在保护商业机密的同时，向第三方审计机构完整展示AI决策的推理过程。

VeriThink的核心架构采用「推理链加密证明」技术。当AI系统做出一个决策——比如拒绝一笔贷款申请——VeriThink会生成一个密码学证明，证明该决策遵循了预设的合规规则，且推理过程中没有使用未经授权的数据。审计方可以在不解密具体推理细节的前提下，验证决策过程的合法性。

Veritas Labs CEO Dominik Meier在发布会上展示了一组数据：在与瑞士金融市场监管局FINMA的联合测试中，VeriThink对2000个信贷决策的审计准确率达到99.97%，而传统人工审计的准确率约为94%。「这不是要取代人类审计员，而是给他们一个可靠的技术工具，」Meier说。

VeriThink的商业部署已经开始。欧洲央行在7月初与Veritas Labs签署了一项为期三年的框架协议，计划将VeriThink集成到欧元区银行的AI信贷审批系统中。德意志银行和汇丰银行的欧洲部门已完成技术评估，预计在2028年第四季度上线。

该技术的局限性在于推理复杂度与验证时间之间的权衡。对于多步推理链（超过50步），VeriThink的证明生成时间会从毫秒级增加到秒级，这在高频交易等实时场景中可能成为瓶颈。Veritas Labs表示正在开发硬件加速方案，预计2029年推出专用验证芯片。

批评者指出，可验证推理可能会被滥用为「合规表演」——企业可能设计出通过审计但实际不合理的推理路径。Veritas Labs回应称，VeriThink的审计规则由监管机构而非企业制定，企业无法自行修改审计标准。