7月28日消息,ZK 技術開發商Nil Foundation 發文稱,Proof Market 已集成以太坊Sepolia 測試網,為所有EVM 應用程序實現可證明計算的可組合性。 Proof Market EVM 端點使可證明計算與EVM 應用程序兼容,這些應用程序不僅可以使用zkLLVM 與Proof Market 簡化zkProof 生成,還可以將證明排序原生集成到Solidity 語言的應用程序代碼中。通過該EVM 端點,以太坊資產可以參與可證明計算,並將Proof Market 集成到處理以太坊流動性的任何應用程序管道中。 Proof Market 允許開發者按需處理zk,從根本上降低了構建zk 應用程序的複雜性。 Proof Market 測試版於2023 年1 月發布,起初主要用於以太坊L1 之外的協議,其未來用例包括zkML、zkOracles、zkBridges、欺詐證明等。