9月15日消息，据The Block报道，Nil 基金会和研究公司 Taceo 正在合作创建一个软件管道，专注于使用零知识技术在以太坊第 1 层主网上验证机器学习模型。此次合作的主要目标是使机器学习模型在以太坊区块链上得到证明。这将使机器学习能够在智能合约中进行操作，而无需第三方信任。
该合资企业的一个关键要素是 Nil 基金会的zkLLVM。该编译器工具专为利用 ZK 证明在不依赖信任的情况下验证软件系统内的数据而设计。该编译器可以验证LLVM支持的各种主流开发语言的机器学习计算，包括C++、Rust、JavaScript/TypeScript。
