我还没有深入研究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部分。
观点:“拟议的非托管加密钱包法规”传闻不会对比特币产生切实影响:针对“美国财政部长Steven Mnuchin正计划任期届满之前就非托管加密钱包制定新法规”的传闻,Multicoin Capital管理合伙人Kyle Samani表示,他认为这不会在当前的牛市中对比特币产生切实影响:“关于Mnuchin的传闻我的看法是,这对于当前BTC牛市(未来12-36个月)并不重要。原因如下:下一波买家——宏观买家希望监管到来。对他们来说,2100万的上限是一个特征,抵制审查是一个缺陷(某种程度上来说),他们不希望自我托管,(比特币对于他们来说)只是通胀对冲工具。”
此前消息,Coinbase首席执行官Brian Armstrong发推就其听到的美国财政部长Steven Mnuchin正计划任期届满之前就非托管加密钱包制定新法规的传闻表示担忧,并指出,已于上周与多家加密货币公司和投资者一起致信财政部阐明了这一点。Brian Armstrong表示,拟议的法规或将要求像Coinbase这样的金融机构在非托管钱包的所有者接收资产之前,验证接收者或所有者,并收集相关身份信息。(Bitcoinist)[2020/11/27 22:19:13]
用不同的方法来定义Hermez是zkEVM还是zkVM:
Real Vision联合创始人:尽管与股市存在相关性 但长远看风险回报对比特币有利:Ark Invest最近的研究指出,比特币偏离其他资产类别的行为,可以帮助它在一个充分多元化的投资组合中充当一种战略配置。但事实上,比特币与标普500指数之间的30天移动相关性在今年大部分时间里都在0.5以上。对此,宏观投资者、Real Vision联合创始人Raoul Pal的说法,考虑到比特币的货币属性,这样做是有道理的。它既有货币的属性,也有一点大宗商品的属性,这意味着它们有影响它们的可变因素。这就是为什么货币是如此难以预测的原因。比特币与股市有移动的相关性,这没关系。当你观察一段较长时间后,这种调整就没那么严重了。即便从长远来看,股票和比特币之间存在相关性,但风险回报对比特币有利。(The Block)[2020/11/5 11:41:31]
-只要你能证明所有来自EVM的操作都是正确的,满意——Hermez是zkEVM;
CNBC主持人:美国3万亿美元的援助计划改变了我对比特币的看法:CNBC主持人Jim Cramer称,美国3万亿美元的援助计划让他改变了对比特币的看法:“很长一段时间,人们问我‘你觉得比特币怎么样’,我说‘我不交易咖啡,不交易棉花,也不交易比特币’,我的这一想法一直持续到3万亿美元的援助计划公布。我们国家没有三万亿美元。”
美国国会众议院5月15日投票通过一项总额高达3万亿美元的资金援助计划,以应对新冠疫情对美国经济的冲击。这使得Cramer意识到自己需要拥有加密货币,因为他担心通货膨胀会大幅上升。加上美联储做出了历史性的决定,放松2%的通胀目标,美元贬值的可能性似乎越来越大。此前,Morgan Creek创始人Anthony Pompliano说服Cramer购买了比特币。(U.Today)[2020/9/15]
-必须重新实施完整的EVM,不满意——Hermez是zkVM
动态 | 杨林科正式完成对比特币中国100%股权的收购:据比特币中国官方消息,杨林科已经正式完成对比特币中国100%股权的收购,比特币中国将从此刻开始转型为区块链技术服务实体经济的企业。[2019/1/2]
因此,Scroll和PSE的zkEVM非常复杂(奇迹般地实现了zk-unfriendly部分)。我们的zkEVM有34469行代码,但是Hermez的zkEVM只有不到3000行代码,点击了解
最初权衡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团队应该更多地沟通/协作,因为我们都在同一条战线上,我们都是以太坊的盟友,我们来这里是为了扩展以太坊,让区块链准备好迎接下一个阶段和下一个十亿用户。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。