木星链 木星链
Ctrl+D收藏木星链
首页 > DYDX > 正文

PRO:如何将交互式的零知识证明(zk proof)协议改造为非交互式

作者:

时间:1900/1/1 0:00:00

前言

密码学当中的零知识证明技术在web3世界有着广泛的应用,包括进行隐私计算、zkRollup等等。其中Layer2项目FOX所使用的FOAKS就是一个零知识证明算法。在上述的一系列应用当中,对于零知识证明算法而言,有两方面属性极为重要,那就是算法的效率以及交互性。

算法效率的重要性不言而喻,高效的算法可以明显的降低系统运行时间,从而降低客户端延迟,显著的提高用户体验和效率,这也是FOAKS致力于实现线性证明时间的一个重要原因。

另一方面,从密码学的角度来讲,零知识证明系统的设计往往依赖证明者和验证者的多轮交互。例如在许多介绍零知识证明的科普文章当中都会使用的“零知识洞穴”的故事当中,证明的实现就依赖于阿里巴巴和记者多轮的信息传递交互才能实现。但是事实上,在许多应用场景当中,依赖交互会使得系统不再可用,或者极高的增加延迟。就像在zkRollup系统当中,我们期望证明者能够在本地,不依赖于和验证者交互的情况下就计算出正确的证明值。

从这个角度说,如何将交互式的零知识证明协议改造为非交互式,就是一个很有意义的问题。在这篇文章当中,我们将介绍FOX使用经典的Fiat-Shamir启发式来生成Brakedown中的挑战从而实现非交互式协议的过程。

零知识证明中的Challenge

Stargate DAO成员在社区会议上讨论如何处理即将收到的160万枚ARB:3月30日消息,Stargate DAO成员在周三社区电话会议上讨论如何处理160万枚Arbitrum(ARB)代币的预期分配,这些代币价值不到200万美元。LayerZero Labs的员工MaxPower表示,这些代币尚未收到,但当收到时将必须决定是否持有、出售、部署或委托这些代币。

一些与会者建议,DAO应该将ARB代币分发给用户,或将其部署为流动性激励。与此同时,其他治理代币持有者建议委托ARB代币,以便Stargate DAO可以参与Arbitrum治理。

据DeFiLlama的数据,Stargate的总锁定价值(TVL)为3.64亿美元,其中近22%来自Arbitrum平台。(CoinDesk)[2023/3/30 13:34:35]

零知识证明算法随着应用的铺开而变得异常火爆,近些年也诞生了包括FOAKS、Orion、zk-stark等在内的各种算法。这些算法,以及密码学界早期的sigma协议等的核心证明逻辑都是证明者先将某个值发送给验证者,验证者通过本地随机数产生一个挑战,将这个随机产生的挑战值发给证明者,证明者需要真的有知识才能以大概率做出通过验证者的响应。例如在零知识洞穴当中,记者抛一个硬币,告诉阿里巴巴从左侧出来还是从右侧出来,这里的“左和右”就是对阿里巴巴的挑战,他如果真的知道咒语,就一定可以从要求的方向走出来,否则就有一半的概率失败。

日本金融厅长官:日本要密切关注如何克服发行CBDC的挑战:日本金融厅长官HIMINO表示,日本不仅需要对央行数字货币(CBDC)进行学术研究,要更密切地关注如何克服发行央行数字货币可能带来的挑战。如果只是解除对比特币和其他加密货币的管制,这可能只会增加投机交易,并不一定会促进技术创新。不考虑推动加密货币交易的新举措,希望更多地关注如何将区块链技术与增强公共福利的政策结合起来。[2020/8/5]

这里我们注意到,Challenge的生成是一个很关键的步骤,它有两个要求,随机和不可被证明者预测。第一点,随机性保证了它的概率属性。第二点,如果证明者可以预测挑战值那就意味着协议的安全性被破坏了,证明者没有知识也可以通过验证,可以继续类比,阿里巴巴如果能预测记者要求他从哪边出来,他即使没有咒语也可以提前进入那一边,结果表现出来一样可以通过协议。

所以我们需要一种办法,能够让证明者自己本地生成这样一个不可预测的随机数,同时还能够被验证者验证,这样就可以实现非交互式的协议。

哈希函数

