在Layer2扩容赛道上,ZkRollup方案以完美的数据可用性以及与Layer1同等级的安全性,备受青睐;以单个Block为处理单元,用零知识证明算法来保证此区块引起的世界状态变化的有效性,大幅降低了每笔交易的上链成本,同时也增长了系统的吞吐效率。然而,在实际的落地过程中,研究者们发现,简单的ZkRollup方案带来的扩容效果,并不能满足真实的场景需求;这和很多因素有关,电路参数的限制,零知识证明算法的效率等等;研究者们做了很多努力,比如对零知识证明算法进行加速,配备超高配置机器,优化电路规模等,虽带来了一定的性能提升,但仍难以满足需求。
研究者们当然希望,链上一次处理的交易越多越好。朝着这个目标出发,研究者们首先发现了聚合证明技术,该技术已经被ZKSwap推出的ZKSpeed扩容方案采用。在前面的文章中,已经解释了聚合证明的原理和思想,简单来说就是把多个区块的证明聚合成一个证明,使得链上一次就可以完成多个区块的验证,大大的降低了交易的平均成本,其原理如下图所示:
Web3基金会:DOT是“协调软件”而非证券,不会与以太坊和比特币等Layer 1区块链竞争:1月27日,Web3 基金会在社交媒体上表示,Polkadot 原生 Token DOT 是协调软件而非证券产品,该基金会还强调将会努力遵守美国证券法以及美国证券交易委员会对数字资产的指导,以及对 Token 转型的完整愿景得到解决,并将采取措施管理 DOT Token 分配,确保不会出现网络被少部分实体控制问题。
此外,Web3 基金会还表示 Polkadot 不会与以太坊和比特币等 Layer 1 区块链竞争,截止目前 Polkadot 生态系统中项目和团队数量已经超过 550 个。[2023/1/27 11:32:20]
?该方案虽然有优势,可实现多个区块的证明的一次验证,但也有其一定的局限性:
杨民道:UniV3最大的暴击是同时上线layer2:3月24日,dForce创始人杨民道在在朋友圈中评论V3时表示,UniV3的功能点基本上跟我十月份Twitter预测的差不多,大部分意料之中,架构实现上确实更优雅,花了大功夫。缺憾是没往资金池生息优化。其实V3最大的暴击是同时上线layer2,等于是资金效率(1000倍)+吞吐量(100倍)+费用摩擦(100倍)三重优化。以太坊的Sushi定制化的 PMM(如Curve)、交易所公链各类amm forks,layer2swap,全在射程范围内。真是不给留一点喝水时间。[2021/3/24 19:12:54]
1.一次聚合的区块是有上限的,受限于电路参数的限制;
2.聚合的区块越多,电路就越大,直到其规模的上限;这种电路生成的证明时间要更长,证明密钥和验证密钥也会占用更大的存储空间;
Interlay将于11月发布波卡BTC平行链Alpha测试网:据Polkadot官方消息,区块链技术开发商Interlay将通过Web3基金会后续资助,在2021年第一季度完成BTC平行链。该平行链第一个Alpha测试网计划于2020年11月发布,而Beta版则将于2021年1月发布。此前3月,Web3基金会宣布资助Interlay。Interlay主要项目是发布基于波卡区块链的“BTC平行链”,允许用户1:1铸造比特币支持的资产PolkaBTC到波卡区块链上。[2020/10/15]
3.目前可支持的最大聚合粒度是20个区块,也就是凑齐20个区块后,才会开始聚合处理。如果生成证明的效率比较低,这会导致这些区块被确认的时间拉长,尤其是最早生成的那些区块;
OKEx正式上线 Klaytn(KLAY):据官方消息,9月3日,OKEx正式上线 Klaytn(KLAY),拟于9月3日19:00 (HKT)开启充值,9月10日17:00 (HKT)开启USDT,BTC交易,提现时间为9月14日17:00 (HKT)。
此外,OKEx同步开启了“KLAY充值挑战”活动。
从9月4日10:00-10日10:00,单用户限额2000USDT,总奖池高达10万美金,详情见官网公告。
?Klaytn是以服务为中心的企业级分布式信任区块链平台。它通过高效的“混合”设计,结合了公共区块链(分散数据和控制,分布式治理)和私有区块链(低延迟,高可扩展性)的最优功能。[2020/9/3]
受限于证明计算和CRS生成复杂度的限制,上述的零知识证明算法是不可扩展的。因此,研究者们也在努力寻找一个可扩展的零知识证明算法,即Scalablezk-SNARKs。
Matter Labs推出新型以太坊Layer2扩容方案zkPorter:以太坊研究小组Matter Labs宣布推出新型以太坊Layer2扩容方案zkPorter 。zkPorter是一种基于zkSNARK的新型扩容技术,通过结合zkRollup和分片技术来处理数据可用性,它能支持任意多个分片,每个分片都有自己的数据可用性策略,由分片内的智能合约定义,各分片的选择在个人帐户级别进行控制。Matter Labs表示,目前zkRollup能在ETH 1.0上达到3000 TPS的性能,且保守估计(取决于 ETH 2.0实施细节)在分片的ETH 2.0上至少可以处理20000TPS,但zkPorter的目标是支持数十亿用户的需求,需要进一步降低成本,提升性能。(Medium)[2020/8/3]
Scalablezk-SNARKs可拓展的zk-SNARKs
在论文《ScalableZeroKnowledgeviaCyclesofEllipticCurves》中,EliBen-Sasson等给出了Scalablezk-SNARKs的定义:
1.Keygenerationischeap:即,Key生成的时间和计算复杂度没有关系;
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上亦有所突破,相信不久就会应用于新的版本上。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。