对比Scroll与Hermez,理解zkVM与zkEVM_ROLL:ROLS

我还没有深入研究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部分。

律师:案件判决中对比特币财产属性的认定获得最高人民法院层面认可:北京路宁律师事务所刑事部主任丁飞鹏表示,近期一例比特币财产损害赔偿案入选全国法院系统2020年度优秀案例具有典型意义,该案判决认为,比特币具备虚拟财产、虚拟商品的属性,应受到法律的保护。该案判决中对比特币财产属性的认定、对涉比特币案件的司法救济等内容,获得了最高人民法院层面的认可,其典型性和指导性,也将会对全国法院系统在未来的涉比特币案件审判实践中产生深远的影响。(证券日报)[2020/12/18 15:36:13]

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

声音 | Peter Schiff:若美国施行财富税,将对比特币造成沉重打击:黄金支持者Peter Schiff发推称,财富税将对比特币造成沉重打击。想象一下,如果美国所有比特币巨鲸每年被迫出售大量比特币,以支付财富税,情况会怎样?比特币没有带来任何可以用来缴税的年收入。所以清算将是唯一的纳税方式。[2019/10/21]

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

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

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

声音 | Morgan Creek创始人:意大利对保管箱内贵重物品征税的新政对比特币有利:据coinspeaker报道,意大利政府决定采取一些措施,对意大利国内银行保管箱内的所有贵的重物品征税。对此,加密货币分析师Alex Krüger发布推文称,这对比特币来说是看涨的。Morgan Creek Digital创始人Anthony Pompliano也发推文称,如果全世界有更多的人开始寻找一种不可受审查、不可扣押的资产来存储他们的财富,那就不要感到惊讶。[2019/6/14]

冰岛可能会因能源消耗而对比特币挖矿征税:据NEWSBTC报道,海盗党的Smari McCarthy建议对比特币挖矿征税。任何在冰岛土地上创造价值的公司都会支付一定的税款。没有理由认为比特币采矿业务在这方面有什么不同。此外,与比特币开采相关的能源消耗呈上升趋势。如果这种趋势持续下去,2018年的消费量将翻番至近100 兆瓦。这比同期冰岛家庭的消费量要多得多。关于比特币采矿的能源饥渴性质的讨论在其他国家也变得更加鲜明。[2018/2/12]

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

一个值得展望的未来是:我们将证明生成时间优化到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团队应该更多地沟通/协作,因为我们都在同一条战线上,我们都是以太坊的盟友,我们来这里是为了扩展以太坊,让区块链准备好迎接下一个阶段和下一个十亿用户。

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

金宝趣谈

NEAR应用专属高性能 Rollup:Cartesi_ESI:FUEL

Cartesi的论点:特定应用的模块化执行环境如何解决可编程性问题、扩展计算和推动创新。 概要 区块链技术正处于变革的边缘。现在越来越多的项目了解到模块性和专业化的需求.

[0:15ms0-4:938ms