月亮链 月亮链
Ctrl+D收藏月亮链

THE:一文了解多项式承诺协议Brakedown-ODAILY_nation币价格

作者:

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

原文作者:FoxTechCEO康水跃,FoxTech首席科学家孟铉济

前言:如果密码学家没有发现张量积和多项式取值之间的联系,那就很难出现多项式承诺协议Brakedown,也就不可能诞生基于Brakedown的Orion、以及FOAKS这类全新的快速算法。

在许多依赖多项式承诺的零知识证明系统当中,使用了不同的承诺协议。根据a16z的JustinThaler在2022年8月文章“MeasuringSNARKperformance:Frontends,backends,andthefuture”的评估,Brakedown虽然有较大的ProofSize,但是无疑是当下最快的多项式承诺协议。

FRI、KZG、Bulletproof是更为常见的多项式承诺协议,但速度是它们的瓶颈。zkSync采用的Plonky、PolygonzkEVM采用的Plonky2、Scroll采用的Ultra-Plonk等算法都是基于KZG的多项式承诺。Prover涉及到大量的FFT计算和MSM运算生成多项式和承诺,这两者都会带来大量的计算负担。虽然MSM有运行多线程加速的潜力,但需要大量内存,即使在高并行下也很慢,而大型FFT则严重依赖算法运行时数据的频繁洗牌,难以通过分布式加速跨计算集群加载。

正是由于有了更为快速的多项式承诺协议Brakedown,才使这类运算的复杂度大幅降低。

FOAKS即FastObjectiveArgumentofKnowledges,是由FoxTech提出的一种基于Brakedown的零知识证明系统框架。FOAKS在Orion的基础上进一步减少FFT运算,目标是最终消除FFT。此外,FOAKS还设计出一种全新的非常精妙的证明递归方式来减少证明大小。FOAKS框架的优势在于在实现线性证明时间的基础上有着较小的证明大小,非常适合应用于zkRollup场景当中。

上海市政府:发展区块链、Web3.0等数字新经济,推动元宇宙重大应用:金色财经报道,上海市人民政府办公厅关于印发《上海市推动制造业高质量发展三年行动计划(2023-2025年)》的通知。其中提及布局新赛道和未来产业。落实“四个新赛道”“五大未来产业”行动方案,发展区块链、Web3.0等数字新经济,推动元宇宙重大应用,布局碳捕集利用、“氨-氢”、高效储能等绿色低碳领域,打造智能网联汽车、智能机器人、智能穿戴、虚拟显示等终端品牌;加速布局未来产业细分领域,建设张江、临港、大零号湾等未来产业先导区。[2023/6/15 21:39:11]

下文我们将详细介绍FOAKS所使用的多项式承诺协议Brakedown。

在密码学当中,承诺协议由证明者对某一个秘密值进行承诺,生成一个公开的承诺值,这个承诺值具有绑定性和隐藏性,之后提交者需要打开此承诺并将消息发送到验证者,以验证承诺与消息之间的对应关系。这一点,使得承诺协议和哈希函数的作用有许多共通之处,但是承诺协议往往依赖于公钥密码学领域的数学结构。而多项式承诺是一类对于多项式的承诺方案,也就是说被承诺值是多项式。而同时多项式承诺协议当中还包含了在给定的点取值并给出证明的算法,这就使得多项式承诺协议本身成为一类重要的密码学协议,是许多零知识证明系统的核心部分。

而在最新的密码学领域的研究当中,由于发现了张量积和多项式取值之间的联系,所以诞生了一系列与此相关的多项式承诺协议,Brakedown是其中的代表性协议。

在详细介绍Brakedown的协议细节之前,需要先了解一些基础知识。我们需要先了解线性码、抗碰撞哈希函数、默克尔树、张量积的运算以及多项式取值的张量积表示。

首先是线性码。一个消息长度为k,码字长度为n的线性码是一个线性子空间

质押解决方案Chorus One将在Solana上推出集成MEV的开源协议:2月8日消息,质押解决方案Chorus One将在Solana上推出集成最大可提取价值(MEV)的开源协议。该协议旨在成为一个开源的公共产品,准备由Solana验证节点集体采用,并通过一个额外的去中心化实体进行管理,或者独立运行。Chorus One为Solana开发的MEV版本协议目前处于原型阶段。(The Block)[2023/2/8 11:54:07]

C∈Fn,使得存在一个从消息到码字的单射,称为编码,记作EC:Fk→C。任意的对于码字的线性组合仍然是一个码字。两个码字u,v的距离即他们的汉明距离,记作△(u,v)。

最短距离为d=minu,v△(u,v)。这样的码记作线性码,用d/n表示码的相对距离。

其次是抗碰撞哈希函数与默克尔树。

