??如果你以前并不了解ZKRollup，同时对“ZK挖//矿”这个名词感到耳目一新，那么这条Thread将是值得你阅读并转发的好材料！
?
?1.ZKRollup中的两大核心角色
主流的ZKRollup如StarkWare等，其架构包含两大角色：SequencerProver
?
?Sequencer负责执行Layer2网络内的交易，将这些交易事件排序，打包成交易批次。我们可以将Batch理解为压缩版的Layer2区块数据。Sequencer会定期将生成的Batch发布出去，Prover会自动读取Batch，为其生成一个ZKProof，交由Layer1上的指定智能合约进行验证。
?
2.在现在的ZKRollup方案中，Sequencer与Prover的工作速度相差甚远
在目前的家用电脑上，每秒可执行约4000笔交易，但为每笔交易生成Proof却需要约1.5秒~2.5秒，相当于每秒仅能为0.6笔交易生成Proof。这样算来，Sequencer和Prover的工作效率相差至少5000倍，两者之间始终存在延迟。
?
?
Rarible：支持版税，9月30日后不再聚合OpenSea、LooksRare和X2Y2订单:8月23日消息，NFT交易市场Rarible宣布将永久支持版税，因此9月30日后Rarible将不再聚合来自OpenSea、LooksRare和X2Y2的订单。Rarible称版税原则是去中心化的核心，在每笔交易中不断确认创作者的价值。
金色财经此前消息，OpenSea将于8月31日开始对新系列创作者费用实施可选机制，取消OpenSeaOperatorFilter（强制创作者版税工具）。[2023/8/23 18:16:44]
如果无法解决ZKProof生成时间过长的问题，就会对Layer2的可用性产生负面影响。最直接的影响就是跨链转账。通常情况下，用户在Layer2发起一笔向Layer1的转账，会先被Sequencer节点处理，随后包含跨链转账的TxBatch会发布到Layer1上。但此时，这个Batch尚未生成对应的Proof，无法通过验证。
?
?在这种情况下，跨链桥不会为这笔跨链转账放行。只有对应的ZKProof提交到了Layer1的指定合约，并经过验证，跨链转账才会得到跨链桥的确认并通过。此外，ZKProof生成过程太慢，也不利于实现Sequencer的去中心化。
BAYC系列NFT近7日版税收入达48.7万美元:2 月 25 日，据 Definitive 数据显示，近 7 日，Bored Ape Yacht Club 系列 NFT 版税收入达 487,771 美元；Otherdeed for Otherside 系列 NFT 版税收入达 436,842 美元；Ghost Boy 系列 NFT 版税收入达 366,857 美元；Mutant Ape Yacht Club 系列 NFT 版税收入达 350,127 美元；SewerPass 系列 NFT 版税收入达 309,408 美元。[2023/2/25 12:29:10]
?
?3.所以，如何提高ZKProof的生成速度将是决定ZKRollup未来发展的重大问题
目前看来，定制高性能的ZK加速芯片、推出激励机制促使Prover节点间展开竞争，将是缩短ZKProof生成时间的最有效方式。我初步阅读了Scroll、Hermez、Taiko等ZKRollup的文档，了解到POE机制。
?
?我认为Scroll和Hermez可能是最值得关注的ZKRollup。如果项目方能够将其设想充分实现，那么这两者将是最适合ZK挖//矿的理想乡。在下面的陈述中，我将针对我的论点展开一些论述。
Magic Eden启动强制执行创作者版税协议:金色财经报道，Magic Eden周四表示从12月2日开始它将启动一项协议，该协议将对所有选择使用该工具的新收藏品征收版税。Open Creator Protocol(OCP)将使发布新系列的创作者可以选择是否要保护版税。对于未为其NFT采用OCP的创作者，版税在平台上仍将是可选的。
Magic Eden CEO兼联合创始人Jack Lu在一份新闻稿中表示“Solana社区一直在等待NFT版税的解决方案”。此外，新协议还提供动态版税，该功能概述了基于线性价格曲线的NFT销售价格和版税金额之间的关系，以及可定制的代币可转让性，允许创作者将其收藏的交易行为规则游戏化。启动后，该平台将托管一个免费的“Magic Mint”，供用户测试Open Creator Protocol及其功能。[2022/12/2 21:17:13]
?
?4.ZK加速方案的必要性
由于ZKRollup需要先将传统编程语言转换为对ZK证明友好的形式。同时，常用的SHA256或Keccak函数对ZK也很不友好，要生成对应的ZKProof会产生很长的耗时。这些复杂操作会大幅延长证明生成时间。
?
?Scroll的联创ZhangYe的一篇论文曾提及，目前的ZK-SNARK证明虽然验证速度快，但其生成过程仍然十分困难。通常情况下，为一段程序生成对应的ZKProof，首先要将程序转化为一个约束系统，其尺寸大小通常可以达到原始程序的几倍，最高可达几百万倍。随后，证明程序要在一个大的有限域上执行一系列数学运算。
sudoswap将推出新流动性池，专注于完整的链上版税执行、Gas优化和可定制性:据官方公告，sudoswap将推出新流动性池，专注于完整的链上版税执行、Gas优化和可定制性。这些功能将适用于所有NFT系列，不需要任何允许/阻止列表请求。
此外，除了标准路由合约之外，一个由社区部署、在与流动性池交互时会支付版税的路由合约也已生效，并被Reservoir等NFT聚合协议使用。[2022/11/8 12:31:21]
?
?其中产生的操作量与对应的程序相关，但与约束系统中的约束数量相比，其操作量总是超线性的。大多数情况下，生成zk-SNARK的时间要比验证它的时间长得多，有时两者的差距可达到几百倍，比如仅仅是为一次支付事务生成Proof就可能长达几分钟，其执行过程却仅需要几十毫秒而已。
?
?
5.对此，Scroll提出了名为PipeZK的ZK加速解决方案
该方案可以在普通消费级硬件上将ZKProof的生成过程提高接近200倍。如果未来再结合FPGA和ASIC等专用硬件，加速效果或将进一步提升。
?
?同时，Scroll表示将于未来实现Layer2节点的去中心化，允许用户运行Prover节点参与到ZKRollup网络运行。按照其愿景，如果普通用户可以自//由的运行Prover节点，通过生成和提交Proof来获得奖励，其实质就构成了“挖//矿”行为；
The Chainsmokers通过NFT Drop与歌迷分享新专辑版税:金色财经报道，著名音乐二人组The Chainsmokers的新专辑发售包括NFT赠品，为5000名粉丝提供1%的版税。那些收到NFT的人将每季度或每半年收到一次关于他们何时收到付款的通知。如果他们选择出售NFT，智能合约会将7.5%的收益交付给The Chainsmokers（NFT对艺术家的吸引力之一是能够获得二次销售的分成），二人组说他们将捐赠给专辑的歌曲作者。新专辑将于周五发售，NFT将在5月17日发行。（decrypt）[2022/5/13 3:12:03]
?
?
此外，可以让多个Prover节点同时参与Proof生成。由于Sequencer可以在短时间内执行大量交易，将其打包为多个Batch，这N个Batch就可以交给至少N个Prover节点来生成Proof。同时，N个Proof还可以被聚合到一起，这样就可以让聚合版Proof覆盖的交易数量更多，进而节约在Layer1上发布Proof产生的Gas成本。
?
?
6.这相当于采用并行计算的方式完成Proof生成
由于多个Proof可以被聚合为单个Proof，最后的聚合版Proof可以一次性覆盖N个交易Batch，如果将每个交易批次包含的交易数量适当缩减，调动更多Prover参与到并行生成Proof的工作中，相当于在同一时刻运行更多的Prover线程，理论上可以进一步缩短Proof生成时间
?
?这将有助于提高ZKRollup的可用性，也可以扩大Prover节点的规模，进而为ZK加速芯片打开市场需求空间。
?
?7.同为ZKEVM解决方案的Taiko则在并行化的基础上提出了窗口期的设定
对此，Taiko在其文档中有明确的解释：当一个待证明的Layer2区块被生成时，会发布到Layer1上，等待Prover节点为其生成对应的Proof证明。但Taiko设置了窗口期，如果一个待证明的交易批次在规定时间内没有被证明，就可以被抛弃或被替换
?
?
这就会敦促Layer2区块生产者Sequencer自行寻找具有更高性能的Prover节点，与其合作在更短的时间内生成Proof。这种方法可以在一定程度上排除掉“不作为”的Prover节点运行者，但如果窗口期设置的过长，仍然无法高效刺//激Prover节点提高其效率。
?
?8.为此，Polygon的Hermez项目组提出了一个很有意思的构想，名为ProofOfEfficiency
它允许多个Prover无需许可的参与到ZKProof生成过程，并让这些Prover节点展开竞争，最终的Proof奖励只会分配给第一个成功的节点。
?
?
在POE机制下，Prover以无许可的方式参与到Proof的生成过程中，虽然Hermez并未对此处的“无许可”做出明确解释，但我个人分析认为，“无许可”可能意味着Prover节点无需质押代币也无需事先注册，可以直接读取Sequencer发布到Layer1上的交易批次，并为其生成对应的Proof。
?
?
Hermez在其POE方案中称，允许多个Prover节点以竞赛的方式提交Proof并获得奖励，如果某个Prover是第一个生成正确Proof的节点，它将获得全部的Proof生成奖励，该笔奖励由Sequencer以悬赏的形式进行支付。
?
?结合上文中提到，Taiko曾提出“窗口期”概念，如果Sequencer提交到Layer1的交易批次长时间未生成对应的Proof，就会被废弃，Sequencer一般会有很强的动力去提高Proof悬赏金额，刺//激Prover群体高效工作。
?
?这样一来，Sequencer或ZKrollup项目方相当于把ZKProof加速策略委托给Prover节点运行者去研发，通过悬赏市的竞赛机制，可以很大程度上调动广大矿工的积极性，不失为一种共赢策略。
?
?9.对于POE方案存在的问题
提出者本人也曾指出，仅将全部的Proof生成奖励分配给一个Prover可能不太公平，因为网络延迟或者交易审查会影响Proof的提交时间，所以更好的优化方法是将奖励分配给Proof提交时间相近的几个Prover节点，这样可以更好的激励Prover群体，也能保留住更大规模的Prover节点群。
?
10.如果Prover节点顺利去中心化，并且全部的Proof奖励分配给性能最优越的几个Prover运营方，类似比特币矿池的组织形式极有可能出现，这些Prover矿池由许多散户矿工贡献的设备连接而成，按照每个人贡献的算//力分配奖励。
?
?同时，由于ZKProof生成任务可以并行化，可切分，拥有的加速芯片越多、使用的生成策略越优秀，获得的奖励就会越多。照此看来，ZK挖//矿很有可能复制比特币挖//矿的老路，挖//矿设备会不断的更新迭代，组织形式将以矿池为主，而ZKRollup本身也将大幅受益于这种变迁。
?
?但需要明确的是，以上讨论仅在ZKRollup得到大规模采用后才有落地的可能，而现在的讨论仍然是超早期话题。这是因为，ZKProver矿工的激励来自于Layer2的用户手续费，不同于以太坊会不断增发代币激励矿工，如果单纯靠手续费激励矿工群体，可能无法维持庞大的prover群体。
?
?所以单个ZKrollup的Prover群体注定不会特别大但danksharding后会搭载多个zkrollup，如果把他们当做一个整体来看的话，zkminer的空间还是不小虽然比不上比特币和以太坊挖//矿，但与莱特币或ETC或许还是可以相提并论的。
毕竟在这个“币圈一天，人间一年”的领域里，一切皆有可能。
?
?本文由黑猫猫财经原创，欢迎关注，带你一起长知识！
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。