HER:三分钟读懂 zkEVM：以太坊扩容方案的明珠

9月1日凌晨，以太坊扩容网络Arbitrum宣布主网公测版本正式上线，与此同时Optimism则早已经向部分白名单应用开放，这标志着以太坊L2扩容方案的一支——OptimisticRollup正式登上了舞台。

我们再将目光转向L2扩容方案的另一支，ZKRollup：

zkSync于8月31日宣布推迟上线其2.0版本，基于zkEVM，zkSync2.0有望成为首个兼容EVM的ZKRollup；

8月13日，Polygon宣布以2.5亿美元收购以太坊二层扩容方案Hermez，Hermez的核心技术正是其zkEVM方案；

同样是8月13日，以太坊基金会在定期公布其支持的团队研究与开发进度的文章中表示，过去几个月已经资助组建了一个团队以进行zkEVM的研发。

我们知道，Vitalik在比较两种扩容方案时表示，短期OptimisticRollups很可能在通用的EVM计算中胜出，但最终从中长期来看，随着ZK-SNARK技术的改进，ZKRollups将在所有场景中胜出。其中所谓「ZK-SNARK技术的改进」，主要就是指zkEVM的成功。

Bitpanda在宣布裁员三分之一的三周前曾表示无大规模裁员计划:7月2日消息，加密货币和大宗商品交易平台Bitpanda此前曾告诉其员工，在经济低迷时期不会进行大规模裁员，而就在三周后，该公司就宣布了进行大规模裁员的消息。

5月31日的Slack截图显示，该公司首席产品官Lukas Enzersdorfer-Konrad曾试图消除该公司将裁员和停止招聘的“传言”。

Enzersdorfer-Konrad称：“Bitpanda内部不会有任何形式的大规模裁员。我们还没有达到极限，并将继续招聘，直到我们需要的职位都招满为止。”

他当时表示，该公司“资金非常充足”，没有流动性问题。同时也指出该公司2022年的财务业绩“低于预算”，但他表示，这是由宏观经济条件造成的，包括供应危机和俄乌冲突。这位高管敦促员工专注于产品和技术基础设施的改善，为“下一轮牛市”做准备。

一位Bitpanda发言人日前对此发表评论称：“在公司宣布重组的三周前，我们还没有这个计划，而且我们一直在向员工透明地传达这些信息。”他补充说：“由于法律限制，我们无法公开沟通，在官方宣布前几天，我们才做出了这个艰难的决定。”Bitpanda表示，它正在尽最大努力支持那些受到重组影响的员工。

此前6月25日消息，Bitpanda宣布裁员，员工人数将削减至大约730人。虽然具体裁员人数暂未公布，但据LinkedIn数据，解雇的全职和兼职员工共计约277人。（The Block）[2022/7/2 1:46:13]

可见，zkEVM已经成为以太坊扩容方案皇冠上的明珠。笔者希望通过本文，可以让读者了解zkEVM的基本原理与发展现状。

《美国银行家》：三年内超过三分之一的银行将提供加密服务:12月19日，《美国银行家》 ( American Banker)根据对175位高管的调查结果发布了2022年银行业预测，其中包括全球和社区金融公司的C级、区域和部门高管。根据该报告，明年加密货币将在传统银行业中发挥更大的作用，近40%的受访者表示，他们明年可能会向零售客户提供加密服务；目前约有10%的客户在其客户账户中管理比特币或其他数字货币；平均而言，受访者表示，他们4%的消费者客户目前拥有某种类型的加密货币；60%的调查参与者表示，他们预计消费者客户的加密货币所有权将在2022年增加。（DailyCoin）[2021/12/19 7:49:00]

zkEVM的作用

要弄清楚zkEVM的作用，我们还需要一些前置知识。

我们先从以太坊讲起，从本质上来讲，以太坊是一个基于交易的状态机。

从以太坊的创世纪状态开始，通过一个区块又一个区块的交易，转变成最终状态，也即以太坊当前的状态，状态中包含了所有的账户地址和其映射的账户状态。

做市商GSR预计年内通过其风投部门投资6000万美元，其中三分之二将投入DeFi领域:11月2日消息，加密货币流动性解决方案提供商GSR计划进一步扩大DeFi部门的招聘力度并且投入更多的资金在该领域。据该公司DeFi部门负责人Jake Dwyer透露，该部门每日在以太坊和Solana上DEX的交易额为10亿美元，DeFi交易额占GSR每日交易额的20%，另外80%交易额由CEX贡献。

此外，GSR计划年内通过其风投部门投资6000万美元，其中三分之二的资金将投入DeFi领域，未来一年内将10亿美元的资金锁定在DeFi协议之中，目前该公司正招募更多的DeFi人员以及加入更多的网络生态，包括Polygon、Avalanche、Celo和Arbitrum，并且将继续在流动性提供、市场准入、市场流动性、财库管理等方面与DeFi项目合作。[2021/11/2 6:26:50]

source：https://ethfans.org/posts/how-does-ethereum-work-anyway

调查：超过三分之一的高盛实习生将加密货币视为资产类别:10月28日消息，根据对高盛最新实习生的一项调查，33%的实习生将加密货币视为一种已经确立的资产类别。然而，大多数实习生仍然不了解数字资产，他们声称在加入加密货币狂潮之前需要做更多的研究。绝大多数受访者（95%）选择股票而不是加密货币作为首选投资方式。（U.Today）[2021/10/29 21:06:51]

其中具体负责处理交易的就是EVM，即TheEthereumVirtualMachine。EVM作为一个堆栈机运行，程序员用高级语言例如Solidity来编写代码，随后代码被编译成EVM可以理解的EVM字节码，作为各种EVM指令执行标准的堆栈操作，最终产生一个新的状态。

