PANews 9月15日消息，據The Block報導，Nil 基金會和研究公司 Taceo 正在合作創建一個軟件管道，專注於使用零知識技術在以太坊第 1 層主網上驗證機器學習模型。此次合作的主要目標是使機器學習模型在以太坊區塊鏈上得到證明。這將使機器學習能夠在智能合約中進行操作，而無需第三方信任。

該合資企業的一個關鍵要素是 Nil 基金會的zkLLVM。該編譯器工具專為利用 ZK 證明在不依賴信任的情況下驗證軟件系統內的數據而設計。該編譯器可以驗證LLVM支持的各種主流開發語言的機器學習計算，包括C++、Rust、JavaScript/TypeScript。