Nil 基金会和研究公司 Taceo 正在合作创建一个软件管道，专注于使用零知识技术在以太坊第 1 层主网上验证机器学习模型。
此次合作的主要目标是使机器学习模型在以太坊区块链上得到证明。这将使机器学习能够在智能合约中进行操作，而无需第三方信任。
机器学习是人工智能的一个分支，它允许计算机通过获得经验（通常是通过检查数据和检测模式）来提高任务性能。
该合资企业的一个关键要素是 Nil 基金会的zkLLVM。该编译器工具专为利用 ZK 证明在不依赖信任的情况下验证软件系统内的数据而设计。该编译器可以验证LLVM支持的各种主流开发语言的机器学习计算，包括C++、Rust、JavaScript/TypeScript。此类功能在区块链和加密应用程序领域非常有用，因为这些应用程序需要在不泄露数据的情况下验证计算。
Nil 基金会于 2 月份首次推出 zkLLVM，允许开发人员在熟悉的编码语言中采用零知识技术。
验证计算而不泄露数据
包括零知识证明提供了验证机器学习操作及其相关训练数据集的潜力。这样的功能允许将可验证的机器学习集成到去中心化应用程序中，影响各个领域——包括 DeFi、隐私和医疗保健等新兴领域。
Taceo 和 Nil 基金会正在测试阶段开发管道，并将于 2023 年第四季度发布 zkLLVM 在 ML 模型中的初步成果和可用性。
Taceo 在一份声明中表示：“将机器学习集成到去中心化应用程序中，要求机器学习模型既安全又可证明，特别是在与以太坊等平台上的智能合约交互时。”
2023 年 1 月，Nil 基金会筹集了由 Polychain Capital 领投的 2200 万美元融资。
Author:BticoinKOL,Source:https://bitcoinkol.com/archives/3914
