Layer2扩容关键技术:递归零知识证明剖析_LAYER:NAR

在Layer2扩容赛道上,ZkRollup方案以完美的数据可用性以及与Layer1同等级的安全性,备受青睐;以单个Block为处理单元,用零知识证明算法来保证此区块引起的世界状态变化的有效性,大幅降低了每笔交易的上链成本,同时也增长了系统的吞吐效率。然而,在实际的落地过程中,研究者们发现,简单的ZkRollup方案带来的扩容效果,并不能满足真实的场景需求;这和很多因素有关,电路参数的限制,零知识证明算法的效率等等;研究者们做了很多努力,比如对零知识证明算法进行加速,配备超高配置机器,优化电路规模等,虽带来了一定的性能提升,但仍难以满足需求。

研究者们当然希望,链上一次处理的交易越多越好。朝着这个目标出发,研究者们首先发现了聚合证明技术,该技术已经被ZKSwap推出的ZKSpeed扩容方案采用。在前面的文章中,已经解释了聚合证明的原理和思想,简单来说就是把多个区块的证明聚合成一个证明,使得链上一次就可以完成多个区块的验证,大大的降低了交易的平均成本,其原理如下图所示:

EigenLayer:将于8月22日再次提高LST再质押上限:8月14日消息,据官方消息,EigenLayer将于太平洋时间8月22日上午7点提高LST(流动性质押代币,含stETH、rETH和cbETH)再质押上限。上限解除后,用户将能够将上述代币中的任何一种存入EigenLayer。当任何一种LST达到再质押10万个代币的里程碑时,EigenLayer将再次暂停接受质押。[2023/8/14 16:24:16]

?该方案虽然有优势,可实现多个区块的证明的一次验证,但也有其一定的局限性:

1.一次聚合的区块是有上限的,受限于电路参数的限制;

2.聚合的区块越多,电路就越大,直到其规模的上限;这种电路生成的证明时间要更长,证明密钥和验证密钥也会占用更大的存储空间;

链游平台Forte与风投工作室SuperLayer达成合作:12月14日消息,区块链游戏平台 Forte 与风投工作室 SuperLayer 合作拓展至 Web3 游戏外领域,Forte 将成为 SuperLayer 投资项目的加密货币支付和流动性服务提供商,SuperLayer 则将提供基础设施支持 Forte 扩展至游戏外的领域。[2022/12/15 21:45:10]

3.目前可支持的最大聚合粒度是20个区块,也就是凑齐20个区块后,才会开始聚合处理。如果生成证明的效率比较低,这会导致这些区块被确认的时间拉长,尤其是最早生成的那些区块;

受限于证明计算和CRS生成复杂度的限制,上述的零知识证明算法是不可扩展的。因此,研究者们也在努力寻找一个可扩展的零知识证明算法,即Scalablezk-SNARKs。

SORAMITSU与Klaytn达成合作,将建立Klaytn上首个开源DEX:金色财经消息,韩国区块链平台Klaytn与日本金融科技公司SORAMITSU达成合作,从4月开始SORAMITSU团队将致力于在Klaytn网络上搭建可扩展的DEX架构,建立首个开源去中心化交易所,以实现代币交换、质押和流动性提供、代币治理、代币铸造等功能。(medium)[2022/3/30 14:27:17]

Scalablezk-SNARKs可拓展的zk-SNARKs

在论文《ScalableZeroKnowledgeviaCyclesofEllipticCurves》中,EliBen-Sasson等给出了Scalablezk-SNARKs的定义:

Shiba Inu拟优化Layer 2扩容解决方案Shibarium并进军元宇宙:12 月 20 日消息,Shiba Inu 开发人员透露对 Layer 2 扩容解决方案 Shibarium 做出更大优化,而不是等待明年到来的 ETH 2.0 升级。如果 Shibarium 顺利成为一个可靠的扩容解决方案,那么受益的潜在应用或是元宇宙,有传言称 Shiba Inu 即将进军元宇宙,而元宇宙肯定需要扩展解决方案来降低费用并且确保大量用例活动交易能够快速被处理,不过目前 Shiba Inu 将如何在元宇宙中表现尚有待讨论。(Beincrypto )[2021/12/20 7:51:36]

1.Keygenerationischeap:即,Key生成的时间和计算复杂度没有关系;

