对比Scroll与Hermez,理解zkVM与zkEVM

我还没有深入研究Hermez的zkevm解决方案,但有趣的是,比较Scroll和PolygonHermez的zkevm是一个很好的视角,可以帮助大家更好地理解zkVM和zkEVM。

基本上,Scroll的zkEVM解决方案通过「重新实现」整个EVM来实现EVM等价,EVM的所有操作都是在zkevm-circuits中定义的,这需要很多步骤(约束)来证明。

Hermez的zkEVM解决方案是不同的,他们不是重新实现一个EVM,而是实现一个特定的zkVM,并将EVM操作对应到他们自己的zkVM。所以,证明EVM的操作等同于证明Hermez的zkVM中的对应操作,并且zkVM有非常大的自由度,它们可以避免EVM中的zk-unfriendly部分。

比特币闪电网络节点数量为16,481个:金色财经报道,1ML数据显示,当前比特币闪电网络节点为16,481个,过去30天增加0.45%;通道数量为74,415个,较一个月前减少了1.5%;网络容量为5,394.1枚BTC,月涨1%。[2023/4/24 14:22:30]

用不同的方法来定义Hermez是zkEVM还是zkVM:

-只要你能证明所有来自EVM的操作都是正确的,满意——Hermez是zkEVM;

-必须重新实施完整的EVM,不满意——Hermez是zkVM

因此,Scroll和PSE的zkEVM非常复杂(奇迹般地实现了zk-unfriendly部分)。我们的zkEVM有34469行代码,但是Hermez的zkEVM只有不到3000行代码,点击了解

CFTC任命Circle、TRM、Fireblocks等公司的高管加入新技术咨询小组:金色财经报道,商品期货交易委员会(CFTC)宣布前白宫官员Carole House担任新主席,区块链分析公司TRM Labs的Ari Redboard担任其技术咨询委员会副主席。CFTC周一向委员会公布了一份成员名单,宣布该委员会已经新成立,并由去年3月上任的委员Christy Goldsmith Romero赞助。技术咨询委员会之前由前CFTC专员Brian Quintenz赞助,他现在是风险投资公司Andreessen Horowitz的政策主管。

根据新闻稿,该委员会将于3月22日举行第一次会议,届时将“考虑更新网络安全小组委员会,创建一个新的数字资产和区块链技术小组委员会,合并和扩大之前的两个TAC小组委员会,并建立新的新兴技术小组委员会”。(CoinDesk)[2023/3/14 13:02:03]

知情人士:Alameda曾在2018年XRP的交易中损失超过三分之二的资产:金色财经报道,在FTX倒闭之前,人们认为Alameda Research是业内顶级的量化交易公司和做市商之一。然而,这种看法在很大程度上可能只是表面现象,最近的一份报告详细说明Alameda早在 2018年就遭遇了财务困境。知情人士表示,2018年春季,Alameda因押注XRP而遭受重创,损失了Alameda超过三分之二的资产。知情人士解释说,因此SBF开始再次征集贷款,并承诺20%的回报率。《华尔街日报》看到的一份文件显示,SBF的律师解释了Alameda如何在向贷方进行的一次特定推销中成为顶级做市商,但律师没有透露任何财务信息。

此外,报告详细说明,当SBF创办Alameda时,这家贸易公司通过套利赚取了数百万美元。作为套利者,SBF声称机会来自日本和韩国等国家,因为比特币在这些地区交易溢价。由于在韩国存在所谓的“泡菜溢价”,SBF表示BTC有时会高出30%,在日本则高出10%。有大量报道强调Alameda通过加密货币套利赚取了数百万美元,但《华尔街日报》最近于 2022 年 12 月 31 日发表的一篇报道详细说明了Alameda的交易并不总是有利可图。[2023/1/3 22:21:17]

最初权衡Scroll/PSE的zkEVM是很难实现的,但后期处理EVM更新很容易,Hermez的zkEVM最初很容易实现,但后续更新很困难,并且,PSE方案更适合Layer1,后续升级也容易,并且因为Scroll直接和PSE合作,后续升级Scroll的zkEVM也很容易。

法国经济和财政部秘书长 Barbat-Layani 已被批准担任法国金融市场管理局主席:10月19日消息,法国经济和财政部秘书长Barbat-Layani已被批准接替RobertOphèle担任法国金融市场管理局(AMF)的主席,负责注册加密货币公司和传统金融机构,立法者以55-28票赞成其任命。此外,Barbat-Layani在周二的听证会上向获得许可的加密货币公司发出警告,提醒立法者,许可证一旦被授予,也可以被收回。此前报道,法国财政部长BrunoLeMaire重申法国希望成为加密货币中心的愿望。[2022/10/19 17:32:45]

一个值得展望的未来是:我们将证明生成时间优化到12秒,这时候zkEVM可以直接用在Layer1的生产环境中,运行一个节点的限制也会降低。

如果zkEVM可以直接用于Layer1,那么主网会有自己的prover,如果证明生成时间可以优化到12s,我认为会考虑一个有助于加速的prover网络。

Scroll将来会有自己的Prover网络,其路线图如下:

-Pre-alpha测试网升级

-Alpha测试网

-去中心化roller网络

-启动主网

所以如果Scroll的roller网络运行良好,将会对Layer1产生直接影响,以太坊主网很可能会学习Scroll的经验,尝试用roller-network的方式来加速自己的zkEVM。

Rollup是layer1的一个创新的测试领域,不仅涉及新颖的应用程序,还涉及这些底层基础设施。目前有多个zkEVM实现由不同的rollup团队领导,从长远来看,这对rollup和Layer1都有好处,对于rollup,我们可以使用其他zkEVM实现来检查我们自己的zkEVM是否遗漏了约束条件或存在bug等。

一个zkEVM生成证明,其他zkEVM验证其过程。

如果multi-zkEVM能够形成合作机制,Layer1没有理由不直接学习这种方式,当然,没有那么多layer2团队会实施共识层zkEVM。

不管怎样,未来我们仍然会看到关于zkEVM的非常活跃的讨论,会有更多的设计、更多的创新、更多的bug,最后是layer1上的EVM->zkEVM的升级。我们还将看到layer1上学到的rollup创新,帮助以太坊本身变得更好。

最后,Hermez有一个很棒的团队,在zkEVM和zkp领域有突出贡献,我认为不同的L2团队应该更多地沟通/协作,因为我们都在同一条战线上,我们都是以太坊的盟友,我们来这里是为了扩展以太坊,让区块链准备好迎接下一个阶段和下一个十亿用户。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

[0:0ms0-2:288ms