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、欺诈证明等。