1.引言前序博客有：EthereumEVM简介揭秘EVMOpcodes剖析Solidity合约创建EVMbytecodePolygonzkEVMzkASM与以太坊虚拟机opcode对应集合zkevm-rom为PolygonzkEVM中以zkASM语言编写的以太坊虚拟机，负责处理执行L2层交易并生成executiontrace。zkProverjs根据executiontrace，生成STARK证明-》SNARK证明（借助circom）。根据zkProverC中有：/*Prover(availableviaGRPCservice)|\|Executor(availableviaGRPCservi
1.引言Hexens在2022年12月17日至2023年2月27日期间，对PolygonzkEVM项目进行了审计，并发布了审计报告：https://github.com/0xPolygonHermez/zkevm-rom/blob/main/audits/Hexens_Polygon_zkEVM_PUBLIC_27.02.23.pdfHexens主要审计的代码库有：https://github.com/0xPolygonHermez/zkevm-contractshttps://github.com/0xPolygonHermez/zkevm-proverjshttps://github.co
2月15日，以太坊第2层解决方案提供商Polygon终于公布了备受期待的扩展更新，其零知识以太坊虚拟机（zkEVM）主网的测试版定于3月27日发布。据官方消息报道，自去年10月上线测试网以来，已取得许多重要的里程碑，包含生成超过75000个zk证明，部署5000个智能合约，大量交易生成的证明成本低至0.06美元等。目前官方尚未说明主网Beta（测试）版本的详细内容，但团队表示将会在未来几周公布。消息发布后，PolygonzkEVM共同创办人JordiBaylina表达对Polygon整体团队的感激之情，并请求开发者去尝试zkEVM，他提到：这是整个Polygon团队耗费巨大努力的成果，现在终于
以太坊虚拟机(EVM)是在以太坊区块链上管理状态和执行智能合约的虚拟机。zkEVMs旨在通过零知识电路来证明EVM的执行，这个领域在过去的一年里已经有了显著的增长并扩张为一个行业。在该领域涌现了许多不同的项目和社区，每个项目和社区都采取了自己独特的方案来应对这两种技术交叉带来的挑战和机遇。对比不同zkEVM项目的一个维度是EVM的兼容程度。虽然EVM兼容是一个连续介质，但有两种主要的方案：语言层面的兼容和字节码层面的兼容。要理解这些方案之间的区别，很重要的一点是了解EVM如何执行用Solidity或Vyper等高级语言编写的代码。为了使EVM能够运行智能合约所指定的行为，有这样一个过程：高级语
PolygonzkEVM系列文章的第一篇，简要的阐述了polygonzkEVM的的整体架构和交易执行流程，并且分析了polygonzkEVM是如何实现计算扩容的同时继承以太坊的安全性的。同时还会在接下来两篇文章会详细介绍PolygonzkEVM的zkEVMBridge和zkEVM的设计细节，以及polygonzkEVM接下来的去中心化sequencer的路线图。目录Rollup是为了给以太坊实现计算扩容不同Rollup路线之间的区别PolygonzkEVM的具体执行流程&整体架构从模块化区块链的角度解析PolygonzkEVMPolygonzkEVM如何继承L1的安全性PolygonzkEVM
译者语：2023年将迎来zkEVM大发展，让我们看看有哪些项目在进行zkEVM的研究，zkEVM可以做什么原文链接： https://blog.pontem.network/zk-proofs-301-zksync-other-zkevm-b28641dc8565这篇文章让我们解释一下zkEVM是如何工作的，为什么它们是如此重要的创新。长话短说零知识（ZK）证明是一种加密技术，可以验证用户是否知道某些信息而不要求他们透露这些信息。零知识证明是两种类型的区块链Rollup的基础，Rollup是处理链外交易的扩容解决方案，将结果Rollup成一个单一的交易，并将其上传到主区块链（通常是以太坊）。Z
1.引言区块链互操作性是指链A与链B交互数据的能力。近年来区块链生态快速扩张，出现了大量具有不同属性的区块链网络，互操作性是区块链设计时的一个重要考虑指标。不具有互操作性，网络具有孤立于更大生态的风险，为此，激励了项目方研究和开发互操作性解决方案。每种互操作性解决方案具有不同的权衡和底层技术。本文由Polygon团队提供的解决方案，为PolygonzkEVML2网络提供了原生的互操作性。bridge为基础设施元素，允许L1与L2之间进行资产迁移和通信。从用户角度来看，bridge可在不改变资产数量或资产功能的情况下，将资产由网络A转移至网络B；bridge也可以在网络间发送datapayloa
不同的项目正在探索不同的方向，这或许是最利于行业的发展模式。原文作者：GrantGriffith，由Odaily星球日报 Azuma 编译。编者按：10月28日，由MatterLabs构建的以太坊扩容解决方案正式发布了zkSync2.0的第一阶段BabyAlpha，虽然出于测试需求，该网络暂时不会向外部参与者开放，但作为首个启动主网的EVM兼容型zk-rollup，zkSync2.0的上线对于整个以太坊生态的扩容“长征”来说仍是一次值得纪念的里程碑时刻。在下文中，分析师GrantGriffith以通俗的语言解析了zkEVM的重要意义，并对比了包括zkSync2.0在内的多家致力于实现zkEVM
零知识(ZK)证明正在为web3的最新创新提供动力。它们已经被用于Polygon的zkEVM[1]等产品中，为以太坊带来可验证的可扩展性，而PolygonID[2]则用于在不泄露任何个人信息的情况下验证您的身份。一句话：ZK证明可以让你在不泄露事物本身的情况下证明某件事。这有几个实际应用，例如在不提供完整许可证/护照信息的情况下验证您的年龄。但这实际上是如何运作的呢？幕后发生了什么让这一切成为可能？在这篇文章中，我将介绍您需要了解的有关ZK证明的所有内容，但忽略数学。我们开始做吧！ZK证明如何工作？为了在不泄露声明本身的情况下证明声明的有效性，涉及两方：1. 证明者：试图证明某事的人。2. 验
1.引言前序博客有：PolygonzkEVM——Hermez2.0简介PolygonzkEVM网络节点代码见：https://github.com/0xPolygonHermez/zkevm-node（Go语言）1.1PolygonzkEVM关键词PolygonzkEVM网络中的关键词汇有：1）L1：是指rollup合约部署的base链——可为以太坊主网或测试网，也可为任意EVM兼容链。2）L2：为rollup网络，即PolygonzkEVM网络。3）Batch：为一组使用zkEVMprover来执行或证明的交易，会将batch发送到L1，也会从L1同步batch。4）Sequencer：该角
