RISC Zero 通过其 ZK 区块证明器 Zeth 为 OP Stack 带来有效性证明

RISCZero通过其ZK区块证明器Zeth为OPStack带来有效性证明零证明软件开发商RiscZero发推称，其以太坊开源ZK区块证明器Zeth已集成Optimism基础架构，支持从以太坊主网可证明地构建和导出Optimism区块，在链上验证简洁证明，并将ZK欺诈和有效性证明开发带入OPStack。该集成利用了revm、alloy和etherscrates。

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

【RiscZero发布Zeth证明技术以在以太坊上开发ZKrollups】2023年08月23日02点22分老不正经报道，总部位于西雅图的加密初创公司RiscZero发布了Zeth，这是一种开源证明技术，旨在帮助开发基于以太坊的第2层解决方案（称为ZKrollups）和相关客户端软件，开发人员可以在该团队提供的特定框架（称为RiscZerozkVM）上利用Zeth来完成这一过程。RiscZero表示，以太坊区块的证明可以在短短几分钟内生成，并使用Zeth在链上进行验证。据悉，RiscZero于7月筹集了4000万美元的A轮融资，BlockchainCapital领投。

【Optimism正开发OP Stack故障证明系统，含防错程序、防故障虚拟机等组件】

【Optimism正开发OPStack故障证明系统，含防错程序、防故障虚拟机等组件】2023年07月25日08点12分7月25日消息，Optimism生态开发人员正开发OPStack的故障证明系统，包括防错程序（FPP）、防故障虚拟机（FPVM）、DisputeGame等组件，此外FPP和FPVM的分离使得相同的操作程序既可以在FPVM中运行，也可以在ZKVM中运行，以帮助OPStackZKP实现基于ZK的有效性证明，并为不同网络之间的低延迟跨链桥提供支持。

Space and Time 发布新开源 ZK 证明器 ProofofSQL

SpaceandTime发布新开源ZK证明器ProofofSQL6月13日消息，可验证计算层SpaceandTime（SxT）发布新开源ZK证明器ProofofSQL，允许社区成员在SxT上运行无信任查询，开发人员可直接从GitHub下载该存储库。官方表示，该工具或将把SQL（结构化查询语言）查询等待时间缩短至亚秒级。此外，官方目前正在努力将ProofofSQL集成至Chainlink网络中，并将与zkSync生态系统合作开发解决方案，允许开发人员通过ProofofSQL从他们的智能合约原生运行SQL查询。

【Space and Time发布新开源ZK证明器ProofofSQL】

【SpaceandTime发布新开源ZK证明器ProofofSQL】2024年06月13日04点00分6月13日消息，可验证计算层SpaceandTime（SxT）发布新开源ZK证明器ProofofSQL，允许社区成员在SxT上运行无信任查询，开发人员可直接从GitHub下载该存储库。官方表示，该工具或将把SQL（结构化查询语言）查询等待时间缩短至亚秒级。此外，官方目前正在努力将ProofofSQL集成至Chainlink网络中，并将与zkSync生态系统合作开发解决方案，允许开发人员通过ProofofSQL从他们的智能合约原生运行SQL查询。

Gelato 宣布旗下 Rollup 平台已扩大支持 Optimism 的 OP Stack

Gelato宣布旗下Rollup平台已扩大支持Optimism的OPStack以太坊智能合约自动执行工具GelatoNetwork宣布其Rollup平台扩大了对Optimism的OPStack支持，OPStack是OptimismCollective的开源模块化开发框架，将利用Gelato的Rollup即服务平台实现对Gelato的Web3中间件服务原生集成并获得一层Web3服务，例如Etherscan、TheGraph、LayerZero等。