哈希函数的名字对我们来说或许并不陌生,无论是在比特币的共识协议POW当中担任挖矿的数学难题,还是压缩数据量,构造消息验证码等等,都有哈希函数的身影。而在上述不同的协议当中,其实是运用了哈希函数的各种不同性质。

币情观察室 | 如何从小白蜕变成合格的交易者:4月2日11:00,金色盘面邀请行情大V李明成做客金色财经《币情观察室》直播间,将分享《如何从小白蜕变成合格的交易者》,敬请关注,扫描下图二维码即可观看。[2020/4/2]

具体来讲,安全的哈希函数的性质包括以下几点:

压缩性:确定的哈希函数可以将任意长度的消息压缩成为固定长度。

有效性:给定输入x,计算输出h是容易的。

抗碰撞性:给定一个输入x1,希望找到另一个输入x2,x1x2,h=h,是困难的。

注意,如果哈希函数满足抗碰撞性,那么必然满足单向性,也就是说给定一个输出y,要找出x满足h=y是困难的。在密码学当中,还不能构造出理论上绝对满足单向性的函数,但是哈希函数在实际应用当中可以基本视作单向函数。

这样一来,可以发现上述的几种应用分别对应于哈希函数的几点不同的性质,同时我们说,哈希函数还有一个很重要的作用是提供随机性,虽然密码学理论当中要求的完美的随机数生成器目前也无法构造,但是哈希函数在实际当中同样可以充当这个角色,这就为我们后文介绍的Fiat-Shamir启发式的技巧提供了基础。

Fiat-Shamir启发式

事实上,Fiat-Shamir启发式就是利用哈希函数来对前面生成的脚本进行哈希运算,从而得到一个值,用这个值来充当挑战值。

欧科集团徐明星对话全国政协委员 谈抗击疫情区块链如何发挥作用:3月20日,全国政协云上“小双周”座谈会今天举行。全国政协委员,中国证监会原主席肖钢等多位全国政协委员、业界专家代表出席。会上,欧科集团创始人徐明星发表“区块链+供应链抗疫期间‘扛大旗’”主题演讲。徐明星表示:“除了供应链外,区块链技术在其他领域也有重要应用。随着下一代高新技术产业的发展,区块链技术将展现出更大的应用潜力。”[2020/3/20]

因为将哈希函数H视作一个随机函数,挑战是均匀随机的被选择,独立于证明者的公开信息和承诺的。安全分析认为Alice不能预测H的输出,只能将其当作一个oracle。在这种情况下,Alice在不遵循协议的情况下做出正确响应的概率(特别是当她不知道必要的秘密时)与H的值域的大小成反比。

图1:利用Fiat-ShamirHeuristic实现非交互式证明

非交互式FOAKS

在本节,我们具体展示Fiat-Shamir启发式在FOAKS协议当中的应用,主要是用来产生Brakedown部分的挑战,从而实现非交互式的FOAKS。

肯尼亚成立了一个特别小组,研究如何利用人工智能和区块链等最新技术:肯尼亚成立了一个特别小组,研究如何利用人工智能和区块链等最新技术。“我们错过了互联网浪潮,赶上了移动技术……区块链是下一个浪潮,我们必须参与其中。”信息部部长约瑟夫·穆切鲁(Joseph Mucheru)表示,在其他用途中,区块链可以帮助组织政府存储的土地记录,这对那些想要购买、出售或核实有关土地信息的人来说,是一种持续性的保障。[2018/5/5]

首先我们看到,在Brakedown生成证明的步骤当中,需要挑战的步骤是“近似性检验”以及MerkleTree的证明部分。对于第一点原本的过程是证明者在这里需要验证者产生的一个随机向量,计算过程如下图所示:

图2:非交互证明FOAKS中的BrakedownChecks

现在我们使用哈希函数,让证明者自己产生这个随机向量。

令γ0=H(C1,R,r0,r1),对应的,在验证者的验证计算当中,也需要增加这个计算出γ0的步骤。根据这样的构造,可以发现,在生成承诺之前,证明者并不能提前预测挑战值,于是不能提前根据挑战值来对应的“作弊”,也就是对应的生成假的承诺值,同时,根据哈希函数输出的随机性,这个挑战值也满足随机性。

对于第二点,令?=H(C1,R,r0,r1,c1,y1,cγ0,yγ0)。

我们使用伪代码给出改造后非交互式的Brakedown多项式承诺当中的证明和验证函数,这也是FOAKS系统当中使用的函数。

functionPC.Commit(?):