现在的问题来了，我们知道ZKRollup方案需要对二层上的交易生成零知识证明，再传回一层进行验证，而要生成零知识证明，需要交易的处理过程符合zk电路证明的规范。而在EVM设计之初，显然没考虑过要支持零知识证明，这就是zkEVM的意义：一种运行在ZKRollup网络上，兼容EVM同时又对零知识证明友好的虚拟机。

动态 | BitcoinTalk论坛二月份推荐量下降三分之一:据bitcoinexchangeguide报道，根据网站分析公司SimilarWeb的流量数据显示，BitcoinTalk论坛二月份的推荐下降了三分之一。[2019/3/16]

两种实现策略

对于zkEVM，目前主要有两种实现策略：

直接支持EVM现有的指令集，完全兼容solidity指令集。使用这种方案的包括Hermez和以太坊基金会zkEVM。重新设计一种虚拟机，该虚拟机对零知识证明友好，同时对EVM开发工具进行适配，来保持对solidity的兼容，使用这种方案的主要是zkSync；对于第一种策略，由于完全支持了EVM现有的指令集，其使用的是和EVM一样的编译器，因此天然就对现有的生态系统和开发工具完全兼容，同时还更好的继承了以太坊的安全模型。

而对于第二种策略，由于不受原有EVM指令集的约束，可以更灵活的将代码编译成对零知识证明更友好的指令集，同时也摆脱了兼容所有EVM原有指令集所需要的艰巨而繁重的工作。

总的来说，第一种策略兼容性更好，安全性更高，但是工作量更大；第二种策略更灵活，工作量更小，但需要花费额外精力在适配上。

主要方案对比

HermezzkEVM

Hermez采用的是第一种策略，其将所有EVM指令集全部翻译为中间指令。

众所周知，EVM有一些变长的指令，比如CALL，EXP，CREATE等，这些指令天生对zk电路证明不友好，利用中间指令可以更友好地表达这些指令的逻辑。中间指令在uVM中执行，uVM中使用了大量的密码学工具，来实现zk完备，并且使用了Plookup算法来提升证明及验证效率。

HermezzkEVM在实现上的另外一个亮点，是其同时使用了两套证明系统，具体来说即生成一个STARK证明，然后再用PLONK或Groth16对这个STARK证明生成一个证明并在一层进行验证，这一过程就像是对证明的证明。之所以这么做，是因为STARK虽然很优秀，但是证明规模却很大，在链上进行验证时开销也很大，而Groth16或PLONK却拥有更小的证明规模和更快的验证速度。这种两相结合，各取所长的做法，很容易让人想到非对称加密算法和对称加密算法结合使用的场景。

AppliedZKPzkEVM

AppliedZKPzkEVM和Hermez一样，采用的是第一种策略。

AppliedZKP采用数据总线的思路，将存储和计算分开。在BusMapping抽取了正确的存储数据的基础上，由Stateproof证明数据的一致性，EVMproof证明计算逻辑的正确性。

具体的过程如下：

EVM通过BusMapping读取需要的相关状态，状态由Storage，Memory，Stack三部分组成；EVM执行opcode；EVM再通过BusMapping写回新的状态；过程中Stateproof负责BusMapping读写信息的一致性和正确性，EVMproof负责EVM对opcode执行的正确性。zkSyncEVM

与Hermez和AppliedZKP不同，zkSync选取了第二种策略。zkSync的zkEVM并非EVM的复刻品，而是为了能够运行99%的Solidity合约并确保其能够在各种情况下正常工作而全新设计。与此同时，zkEVM可以用来高效的在电路中生成零知识证明。

zkSyncEVM使用TinyRAM来实现普通指令集，而对Gas消耗巨大的指令如SHA256/keccak则特殊实现其电路，最后使用递归聚合技术，将所有的证明聚合成一个，以提升效率。

soruce:https://medium.com/matter-labs/zksync-2-0-hello-ethereum-ca48588de179

zkSync同时开发了两套针对zkEVM的编译器前端：Yul和Zinc。Yul是可以针对不同后端编译成字节码的中间Solidity表示；Zinc则是基于Rust为智能合约和通用零知识证明电路开发的语言。这给予了开发者更大的选择空间。

同时，在构建自己的编译器时，zkSync选择了LLVM，这一生产工业级产品最先进的编译器框架，以确保编译器足够完备和拥有所有经典优化。

写到最后

zkEVM技术在多个优秀团队的持续努力下，已经日渐成熟，相信在半年左右的时间内就会相继落地，届时兼容EVM的ZKRollup扩容方案一定会绽现出自己的光彩。

如今的区块链技术正进入了前所未有的大争鸣时代。从公链之争，到以太坊扩容方案之争，甚至具体到一个扩容方案下，都有着不同的项目方正在前赴后继，你追我赶。笔者十分庆幸，能身处这个区块链技术最生机勃勃的大时代。

参考资料：

1.以太坊工作原理

2.zkSync2.0:HelloEthereum!

3.Episode175:zkEVM&zkPorterwithMatterLabs

4.Episode194:zkEVMwithJordi&DavidfromHermez

5.ExploringPopularzkEVMSolutions:AppliedZKP\,MatterLabs\,Hermez\,andSin7Y

6.技术解读以太坊二层扩容方案Hermez的zkEVM设计思路

7.技术解读AppliedZKP的zkEVM方案设计思路

标签：HER以太坊BITzkSyncethereal深层含义以太坊最新价格人民币BITGET这个交易所提不了现zksync币交易所

火必交易所热门资讯