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

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

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

【RISCZero通过其ZK区块证明器Zeth为OPStack带来有效性证明】2024年05月24日02点34分老不正经报道，零证明软件开发商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领投。

【RISC Zero将在多链推出通用验证器，为其zkVM发布的前置工作】

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

【零知识证明区块链Gevulot将于7月15日启动主网证明者网络Firestarter】

【零知识证明区块链Gevulot将于7月15日启动主网证明者网络Firestarter】2024年05月22日09点22分5月22日消息，专注于零知识证明的区块链Gevulot将于7月15日启动主网证明者网络Firestarter，GevulotDevnet目前是一个面向注册用户的免费公益测试网，鼓励Galxe社区参与。Gevulot路线图还包括在2024年第三季度发布激励计算网络，以及预计将在2025年第一财务季度发布ZkCloud主网，ZkCloud是一个针对卸载任意可证明计算而优化的去中心化计算网络，用来解决当前证明基础设施的问题，并加速零知识证明的采用。此前消息，零知识证明区块链Gevulot于今年1月宣布完成600万美元种子轮融资，Variant领投。

【ZeroSync和Blockstream合作将从卫星广播比特币零知识证明】

【ZeroSync和Blockstream合作将从卫星广播比特币零知识证明】瑞士非营利组织ZeroSync协会和比特币基础设施公司Blockstream表示，他们计划从Blockstream的卫星广播比特币零知识证明。使用zk-proofs来验证比特币区块链意味着节点不必下载比特币链的当前500GB数据，因此可以在几分之一秒而不是几小时或几天内同步。Blockstream的卫星网络通过将区块链广播到整个星球，包括互联网覆盖不可靠的地区，提供对比特币的免费全球访问。ZeroSync预计第一次实验广播将在今年年底进行。新成立的ZeroSync协会于周二成立，计划通过使用零知识证明(zk-proofs)来帮助扩展比特币，零知识证明是一种密码技术，可以在不泄露信息本身的情况下证明信息的有效性。