月亮链 月亮链
Ctrl+D收藏月亮链

以太坊:三分钟读懂 zkEVM:以太坊扩容方案的明珠_以太坊交易

作者:

时间:1900/1/1 0:00:00

撰文:DeGate,链闻ChianNews

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的成功。

2023年Q1美国加密货币相关商标申请同比减少三分之二:金色财经报道,尽管就美国加密货币行业相关的商标申请而言,2022年是非常成功的一年,但2023年的开局要慢得多,因为这一数字比去年同期低了约三分之二。

根据Michael E. Kondoudis律师事务所的商标和专利律师Michael Kondoudis 4月5日分享的数据,2023年第一季度美国与加密货币相关的商标申请达559件,比2022年第一季度的1649件下降了66.1%。

在进一步分析美国专利商标局(USPTO)的数据后,如图表所示,2023年1月有196个新的加密商标申请,2月只有160个,而3月这些商标申请比前两个月略有改善,有203个申请。

值得注意的是,2022年是破纪录的一年,美国与加密货币相关的商标申请总数为5383件,而2021年为3570件,2020年仅为1137件,尽管形势动荡,但由于机构和个人兴趣的增加,加密货币行业继续增长。(Finbold)[2023/4/6 13:48:31]

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

摩根大通:美联储下周加息100个基点的概率不到三分之一:金色财经报道,摩根大通首席美国经济学家Michael Feroli表示,美联储官员下周开会时不太可能将利率提高100个基点。他在周三给客户的一份报告中称,提高100个基点的可能性低于三分之一,“优秀的司机不会在接近目的地时加快速度”。

Feroli表示,上调100个基点意味着美联储基准利率见顶的位置会比5%还高,“我们对此表示怀疑”。他还警告说,现在加大货币政策刹车力度可能加强对美联储在2023年降息的押注。这将使美联储通过放宽金融条件来应对价格压力的工作变得更加困难。(彭博社)[2022/9/15 6:57:03]

一、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

锁仓WT参与CRV挖矿理财”活动三分钟售罄:据悉,由WBF交易所发起的“WT ? DeFi挖矿周”第一弹——“锁仓WT参与CRV挖矿理财”活动上线3分钟即告磬,一期100万枚WT抢购一空,市场热度大超预期。(了解具体活动详情请登陆WBF交易所官网)。

WBF推出“WT ? DeFi挖矿周”活动,用户锁仓WT即可一键参与DeFi流动性挖矿,极大简化了普通投资者参与DeFi挖矿的操作流程、降低了参与成本。

“WT ? DeFi挖矿周”第一弹之“锁仓WT参与CRV挖矿理财”活动于9月15日10:03提前结束认购,“WT ? DeFi挖矿周”第二弹之“锁仓WT参与新币挖矿理财”活动预计将于9月16日上线。[2020/9/15]

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

现在的问题来了,我们知道ZKRollup方案需要对二层上的交易生成零知识证明,再传回一层进行验证,而要生成零知识证明,需要交易的处理过程符合zk电路证明的规范。

三分之一的比特币被1600个钱包持有:据Chainalysis数据显示,1600个比特币钱包持有的比特币数量超过了目前总量的三分之一,并且每个钱包的比特币数量都大于1000个,而排名前100的钱包持有的比特币数量超过10000个。[2018/6/10]

而在EVM设计之初,显然没考虑过要支持零知识证明,这就是zkEVM的意义:一种运行在ZKRollup网络上,兼容EVM同时又对零知识证明友好的虚拟机。

二、两种实现策略

对于zkEVM,目前主要有两种实现策略:

1、直接支持EVM现有的指令集,完全兼容solidity指令集。使用这种方案的包括Hermez和以太坊基金会zkEVM。

2、重新设计一种虚拟机,该虚拟机对零知识证明友好,同时对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证明计算逻辑的正确性。

具体的过程如下:

1、EVM通过BusMapping读取需要的相关状态,状态由Storage,Memory,Stack三部分组成;

2、EVM执行opcode;

3、EVM再通过BusMapping写回新的状态;

4、过程中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方案设计思路

标签:以太坊HERDEFIDEF以太坊交易Vital Ethereumdefi币圈Mooni DeFi

以太坊价格今日行情热门资讯
加密货币:福布斯:美联储9月议息会议或是加密市场暴跌另一原因_Medallion Coin X

链捕手消息,据《福布斯》杂志报道,加密货币市场近期出现震荡,股票和商品等其他资产也出现下跌。目前市场对于导致广泛抛售的原因解释各不相同,有人提到其中一个因素是房地产公司恒大集团可能出现债务违约.

1900/1/1 0:00:00
okex:OKExChain(OEC)正式部署NerveNetwork主网节点_KEX

链捕手消息,OKExChain近日正式部署NerveNetwork主网节点,赋能跨链资产生态开发.

1900/1/1 0:00:00
ETF:ETF热背后的冷思考:监管与市场的博弈_比特币行情最新价格美元miui

作者?|?RichardLee美国东部时间10月19日上午9点30分,美国首支比特币ETF在纽约证券交易所正式开售,首日交易量为2442万股,价值接近10亿美元.

1900/1/1 0:00:00
WEB:Coinlist:为什么加密市场的代币数量越来越多?_GulfCoin

来源:Coinlist博客编译:链捕手CoinMarketCap数据显示,目前加密市场中共有6000多种代币。这大约是世界上所有不同法定货币的35倍.

1900/1/1 0:00:00
DAO:斯坦福万字研讨:现有法律能否适应DAO的兴起_比特币

作者:AaronWright,BenjaminN.Cardozo斯坦福大学法学教授编译:火星财经译者注:本文篇幅较长,但是译者已进行语言逻辑的编辑,请读者朋友们耐心阅读.

1900/1/1 0:00:00
PWR:收益分层协议 Gro 如何实现高低两类风险结构产品?_Ultra

撰文:Karen随着DeFi市场逐渐从最初的狂热阶段中回归理性,加密资产长久以来始终没有摆脱的高波动性,耕种者们不得不开始寻找更「坚固」的铲子.

1900/1/1 0:00:00