Risc Zero发布Zeth证明技术以在以太坊上开发ZK rollups

金色财经报道，零证明软件开发商Risc Zero发推称，其以太坊开源ZK区块证明器Zeth已集成Optimism基础架构，支持从以太坊主网可证明地构建和导出Optimism区块，在链上验证简洁证明，并将ZK欺诈和有效性证明开发带入OP Stack。该集成利用了revm、alloy和etherscrates。

11月10日消息，零知识证明基础设施公司Risc Zero在X平台发文表示，计划在Apache2许可结构下开源三项技术，包括高速递归（High-Speed Recursion）、证明组合（Proof Composition）和STARK-to-SNARK Wrapper。 此前7月消息，RISC Zero完成4000万美元A轮融资，Blockchain Capital领投。

金色财经报道，区块链基础设施提供商RISC Zero推出Blobstream Zero，这是一款基于zkVM的Blobstream桥接器，旨在将Celestia的数据可用性层与各种区块链生态系统连接起来。Blobstream是Celestia的解决方案，可使rollups利用Celestia轻客户端进行数据可用性采样。Blobstream Zero引入了使用零知识证明验证Celestia DA的能力。该集成允许卷积和应用程序更高效地跨链生成证明。Blobstream Zero还引入了ZK协处理器，使以太坊、Optimism和Solana上的dapp能够运行数据密集型ZK程序，而不会牺牲可组合性。

7月21日消息，O(1) Labs 和 RISC Zero 的两项提案正在 Optimism 推进，以向 OP 链添加 zk-proofs。这些提交是为了响应旨在实现安全高效的跨链通信的提案请求。Optimism 基金会正在直接联系 O(1) 实验室和 RISC Zero，以“启动该项目并更详细地讨论期望”。 据悉，Zk-proof 基础设施和工具公司 RISC Zero 建议升级 Optimism 现有的故障协议，使用零知识证明来确保 Optimism 上状态更改的正确性，减少实现最终确定的时间。孵化 Mina 协议的 O(1) Labs 提议使用 Kimchi（Mina 协议目前使用的 zk 证明系统）创建一种新的防错解决方案，以有效地证明交易的正确执行。然后，这些证明用于通过智能合约更新以太坊网络的状态。

1月14日消息，Polygon正在对零知识汇总 (zk rollups) 技术进行性能测试。这项名为Polygon zkEVM技术的开发已经由Polygon Hermez团队进行了三年多。通过在zkEVM测试网的主要版本中生成超过12,000个zk证明，该团队已经确认零知识证明在以太坊上是可行的。(Cointelegraph）

金色财经报道，零知识证明软件开发商 RISC Zero 发布了源代码和编译器技术，目前已完全开源。