编译：Cindy，SophonLabs
Polygon似乎是第一个为其3月27日的zkEVMrollup部署以太坊主网版本的公司。
以太坊生态系统将见证今年最热门的区块链趋势之一，许多公司都渴望利用Polygon即将推出的zkEVMrollup。
什么是零知识证明？
零知识技术是一种重塑区块链行业的密码解决方案。它们在可编程级别执行语言和低级字节码，由与以太坊主网相同的规则支持。
它是一种虚拟机，利用零知识证明来验证数据，而不会泄露有关数据内容或属性的任何信息。它是一种复制以太坊主网交易执行环境的抗审查协议。
以太坊创始人VitalikButerin将zkEVM分为四种主要类型。
Type-1zkEVMs：完全等同于以太坊
Type-2zkEVMs：EVM等价
Type-3zkEVM：脱离EVM
Type-4zkEVM：EVM的近亲
“该项目是一个完整的工程项目，”负责构建PolygonzkEVM的技术团队的JordiBaylina说。“我们的想法是，利用这些电子设备，我们以某种方式构建了一个处理器。最重要的是，可以编写一个程序来处理事务。它是一个完整的组件堆栈，不同的团队在这些堆栈的每一层中工作。”
在3月2日发布的YouTube视频中，Baylina解释了推出背后的技术组件，“我们正在构建的系统是抗审查的。这不是一个完美的解决方案，但在一定程度上是因为该系统不是通用的。我们创建了组件本身。它是一种新的处理器、新的组件、新的硬件编写方式。”
技术细节
通过zkEVMrollup，一次ERC-20传输将定义独特的数据基础设施，例如ProgramCounter、GlobalCounter、EVMWord、GasInfo和GasCost，其中包括并包含堆栈、内存和操作码等元素。pc和gc封装为usize，而EVMWord封装了一个长度为32的u8数组。
为了简化与内存相关的操作，开发人员巧妙地利用Rust宏来提取索引和范围特征等关键内存信息并标准化实现。另一方面，Storage用一个HashMap来表示，它的key值都是EVMWordStackAddress表示为与Stack一起使用的由EVMWord组成的动态数组。
MemoryAddress也是一个usize，取值范围在0到1023之间，而Memory是一个u8的数组。github上提供了zkEVM推出的完整技术堆栈。
zkEVM霸权之争
目前的zkEVM赛道很多硬核技术的产品正在进入市场的竞赛，有几个项目正在竞相推出第一个功能齐全且等效于EVM的zkEVM，其中一些顶级竞争者是PolygonzkEVM、zkSync、StarkNET和Scroll。
PolygonzkEVM是开源的，旨在将交易成本降低高达90%，而zkSync2.0在以太坊测试网上运行，允许开发人员编写Solidity智能合约。StarkNET使用ZK-STARKs，它更安全但有局限性，Scroll正在构建一个优先考虑安全性和透明度的高可组合性解决方案。
Polygon在zkEVM上押注2.5亿美元
Polygon于2021年以2.5亿美元收购了HermezNetwork，随后于2022年年中推出了以太坊Layer-2ZK-rollup解决方案PolygonHermez。2022年7月，Polygon宣布将PolygonHermez更名为PolygonzkEVM，它采用Type-2zkEVM方法与EVM等效，但不与以太坊等效。
开发人员需要调整代码和EVM工具以适应ZK-rollup。Polygon的目标是达到每秒2000笔交易，并将交易成本降低高达90%，从而使其成本低于以太坊主网。Polygon于10月10日推出了其zkEVM公共测试网。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。