Parsewasak×kmatrix.TheproverlocallycomputesthetensorcodeencodingC1,C2,C1isak×nmatrix,C2isan×nmatrix.

fori∈do

ComputetheMerkletreerootRoott=Merkle.Commit(C2)

ComputeaMerkletreerootR=Merkle.Commit(),andoutputRasthecommitment.

functionPC.Prover(?,X,R)

Theprovergeneratesarandomvectorγ0∈Fkbycomputing:γ0=H(C1,R,r0,r1)

Proximity:

Consistency:

Proversendsc1,y1,cγ0,yγ0totheverifier.

Provercomputesavector?aschallenge,inwhich?=H(C1,R,r0,r1,c1,y1,cγ0,yγ0)

foridx∈?do

ProversendsC1andtheMerkletreeproofofRootidxforC2underRtoverifier

functionPC.VERIFY_EVAL(ΠX,X,y=?(X),R)

Proximity:?idx∈?,Cγ0==<γ0,C1>andEc(yγ0)==Cγ0

Consistency:?idx∈?,C1==<γ0,C1>andEc(y1)==C1

y==1,y1>

?idx∈?,Ec(C1)?isconsistentwithROOTidx,andROOTidx’sMerkletreeproofisvalid.

Outputacceptifallconditionsaboveholds.Otherwiseoutputreject.

结语

许多的零知识证明算法在设计之初都依赖证明者和验证者双方的交互,但是这种交互式证明协议不适合用在追求高效,网络通讯开销大的应用场景下,比如链上数据隐私保护和zkRollup等等。通过Fiat-Shamir启发式,可以在不破坏协议安全性的条件下让证明者本地生成随机数“挑战”,并且可以被证明者验证。根据这种方法,FOAKS同样实现了非交互式的证明,并应用在系统当中。

参考文献

1.Fiat,Amos;Shamir,Adi(1987)."HowToProveYourself:PracticalSolutionstoIdentificationandSignatureProblems".AdvancesinCryptology—CRYPTO'86.LectureNotesinComputerScience.SpringerBerlinHeidelberg.263:186–194.doi:10.1007/3-540-47721-7_12.ISBN978-3-540-18047-0.

2.https://www.cnblogs.com/zhuowangy2k/p/12246575.html

撰文:康水跃,FoxTechCEO;孟铉济,FoxTech首席科学家

来源:DeFi之道

标签:PROCOMOAK区块链Ramifi Protocoldefi communitycloak币什么时候上主网区块链存证说法错误的是

DYDX热门资讯
比特币:晚间必读|GPT-4引AI赛道大热 百度紧追热点 Web3与AI有哪些结合?

1.Ordinals会让比特币再次变得有趣吗?NFT生态的一种新的原语Ordinals对于比特币的发展而言,无疑打开了一扇奥弗顿之窗.

1900/1/1 0:00:00
DIE:美联储3月议息会议对加密市场的影响

如果加息25个基点,考虑到近期风险资产价格已纳入这种可能,理应没有太大波动。如果停止加息,风险资产将大幅上涨,btc有望突破3w至3.5w左右,以太坊将破2k至2.5k.

1900/1/1 0:00:00
FTX:FTX债务人报告索赔额为116亿美元,资产为48亿美元

金色财经报道,在3月17日向美国特拉华州破产法院提交的文件中,FTX债务人向无担保债权人委员会提交了一份关于其财务状况报表的报告,其中还详细说明了公司的资产和债权.

1900/1/1 0:00:00
SEC:美国SEC向Coinbase发出Wells通知 Coinbase强硬回应

来源:Coinbase2023年3月23日,SEC在粗略调查后就Coinbase上市数字资产的质押服务CoinbaseEarn、CoinbasePrime和CoinbaseWallet向Coin.

1900/1/1 0:00:00
MEV:浅析MEV的发展现状及趋势:这片“黑暗森林”该如何被照亮?

原文:《浅析MEV的发展现状及趋势》作者:0xCousin特别鸣谢IOSGVenturesJiawei的分享和交流.

1900/1/1 0:00:00
NFT:IP x NFT生态系统格局:NFT的潜力和优势

作者:sshshln?文章编译:Blockunicorn本文试图在分布式账本技术和区块链的媒介下,概念化科学领域知识产权的现状。重点关注NFT、CC0NFT以及IP-NFT.

1900/1/1 0:00:00