作者:FoxTechCTO林彦熹,FoxTech首席科学家孟铉济
前言
Prover和Verifier之间的计算代理思想是零知识证明的核心内容之一,是调节证明者和验证者工作量于复杂度之间取舍的工具。不同的零知识证明算法本质的不同在于不同程度的计算代理;高度的代理虽然会使验证的计算容易,但是却可能使得证明的复杂度高,从而导致证明耗时长,或是生成的证明大小较大;反之,低程度的代理会使得验证者的开销较大。
图1:零知识证明的计算代理程度影响
计算代理是什么
随着以太坊上应用和用户的扩展,以太主网上的拥堵程度不断提升,使用zkRollup进行Layer2的扩容成为一个很有吸引力的方案,FOX就是专注于使用FOAKS算法进行zkRollup的项目。而zkRollup的可行性,本质上在于使用的零知识证明算法的原理可行性。简单来说,零知识证明算法实现的功能是使得证明者向验证者证明某件事,但又不透露任何关于这件事的信息。zkRollup的构造就是利用了这个性质,使得Layer2的节点可以执行原本在Layer1进行的计算,同时向Layer1节点提供计算正确性的证明。
NFT平台OneOf收购区块链奖励公司Tap Network:金色财经报道,NFT平台OneOf收购了区块链奖励工具Tap Network,以帮助公司在Web3中与其消费者建立联系。OneOf将推出One Platform,这是一个turnkey选项,适用于希望扩展到Web3的公司,结合了电子商务、数据和忠诚度计划的元素。
Tap Network成立于2018年,允许消费者用忠诚度积分兑换加密货币,已与互联网浏览器Brave、拼车公司Uber、娱乐公司华纳音乐集团等公司建立了合作关系。[2023/4/4 13:44:35]
从更广义的角度来说,上述的过程我们可以理解为,由于验证者计算能力有限,所以将这部分的计算代理给了证明者来执行,证明者完成了这个任务,需要返回结果给验证者。从这个角度来说,我们可以说,零知识证明算法使得保障正确性的“计算代理”得以实现。从宏观上这种计算代理的例子可以表现为zkRollup这种形式的应用,具体到零知识算法当中,这种计算代理的思想也有各种应用。
Hidden Road获得英国FCA的批准注册为数字资产公司:金色财经报道,数字资产和外汇经纪公司Hidden Road宣布英国实体Hidden Road Partners CIV UK Limited 已获得金融行为监管局 (FCA) 在英国注册为数字资产公司。[2022/12/22 22:01:08]
本文主要介绍FOAKS使用的在Orion当中提到的Code-Switching所做的令证明者帮助验证者执行的验证计算过程,以及FOAKS如何应用这种技巧进行递归。从而减少了证明的大小以及验证者的开销。
为什么需要计算代理
从系统的实用性角度来说,很多情况下计算节点的算力是有限的,或者说计算资源是很宝贵的。例如在Layer1链上的所有计算都需要经过所有节点的共识,并且用户需要为此支付高昂的手续费。所以,在这种情况下,将本来由共识节点来处理的计算“代理出去”交给链下节点来完成,就是一种自然的想法,避免消耗链上资源。而这也正是FOX所专注的链下计算服务。
Conflux发布v2.2.0网络硬分叉升级公告:11月5日消息,公链项目Conflux发布v2.2.0网络硬分叉升级公告,称Conflux网络将在区块高度达到137740000或PoS区块高度达到360900时进行升级,具体取决于这两个中的较早一个时间点,所有节点都需要在上述时间之前升级。[2022/11/5 12:19:50]
从密码学理论角度来讲,在GMR模型当中限定了证明者拥有无限计算能力,验证者拥有多项式计算能力。如果验证者也有无限能力,则零知识证明的基本性质无法满足。所以自然地,将计算向证明者一方倾斜,让证明者承担更多的计算就是很多零知识证明算法设计都会考虑的问题。
当然,为了实现这一点,我们需要特别的技巧。
CodeSwitching
电商巨头eBay已收购NFT交易平台KnownOrigin:6月22日消息,全球电商巨头eBay已于今日完成对NFT交易平台KnownOrigin的收购交易,具体金额及条款暂未透露。本次收购旨在将eBay的影响力和声誉与KnownOrigin的领先技术相结合,为新一代NFT创作者、卖家和买家提供支持。
KnownOrigin于2018年成立,旨在使艺术家和收藏家能够通过区块链支持交易创建、购买和转售NFT。(美通社)[2022/6/22 1:24:37]
这一节介绍Orion当中使用的CodeSwitching技巧。Orion和FOAKS都使用了Brakedown作为多项式承诺方案,而CodeSwitching是在Orion当中命名的有证明者代替验证者执行验证计算的过程。
PandaDAO更新PANDA代币回购计划:5月22日消息,PandaDAO更新PANDA代币回购计划,决定合约执行回购程序,旨在简化回购流程,增加回购透明度。
PandaDAO将以每个$PANDA=0.005 DAI的价格执行回购,任何人都可以发送$PANDA得到对应的DAI。随着国库储备的增多和Token流通量的通缩,回购价格将会不断抬升。回购合约由社区多签国库掌管。
回购合约和前端需要开发和安全审计,预计2个月的开发,测试和审计周期。本次回购程序和之前的回购提案并无冲突,已经通过社区core团队投票确认,将会直接执行。[2022/5/22 3:34:06]
在《一文了解FOAKS当中的多项式承诺协议Brakedown》一文当中我们曾经介绍过,验证者的验证计算为以下的过程:
idxI,C0==<0,C1>andEC(y0)==C0
?idxI,C1==<r0,C1>andEC(y1)==C1
现在如果令证明者承担这部分计算,则证明者除了执行这些计算,还要附上证明值来证明自己的计算是正确的。
做法是将上述等式同样写成R1CS电路:
Statement:
EC(y0)=C0,EC(y1)=C1
idxI,C0=<0,C1>andEC(y0)=C0
idxI,C1=<r0,C1>andEC(y1)=C1
y=<r1,y1>
idxI,EC(C1)isconsistentwithROOTidx,andROOTidx’sMerkletreeproofisvalid.
之后使用Virgo算法进行验证。
FOAKS当中的计算代理
在FOAKS当中同样使用类似的技巧完成计算代理,值得一提的是,FOAKS由于使用了Fiat-Shamirheuristic技巧实现了非交互式证明。想要了解更多,读者可以参考《如何将交互式证明改造为非交互式?Fiat-ShamirHeuristic!》。所以FOAKS的挑战生成和Orion所使用的CodeSwitching方法不同,电路当中也需要加入新的等式:
0=H(C1,R,r0,r1)
I=H(C1,R,r0,r1,c1,y1,c0,y0)
这样之后FOAKS当中的证明者同样生成了代理验证者进行验证的计算证明。而对于验证证明的过程,FOAKS利用算法自身进行迭代,这也是FOAKS实现递归的关键内容。具体内容见《如何设计出一种精妙绝伦的证明递归方案》。
通过一定次数的迭代可以使得证明的大小被压缩,从而极大降低验证者的计算负担以及通信复杂度。这就是FOAKS这个零知识证明方案对FOX这条zkRollup的重大意义。
结语
zkRollup中使用的零知识证明算法的计算代理程度需要被精心设计,必须恰到好处才能使其整体达到最佳效率。而FOAKS算法通过自身迭代的递归实现了可以调节的计算代理,是为专门为zkRollup所设计的零知识证明算法。
参考文献
1.Orion:Xie,Tiancheng,YupengZhang,andDawnSong."Orion:Zeroknowledgeproofwithlinearprovertime."AdvancesinCryptology–CRYPTO2022:42ndAnnualInternationalCryptologyConference,CRYPTO2022,SantaBarbara,CA,USA,August15–18,2022,Proceedings,PartIV.Cham:SpringerNatureSwitzerland,2022.
整理:西柚,ChainCatcher“过去24小时都发生了哪些重要事件”?1.Twitter通过与eToro合作,将支持用户交易加密货币、股票等金融资产据CNBC报道.
1900/1/1 0:00:00据链上分析师余烬监测,截至目前,75%的ARB空投已被领取,65%的ARB空投在领取后已出售。此外,余烬分享了链上买入ARB数量的前几名大户及他们的买入成本:1.0xb0fc开头地址使用373万.
1900/1/1 0:00:001inch社区和治理团队成员JordanReindl提议修改1inchDAO治理流程,包括从1inchSnapshot空间中移除st1INCH(v1)投票和委托策略;更改st1INCH(v2)投.
1900/1/1 0:00:00据官方公告,基于近期社区反馈,Binance发现有部分用户使用多个帐户测试快照逻辑,并在其他平台大额借贷BNB,进行高频的BNB资产充提.
1900/1/1 0:00:00SolanaMobile正式推出其第一款Android设备——Saga。美国、欧盟、英国、加拿大、瑞士、澳大利亚和新西兰的客户可以从5月8日开始订购这款手机.
1900/1/1 0:00:00Web3数据云Oort在香港成功举办了备受瞩目的“Web3大数据,引领去中心化未来”大会,吸引了众多国际知名嘉宾、公司的参与。来自世界各地的发言人依次分享了他们对于互联网新时代的独到见解.
1900/1/1 0:00:00