【Polygon发布zkEVM证明器Type 1 Prover】

【Polygon发布zkEVM证明器Type1Prover】2024年02月09日02点47分老不正经报道，Polygon发布了下一代zkEVM证明器的Type1Prover，这是Polygon的下一代证明技术，可为任何EVM链（侧链、OptimisticRollup，甚至以太坊本身）生成证明。Polygon表示，Type1升级将能够为以太坊主网区块生成ZK证明，每笔交易的平均成本低至0.002美元-0.003美元（比任何其他Type1Prover快36倍以上），随着Plonky3和zkEVM的改进，预计明年成本将降低30至50倍。

【Polygon推出第二个Polygon zkEVM公共测试网】

【Polygon推出第二个PolygonzkEVM公共测试网】2022年12月22日08点52分老不正经报道，Polygon推出第二个PolygonzkEVM公共测试网。该测试网通过引入递归升级，以将证明时间从原先的10分钟优化至4分钟。Polygon未透露主网启动的指定时间表，但表示这是“主网启动前的最后一步”。此外，今年10月Polygon推出的首个PolygonzkEVM公共测试网将于1月5日弃用。据此前老不正经报道，12月15日，Polygon官方透露已启动zkEVM全面安全审计。本次审计将重点关注zkEVM的正确性和稳健性两方面，也是在上线主网之前最后一个测试网需要完成的关键步骤。据悉，两家安全公司Spearbit和Hexens负责相关审计工作，涉及PolygonzkEVM内部37个审计组件，以确保在以太坊主网上推出时安全可靠。

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。

【Polygon zkEVM主网Beta版将于3月27日发布】

【PolygonzkEVM主网Beta版将于3月27日发布】2023年02月15日12点21分老不正经报道，PolygonzkEVM主网Beta版将于3月27日发布，Polygon并没有具体说明测试版网络将包含哪些内容，但表示团队将在未来几周内发布更多细节。去年10月，Polygon上线了其zkEVM测试网，该测试网为其ZKrollup部署了以太坊虚拟机(EVM)，允许以太坊开发人员从主区块链转移他们的智能合约，而无需使用不同的语言重新编程。去年12月，PolygonzkEVM上线最终测试网版本。