=nil; Foundation与Taceo合作在以太坊上进行机器学习模型验证

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