区块见闻 区块见闻
Ctrl+D收藏区块见闻

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

作者:

时间:

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

?

?

Upbit宣布将上线SUI:金色财经报道,据官方公告,Upbit 将在韩元(KRW)、比特币市场新增 SUI,仅支持主网充值。SUI 充提支持时间以及交易开始时间将在核实网络情况后另行通知。[2023/5/3 14:39:58]

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

?

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

?

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

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

Reddit联合创始人也将其推特简介改为Bitcoin:1月29日,随着马斯克将其推特个人简介改为Bitcoin后,Reddit联合创始人Alexis Ohanian也将其推特简介改为了Bitcoin。[2021/1/29 14:22:31]

?

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

?

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

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

?

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

Upbit将于8月1日23:00起暂停6小时韩元存取款服务:Upbit官方刚刚发布公告称,由于要进行存取款服务提供商的系统检查工作,Upbit将于北京时间8月1日23:00-8月2日5:00暂停韩元的存取款服务。系统检查约6小时,届时除韩元存取款服务外,其他服务均正常运行。[2020/7/31]

?

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

?

?

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

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

?

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

Silvergate Capital三季报:数字资产客户增加至1677名,净收入4330万美元:10月18日消息,美国加密友好银行Silvergate Bank母公司Silvergate Capital在2022年三季度录得净收入4330万美元,相比二季度净收入3860万美元实现增长。另外,公司数字资产客户从2022年6月30日的1,585名增加至2022年9月30日增长至1,677名。(CoinDesk)[2022/10/18 17:30:52]

?

?

此外,可以让多个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生成时间

消息人士:Zipmex因借给Babel Finance近1亿美元而面临巨额亏损:7月21日消息,据两名行业高管透露,加密交易所Zipmex周三宣布冻结提款一事与陷入困境的加密借贷平台Babel Finance有关。其中一位业内高管表示,Zipmex的新加坡分公司因通过其名为“ZipUp”的产品借给Babel约1亿美元而面临巨额亏损,Zipmex为了赚取额外收益较早地为Babel提供了贷款。而在6月冻结提款的Babel正在寻求聘请重组专家Houlihan Lokey。

Zipmex在泰国拥有交易所和经纪牌照。知情人士表示,泰国的许可证不允许该公司重新挪用普通客户的资金,但它可以将通过ZipUp产品转移的资金进行再投资,另一位高管表示,Zipmex已开始与投资者接触以寻找新的资金。一位与Babel重组有关的人士已证实Babel欠Zipmex的钱。

此前消息,加密交易所Zipmex宣布暂停提款,直至另行通知。(Coindesk)[2022/7/21 2:27:48]

?

?这将有助于提高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或许还是可以相提并论的。

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

?

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

标签:PROProofROLLROLPROME币0XPROOF币BankRollTROLLBNB币

火必交易所热门资讯
520:美元触及 20 年新高——本周比特币需要了解的 5 件事_比特币今日价格人民币

在杰克逊霍尔会议导致美国市场崩溃后,比特币进入9月第一周,走的是一条坎坷的下坡路。在美联储加强了对通货膨胀前景的鹰派言论后,风险资产全面抛售,加密货币仍在受余波影响.

稳定币:BitVito币位:秘鲁人购买加密货币以对冲通货和不稳定_CAS

在不稳定和通货膨胀加剧的情况下,秘鲁的加密货币采用率正在增长。专注于加密货币监管的律师和秘鲁区块链协会的创始人álvaroCastroLora称,秘鲁越来越多地采用加密货币有两个原因,1.通货膨.

加密货币:鲍威尔讲话之后,还有哪些重大事件值得关注?_个人交易加密货币违法吗

来看一下鲍威尔上个周五砸盘之后,接下来有哪些重要的经济数据会影响市场的走向,值得我们关注? 进入主题 .鲍威尔到底讲了什么? .9月加息会在50或70基点做选择 .加息见顶时间推后 上个礼拜五鲍.

ROLL:链上数据分析:宏观抛压开始下降,以太坊出现大量提币现象_TROLLBNB

本周回顾 本周从8月22号到8月28号,比特币最高附近21800,最低接近19500,震荡幅度达到10.93%左右。观察近期筹码分布图,在约19900附近有大量筹码成交,将有一定的支撑或压力.

HTT:Gate.io 关于支持RIF Token(RIF) 升级计划的公告_gate.io交易平台官网下载

根据RSK网络官方消息,RSK网络计划于网高度4,598,500时进行升级。Gate.io将在升级期间暂停RIF代币充值和提现服务,支持此次升级,待级完成后会第一时间恢复充提.

SEC:灰度回覆SEC:隐私币ZEC、zen 及xlm或属「证劵」_Vesta Protocol

灰度从去年起多个信托陆续被SEC质询,灰度多次提交表格表态否认旗下信托基金属于证劵领域。惟最近一次灰度向SEC提交的表格中,立场却一改说法,罕有地松口承认Zcash、Horizen和恒星币因现时.