ROO:为什么说ZK挖//矿是下一个值得布局的赛道？

??如果你以前并不了解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倍，两者之间始终存在延迟。

?

?

Polygon的模块化区块链项目Avail开启Kate测试网第二阶段:金色财经报道，Polygon 的模块化区块链项目 Avail 开启Kate测试网的第二阶段，第一个测试网阶段允许 Avail 试验基本操作、执行链上功能和运行协议治理。第二阶段将包括一个更全面的测试环境，以鼓励验证者参与。开发人员表示，Avail 还打算解决扩展应用程序所面临的数据可用性问题，计划招募数百名新验证者加入、参与和参与其社区。[2023/6/8 21:24:26]

如果无法解决ZKProof生成时间过长的问题，就会对Layer2的可用性产生负面影响。最直接的影响就是跨链转账。通常情况下，用户在Layer2发起一笔向Layer1的转账，会先被Sequencer节点处理，随后包含跨链转账的TxBatch会发布到Layer1上。但此时，这个Batch尚未生成对应的Proof，无法通过验证。

?

?在这种情况下，跨链桥不会为这笔跨链转账放行。只有对应的ZKProof提交到了Layer1的指定合约，并经过验证，跨链转账才会得到跨链桥的确认并通过。此外，ZKProof生成过程太慢，也不利于实现Sequencer的去中心化。

?

?3.所以，如何提高ZKProof的生成速度将是决定ZKRollup未来发展的重大问题

NFT借贷平台NFTfi推出用户奖励忠诚度计划“NFTfi Rewards”:金色财经报道，NFT借贷平台NFTfi在社交媒体宣布推出用户忠诚度计划“NFTfi Rewards”，允许符合条件的借款人和贷款人获得独家、不可转让的奖励积分，据悉OG 积分余额已上线，用户在 5 月 15 日之前进行NFT贷款可以锁定积分，但美国用户没有资格参加。[2023/4/26 14:26:42]

目前看来，定制高性能的ZK加速芯片、推出激励机制促使Prover节点间展开竞争，将是缩短ZKProof生成时间的最有效方式。我初步阅读了Scroll、Hermez、Taiko等ZKRollup的文档，了解到POE机制。

?

?我认为Scroll和Hermez可能是最值得关注的ZKRollup。如果项目方能够将其设想充分实现，那么这两者将是最适合ZK挖//矿的理想乡。在下面的陈述中，我将针对我的论点展开一些论述。

?

?4.ZK加速方案的必要性

由于ZKRollup需要先将传统编程语言转换为对ZK证明友好的形式。同时，常用的SHA256或Keccak函数对ZK也很不友好，要生成对应的ZKProof会产生很长的耗时。这些复杂操作会大幅延长证明生成时间。

韩国法官将涉嫌挪用公款等的Coinone前董事全某的首次开庭日期定在5月4日:4月24日消息，韩国首尔南区法院第7刑事庭的法官金正基将被指控挪用公款和其他罪名的Coinone前董事全某的首次开庭日期定在5月4日，涉嫌向全某提供金钱以换取上市请求的上币经纪人高某也将在同一天受审。全某在2020年起担任加密货币交易所Coinone的上市主管期间，涉嫌因要求上市加密货币而从包括高某在内的两名经纪人处收取20亿韩元的上市费用。他还涉嫌在明知某些币种具有市场操纵（商业干扰）目的的情况下将其上市。高某面临挪用公款的指控，他参与了超过29种加密货币的上市工作。（News1）

此前报道，4月8日，据韩国媒体MoneyToday报道，韩国首尔南地检察厅第一金融调查部以涉嫌贪污罪起诉加密交易所前Coinone高管全某，10日上午将对嫌疑人进行拘捕前讯问。

Foresight News 此前报道，4 月 8 日，据韩国媒体 Money Today 报道，韩国首尔南地检察厅第一金融调查部以涉嫌贪污罪起诉加密交易所前 Coinone 高管全某，10 日上午将对嫌疑人进行拘捕前讯问。[2023/4/24 14:22:47]

?

?Scroll的联创ZhangYe的一篇论文曾提及，目前的ZK-SNARK证明虽然验证速度快，但其生成过程仍然十分困难。通常情况下，为一段程序生成对应的ZKProof，首先要将程序转化为一个约束系统，其尺寸大小通常可以达到原始程序的几倍，最高可达几百万倍。随后，证明程序要在一个大的有限域上执行一系列数学运算。

币安创新区即将上线Rocket Pool（RPL）:据官方公告，币安创新区将于2023年1月18日16:00上线Rocket Pool（RPL），并开放RPL/BTC、RPL/BUSD、RPL/USDT现货交易对。

RPL充值通道现已开放，提现预计于2023年1月19日16:00开放。RPL 的上币费用为0 BNB。

此外，币安逐仓杠杆将于2023年1月18日16:00起的48小时内新增RPL资产，并开放以下交易对：RPL/BUSD、 RPL/USDT。

注：币安杠杆支持交易的资产、额度、利率会根据市场情况随时调整，以杠杆数据页面为准。[2023/1/18 11:18:28]

?

?其中产生的操作量与对应的程序相关，但与约束系统中的约束数量相比，其操作量总是超线性的。大多数情况下，生成zk-SNARK的时间要比验证它的时间长得多，有时两者的差距可达到几百倍，比如仅仅是为一次支付事务生成Proof就可能长达几分钟，其执行过程却仅需要几十毫秒而已。

?

?

5.对此，Scroll提出了名为PipeZK的ZK加速解决方案

该方案可以在普通消费级硬件上将ZKProof的生成过程提高接近200倍。如果未来再结合FPGA和ASIC等专用硬件，加速效果或将进一步提升。

数据：Wintermute对几个交易对手的DeFi债务超2亿美元:9月21日消息，链上数据显示，做市商Wintermute对几个交易对手的DeFi债务超过2亿美元。最大的债务涉及TrueFi发行的9200万美元的Tether（USDT）贷款，该贷款将于10月15日到期，此外还包括对Maple Finance的7500万美元债务和对Clearpool的2240万美元债务。Wintermute还向黑客提供了10%的赏金，如果所有资金都归还，黑客将获得1600万美元。（CoinDesk）[2022/9/21 7:10:18]

?

?同时，Scroll表示将于未来实现Layer2节点的去中心化，允许用户运行Prover节点参与到ZKRollup网络运行。按照其愿景，如果普通用户可以自//由的运行Prover节点，通过生成和提交Proof来获得奖励，其实质就构成了“挖//矿”行为；

?

?

此外，可以让多个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或许还是可以相提并论的。

毕竟在这个“币圈一天，人间一年”的领域里，一切皆有可能。

?

?本文由黑猫猫财经原创，欢迎关注，带你一起长知识！

标签：PROROOProofROVERAres Protocoloneroot币局Proof of AnonAdroverse

区块链热门资讯