使用H:{0,1}2λ→{0,1}λ表示一个哈希函数。默克尔树是一种特殊的数据结构,可以实现对于2d个消息的承诺,生成一个哈希值h,在打开任何消息时候需要d+1个哈希值。

默克尔树可以被表示为一个深度为d的二叉树,其中L个消息元素m1,m2,...,ml分别对应树的叶子。树的每一个内部节点都由它的两个子节点进行哈希计算得出。打开消息mi时,需要公开从mi到根节点的路径。

用以下记号来表示:

h←Merkle.Commit(m1,...,ml)

(mi,πi)←Merkle.Open(m,i)

{0,1}←Merkle.Verify(πi,mi,h)

BTC跌破15900美元:金色财经报道,行情显示,BTC跌破15900美元,现报15894.3美元,日内跌幅达到13.75%,行情波动较大,请做好风险控制。[2022/11/10 12:40:59]

图1:默克尔树

我们还需要了解张量积的运算是怎么做的。数学上,张量是向量和矩阵向高维空间的扩展,是很重要的研究对象,详细的讨论张量超出本文的研究范畴,这里只介绍向量和矩阵的张量积运算。

图2:向量和矩阵的张量积运算

紧接着,我们需要知道多项式取值的张量积表示。

当中提到,多项式的取值可以被表示成张量积的形式。在这里我们考虑多线性多项式的承诺。

具体来讲,给定一个多项式,他在向量x0,x1,...,xlogN-1的取值可以写成:

根据多线性的定义,每一个变量的次数是0或1,因此,这里有N个单项式和系数,以及logN个变量。令

,其中i0i1...ilogN-1是i的二进制表示。令w表示多项式系数,

Glassnode:持有1万枚以上BTC的巨鲸曾在24500美元左右积极抛售:金色财经报道,据区块链分析公司Glassnode分析数据显示,持有1万枚以上BTC的比特币巨鲸曾在24500美元左右积极抛售比特币,他们在全球市场不确定性中利用任何流动性机会退出市场,巨鲸向市场提供的过量供应似乎已经压倒了已经被侵蚀的需求方,最终形成了一个局部顶部。当发生抛售后,比特币跌至1.76万美元低点,之后加密市场出现鲜明的逆转,目前比特币已升至2.1万美元上方,巨鲸也迅速从提款逆转为向交易所充值。[2022/9/10 13:21:36]

同样的,定义

。于是有X=r0?r1。

从而,多项式取值可以被表示成张量积的形式:?(x0,x1,...,xlogN-1)=<w,r0?r1>。

最后,我们来看FOAKS、Orion当中使用的Brakedown的过程。

首先,PC.Commit将多项式系数w划分成k×k的矩阵形式,并将其编码,记作C2。之后对于C2的每一列C2进行承诺建立一个默克尔树,然后再对于每一个列形成的默克尔树树根建立另一个默克尔树,作为最终的承诺。

在取值证明的计算中,需要证明两点,一是近似性,二是一致性。近似性保证了承诺的矩阵确实和编码后的一个码字足够接近。一致性保证y=<w,r0?r1>。

DeFi 借贷协议 Sentiment 完成 240 万美元种子轮融资,Archetype Ventures 领投:9月10日消息,DeFi 借贷协议 Sentiment 宣布完成 240 万美元种子轮融资,Archetype Ventures 领投,参投方包括 Castle Island Ventures、Matrixport Ventures 等。

Sentiment 允许借款人针对其资产创建杠杆债务头寸,这些头寸可用于与整个生态系统中的其他应用程序进行交互。贷方为协议提供流动性。[2022/9/10 13:20:58]

近似性检验:近似性检验由两步组成。首先,验证者发送一个随机向量0给证明者,证明者计算Y0与C1的内积,也就是以Y0的分量为系数对C1的行计算线性组合。由于线性码的性质,Cy0是Yy0的码字。之后,证明者证明Cy0确实是从被承诺的码字计算出的。为了证明这一点,验证者随机选取t列,证明者打开对应的列并提供默克尔树证明。验证者检查这些列和Y0的内积和Cy0当中对应位置相等。当中证明如果使用的线性码有常数的相对距离,那么被承诺的矩阵就以压倒性的概率与一个码字接近。

一致性检验:一致性检验和近似性检验的流程完全类似。不同之处在于,不使用随机向量Y0而是直接使用r0来完成线性组合的部分。类似的,c1也是消息y1的一个线性码,并且有

?(x)=<y1,r1>。当中证明,通过一致性检验,如果被承诺的矩阵与一个码字接近,则以压倒性概率成立y=?(x)。

以伪代码形式,我们给出Brakedown协议的流程:

Publicinput:TheevaluationpointX,parsedasatensorproductX=r0?r1;

Privateinput:Thepolynomial?,thecoefficientofisdenotedbyw.

LetCbethe-limearcode,EC:FkFnbetheencodingfunction,N=k×k.IfNisnotaperfectsquare,wecanpadittothenextperfectsquare.Weuseapythonstylenotationmattoselectthei-thcolumnofamatrixmat。

