Sin7y团队解读:STARK - 深度解析_TRA:POLY

作为不需要可信设置的零知识证明算法代表之一,STARK算法被应用于StarkNet生态的各个项目中,比如dydx,immutableX等,并表现出了不俗的性能。本文将主要从代码层面剖析STARK算法的实现过程,帮助大家对STARK算法有更深入的理解。

Step1.Buildtrace

标红部分为Publicinfo

Step2.ProverforTrace

协议参数选取:

1.AIR实例化

2.验证AIR和Trace的一致性

2.1校验基础参数

中国移动:将与香港Web3.0协会在数据跨境流动、数据资产证券化等领域共同开展跨链数据业务:金色财经报道,中国移动香港公司近日宣布,中国移动已在福州新区完成闽港区块链“中移闽链”和“中移香港链”的跨境跨链流通测试。此次测试由中国移动研究院、香港公司和福建公司三家联合跨境完成,采用中国移动研究院自主研发的“中移链”跨链服务和跨链NFT智能合约技术方案。中国移动表示,未来将与福建实达集团、香港Web3.0协会在数据跨境流动、数据资产证券化等领域共同开展跨链数据业务。(人民网)[2023/6/27 22:03:16]

2.2校验assertion有效(boundarycs)

2.3校验Trace满足transitioncs

Transcript

3.Commitfortrace

域参数选取:

3.1Interpolate->LDE->evaluateoverLDE-domain

美联储梅斯特:需要进一步收紧政策以降低通胀:10月12日消息,美联储梅斯特周二发表讲话时称需要继续加息,在努力抗击几十年来最严重的通胀之际,美联储不能自满。梅斯特表示,鉴于当前的通胀水平,广泛的涉及面及其持久性,认为货币政策将需要变得更具限制性才能使通胀率可持续的下降到2%。在货币政策方面,美联储官员必须权衡收紧过多和收紧不足的风险,但目前更大的风险来自于收紧力度太小,这会导致高通胀持续并在经济中扎根。梅斯特称,尽管存在不确定性,官员们仍需要采取果断行动来控制物价,“谨慎并不意味着做得少”。(金十)[2022/10/12 10:31:43]

3.2Commitment

Tracescript

4.EvaluateCS

4.1获取线性组合系数

系数个数和约束的个数一致

在本例中,transitioncs2个;boundarycs3个

数据:名人单个NFT购买前5名总计花费近1000万美元:金色财经报道,根据blockchaincenter披露的名人NFT购买数据显示,购买的单个NFT花费金额最高的5个人,总花费金额已经达到了9,873,500美元,其中排名第一的是Gary Vaynerchuck,他花费了3,764,500 美元购买CryptoPunk #2140,其次是NFL球员Odell Beckham Jr 购买的CryptoPunk #3365,价格为 217万美元,美国说唱歌手 Snoop Dogg 以 210 万美元位居第三。贾斯汀·比伯以 130 万美元价格购买的 Bored Ape Yacht Club #3001排名第四,而内马尔则以 539,000 美元的价格购买了BAYC #5269,排名前五。[2022/9/24 7:17:36]

4.2为t-cs和b-cs构建evaluator

4.2.1t-cs

4.2.2b-cs

4.3Evaluatet/s-csoverce_domain

4.3.1定义evaluatortable

5CommitmenttoEvaluateCS

Northzone 推出10 亿欧元的新基金投资web3 初创公司:金色财经报道,根据今天的公告,总部位于伦敦的风险投资公司 Northzone 推出了 10 亿欧元的基金,着眼于投资加密和金融科技初创公司。

该基金此前曾支持过Klarna和Spotify等科技初创公司,以及Magic Labs、Gro Protocol和Sunscreen等web3公司。

Northzone合伙人温迪·肖·沙戴克(Wendy Xiao Shadeck)将web3描述为该公司的“核心部门”。[2022/9/13 13:26:00]

5.1建立constraintscompositionpolynomial

5.2commitmenttocompositionpoly

Example:

Compose_poly=a*x^3+b*x^2+c*x+d=(a*x^2+c)*x^+(b*x^2+d)

(a*x^2+c),(b*x^2+d)分别对应两个column

6.建立DEEPcomposition多项式

Thegeneralformal:f(x)=q(x)*t(x)

Needcheckatrandomz

1.f(z)=q(z)*t(z)

2.f(x),q(x),t(x)indeedequalrespectivelyf(z),q(z),t(z)

赵长鹏:Binance使用Reuters WorldCheck作为KYC工具:金色财经报道,Binance首席执行官赵长鹏在社交媒体称,Binance自2018年以来就一直使用汤森路透的Reuters WorldCheck作为“了解你的客户”KYC验证工具之一。[2022/7/11 2:05:49]

3.calculateDeep_composition=(q(x)-q(z))/(x-z)

4.CheckLDTforq_q(x)

6.1selectzwhichoutofdomain(ood)

drawanout-of-domainpointz.DependingonthetypeofE,thepointisdrawneitherfromthebasefieldorfromanextensionfielddefinedbyE.

Thepurposeofsamplingfromtheextensionfieldhere(insteadofthebasefield)istoincreasesecurity.

6.2evaluatetraceandconstraintpolynomialsattheOODpointz

6.2.1trace_polyatz&z*g

6.2.2compositionpolyatz

6.3建立Deepcompositonpolynomial

6.3.1产生随机数

6.3.2calquotientpoly

6.4evaluateDeepoverLDE

7.计算Deep的FRILayernum

8.确定query位置

从lde_domain中选取多个query的位置。

9.构建proof对象

9.1生成FRIproof

9.2querytracepolyatabovepositions

和上述类似

9.3queryconstraintpolyatabovepositions

和上述类似

9.4构建STARKPROOF

Step3.Verifyforproof

从?transcript中读取pub-info,用来获取相关的数据,以执行验证过程。

1.Oodconsistencycheck

验证章节5.2描述的数学关系的一致性。

2.实例化FRI-verifier对象

3.计算Deeppolyonquerypositions

计算方式和章节6.4相同

4.执行FRIVERIFY过程

关于我们

Sin7y成立于2021年,由顶尖的区块链开发者和密码学工程师组成。我们既是项目孵化器也是区块链技术研究团队,探索EVM、Layer2、跨链、隐私计算、自主支付解决方案等最重要和最前沿的技术。

微信公众号:Sin7y

GitHub:Sin7y

Twitter:@Sin7y_Labs

Medium:Sin7y

Mirror:Sin7y

HackMD:Sin7y

HackerNoon:Sin7y

Email:contact@sin7y.org

来源:金色财经

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

水星链

[0:0ms0-1:174ms