Rally联合创始人成立加密风投工作室SuperLayer,a16z创始人等人承诺投资:10月30日消息,Rally联合创始人Kevin Chou和Mahesh Vellanki周五宣布成立SuperLayer。SuperLayer是一家加密风险投资工作室,帮助直接在Rally网络上构建Web 3项目。据悉,加密社交平台Rally允许创作者和艺术家发行自己的数字货币。在招聘产品经理以进一步发展业务之前,该风险投资工作室将在内部启动项目。

SuperLayer得到知名投资者的支持承诺,包括风险投资公司Andreessen Horowitz(a16z)联合创始人Marc Andreessen、Chris Dixon、Paris Hilton、Nas、Michael Ovitz、Carter Reum等。最初,SuperLayer将部署2500万美元的种子投资,并将继续持续筹集资金。(Cointelegraph)[2021/10/30 6:21:21]

2.Proofgenerationiscarriedoutincrementally:即,证明生成过程既包含了当前执行步骤的正确性又包含了在此之前所有计算的正确性,这种zk-SNARKs是incrementallycomputable;

为了方便大家理解,用一张图来表示上述思想:

上图表示意思是:证明着证明一个递归计算过程,即:初始状态为S0,经过t次函数F迭代计算后的结果为St。

第一个计算方式,Monolithicoption:证明方P把t次计算过程全部写成电路,然后一次性证明,正如我们前面所列举的一样,存在相同的局限性,很高的时间复杂度和空间复杂度;

第二个计算方式,Recursiveoption:递归计算,其过程如下:

1.首先对于初始状态S0=>S1,证明方P对于S1?=F(S0)计算过程生成一个证明π1;

2.对于S1=>S2的转换,由图中可以得知,证明方P证明了两部分:{S2?=F(S1),V(S1,π1)=1},前半部分保证了当前计算的有效性,后半部分保证了上一步计算过程的有效性;由于在zk-SNARKs里,证明生成的时间比原始计算要快一些,因此,对于验证过程进行证明是合理的;

由此可以看出,?Recursiveoption满足Scalablezk-SNARKs了基本要求:

1.Key的生成和循环次数没有关系,取决于单次F的复杂度,如果是generalzk-SNARKs,只取决于安全参数;

2.证明满足incrementallycomputable,每个证明都包含了在此之前所有计算的有效性;

3.证明的大小固定,和迭递归次数t没有关系;

由上可知,Scalablezk-SNARKs采用了Recursive思想,即当前的Prove过程包含上一步的验证过程电路,具体如下图所示:

可以看到,P2证明电路里,包含了上一步P1的验证过程电路。需要注意的是,P1对应的V在域Fq上,P2的证明过程在Fr上,如何在Fr上表示V的算术电路,是一个值得探讨的过程;由于Cv可以看作是P的一个子电路,因此,q需要满足?q=#E(Fr)或者?q整除?#E(Fr),即q整除rk?-1,因此:

尝试1.理想的情况下,如果?r=q,那么在Fr上,能完美表示Fq上的V的算术电路,但是根据上述原理,r!=q恒成立;

尝试2.对于q!=r,因为需要在Fr上去模拟Fq上的计算,会导致计算复杂度的提高log(r)倍;

尝试3.采用椭圆曲线循环,可以完美实现Recursive过程;

具体的,选取两个大素数,r和q。满足r=#E(Fq)和q=#E(Fr),即,当前群的域等于另外一个群的阶,反之亦然。因此,域Fq上的证明方P可以完美的在Fq上实现Fr上的验证电路,域Fr上的证明方P也可以在Fr上实现Fq上的验证电路;因此不会出现尝试2里面的缺陷。

下面表格列举常用的cycleofellipticcurves

写在最后

通过采用递归证明组合密码技术(RecursiveProofComposition),zk-SNARKS变成了Scalablezk-SNARKs,实现了更高效、简洁的零知识证明算法,并能真实的落地应用。即将发布主网的Mina就采用了这种技术实现了简洁的区块链,即固定大小的链,保持在22KB左右;同时,其他的技术团队包括MatterLabs、starkWare等也在计划采用Scalablezk-SNARKs技术来实现Layer2更高的扩容。ZKSwap团队在Layer2赛道上持续发力,在Scalablezk-SNARKs上亦有所突破,相信不久就会应用于新的版本上。

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

金宝趣谈

[0:0ms0-4:558ms