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

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

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

7月30日消息，以太坊证明服务（Ethereum Attestation Service）已完成OP Stack原生集成。未来所有OP Stack链部署都将自动包含创世EAS合约。 EAS表示，集成至OP Stack将使信任证明成为超级链（SuperChain）中的基本要素，不仅将促进超级链中证明实践的采用，还将设定信息验证和信任建立的新标准。

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

金色财经报道，OP Stack 故障证明系统已在 OP Sepolia 测试网上线，这是 OP Stack 链实现第二阶段去中心化过程中的一个重要里程碑。故障证明系统可实现无权限验证，并可质疑和拒绝无效的 ETH 和 ERC-20 代币提现。目前，Optimism 的贡献者们正专注于开发多种证明方案，并为主网部署做好防错系统的准备。

5月28日消息，零知识证明软件开发商RISC Zero发推称，将在多链推出通用验证器，这是其zkVM（零知识虚拟机）1.0发布路线图中的第3步（共4步）。该通用验证器使区块链和开发者能够利用可验证的链外执行，让开发者可以在RISC Zero的zkVM中运行Rust程序，生成证明，并在链上无缝验证。