functionPC.Commit(?):

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

fori∈do

ComputetheMerkletreerootRoott=Merkle.Commit(C2)

ComputeaMerkletreerootR=Merkle.Commit(),andoutputRasthecommitment.

functionPC.Prover(?,X,R)

TheproverreceivesarandomvectorY0∈Fkfromtheverifier

Proximity

Consistency

ProversendsC1,y1,C0,y0totheverifier.

Verifierrandomlysamplestasanarray?andsendittoprover

foridx∈?do

ProversendsC1andtheMerkletreeproofofRootidxforC2underRtoverifier

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

Proximity:?idx∈?,CY0==<Y0,C1>andEC(Yy0)==CY0

Consistency:?idx∈?,C1==<Y0,C1>andEC(Y1)==C1

y==<r1,y1>

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

Outputacceptifallconditionsaboveholds.Otherwiseoutputreject.

结语:多项式承诺是一类非常重要的密码学协议,被广泛的应用在许多密码学系统当中,尤其是零知识证明系统。本文详细介绍了多项式承诺Brakedown协议以及和其相关的数学知识,作为FOAKS很重要的底层组件,Brakedown对FOAKS的实例化性能的提升起到了重要作用。

参考文献

:AlexanderGolovnev,JonathanLee,SrinathSetty,JustinThaler,andRiadS.Wahby.Brakedown:Linear-timeandpost-quantumsnarksforr1cs.CryptologyePrintArchive.https://ia.cr/2021/1043.

:XieT,ZhangY,SongD.Orion:Zeroknowledgeproofwithlinearprovertime//AdvancesinCryptology–CRYPTO2022:42ndAnnualInternationalCryptologyConference,CRYPTO2022,SantaBarbara,CA,USA,August15–18,2022,Proceedings,PartIV.Cham:SpringerNatureSwitzerland,2022:299-328.https://eprint.iacr.org/2022/1010

:Bootle,Jonathan,AlessandroChiesa,andJensGroth."Linear-timeargumentswithsublinearverificationfromtensorcodes."TheoryofCryptography:18thInternationalConference,TCC2020,Durham,NC,USA,November16–19,2020,Proceedings,PartII18.SpringerInternationalPublishing,2020.

JustinThalerfromA16zcrypto,MeasuringSNARKperformance:Frontends,backends,andthefuturehttps://a16zcrypto.com/measuring-snark-performance-frontends-backends-and-the-future/

张量积的介绍:https://blog.csdn.net/chenxy_bwave/article/details/127288938

标签:THEANDPROIONVEATHENA币ethicalstandardsfarmlandprotocolnation币价格

币安app官方下载最新版热门资讯
SIG:SignalPlus每日晨报(20230217)-ODAILY_Signal Token

各位朋友,欢迎来到SignalPlus每日晨报。SignalPlus晨报每天为各位更新宏观市场信息,并分享我们对宏观趋势的观察和看法。欢迎追踪订阅,与我们一起关注最新的市场动态.

1900/1/1 0:00:00
区块链:为实体经济服务,三星将使用区块链进行货品全球追踪_Consensus Cell Network

4月16日,据彭博社消息,三星或将使用区块链技术管理其全球供应网络。三星集团SDS的区块链首席执行官SongKwang-woo表示,三星电子目前正在考虑使用区块链账务系统对其每年销售的数百亿美元.

1900/1/1 0:00:00
ORD:操作指南:24个比特币生态项目和工具全盘点_比特币

自Ordinals协议将BTCNFT带火之后,BRC-20又成为了用户、CEX争抢布局的新赛道。这些新协议的出现让一向「古板」的比特币链又重新焕发生机.

1900/1/1 0:00:00
TRX:关于JustLend DAO上线测试网的公告-ODAILY_L-Dimension

据官方消息,JustLendDAO测试网已正式上线,地址:https://nile.justlend.org/。用户可以通过测试网提前体验TRX流动性质押与能量租赁功能.

1900/1/1 0:00:00
亦来云:亦来云陈榕:区块链世界的操作系统将不超过5个_亦来云币实时价

编者按:本文来自链捕手(ID:iqklbs),作者:王彦植编辑:潘宇波星球日报经授权转载。亦来云创始人陈榕:他从1984年开始做操作系统,曾在美国伊利诺伊大学研究了七年操作系统,后在微软总部工作.

1900/1/1 0:00:00
IDO:IDO&IEO:盘点即将上线的7个热门项目(5月第一弹)_tps币圈

昨晚SUI上线各大交易平台,其中Binance最高价格2USDT,较公募价最高上涨1900%。本周,Odaily星球日报甄选了近期即将在多个平台首发的7个项目名单,并分别做简要介绍,其中包括即将.

1900/1/1 0:00:00