AI安全初创公司Attestable在完成2000万美元种子轮融资后正式推出。本轮融资由Altimeter Capital的Jamin Ball和TLV Partners的Yonatan Mandelbaum共同领投,Halcyon Futures、Cerca Partners及其他投资者参投。创始人Yogi表示,随着AI在关键基础设施、国家安全和大型企业系统中的应用不断增加,如何以可信方式验证AI的运行已成为一个全球性议题。Attestable的目标是为前沿AI实验室、关键基础设施和国家级用例构建一个通用验证层。该公司表示,其系统利用零知识证明,将对AI系统的信任基础从数据中心转向数学验证。该公司称,这项技术能够在不披露模型参数或用户私密数据、且无需重新运行模型的情况下,证明某一特定输出是由经批准的模型、模型权重、输入数据和执行策略生成的。Attestable还表示,其已在单张NVIDIA H100 GPU上为Meta Muse Glimmer 30B实现可验证推理,速度达到每秒85个token,并生成具有抗量子安全性的紧凑证明,可快速完成验证。以太坊联合创始人维塔利克·布特林表示,这一结果表明,零知识证明在大语言模型上的性能开销如今已接近个位数水平,下一步挑战是进一步降低全同态加密等技术的成本(即在加密数据上进行计算)。