STARK深度解析-ODAILY_POL:STA

Step1.Buildtrace

标红部分为Publicinfo

Step2.ProverforTrace

协议参数选取:

1.AIR实例化

2.验证AIR和Trace的一致性

2.1校验基础参数

2.2校验assertion有效(boundarycs)

Starknet生态衍生品协议ZKX新测试网Polaris:4月25日消息,基于 Starknet 的去中心化衍生品交易协议 ZKX 宣布发布新版测试网 Polaris,该版本添加了一个做市机器人来加快订单执行,并添加资金费率功能来维护平台稳定性。[2023/4/25 14:25:45]

2.3校验Trace满足transitioncs

Transcript

3.Commitfortrace

域参数选取:

3.1Interpolate->LDE->evaluateoverLDE-domain

3.2Commitment

Arbitrum稳定币协议Vesta提案讨论将ARB作为抵押品:3月21日消息,Arbitrum 上稳定币协议 Vesta 的核心团队提议添加 ARB 作为抵押品,清算比率 150%,债务上限初始设置为 50 万枚,清算罚款比例为 15%。

据悉,目前对应提案已上线,将进行持续三天的讨论和民意调查,于 2023 年 3 月 24 日 12:00 结束,之后将开始在 Snapshot 进行官方治理投票。[2023/3/21 13:17:31]

Tracescript

4.EvaluateCS

4.1获取线性组合系数

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

在本例中,transitioncs2个;boundarycs3个

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

4.2.1t-cs

4.2.2b-cs

基金AU21 Capital成为Polkastarter理事会新成员:据官方消息,AU21 Capital成为Polkastarter理事会新成员,该基金参与Polkadot生态系统的成长。[2021/2/23 17:43:41]

4.3Evaluatet/s-csoverce_domain

4.3.1定义evaluatortable

5CommitmenttoEvaluateCS

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

Blockstack将向Stacks基金会移交STX代币:金色财经报道,Blockstack PBC今天向美国证券交易委员会(SEC)提交了一份通知,解释了其计划通过将1亿STX代币交给管理该网络的非营利组织Stacks基金会实现网络的去中心化。这是Blockstack在2019年通过SEC认证的ICO筹集的全部资金。[2020/8/11]

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)

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

4.CheckLDTforq_q(x)

6.1selectzwhichoutofdomain(ood)

drawanout-of-domainpointz.DependingonthetypeofE,thepointisdrawneitherfromthebasefieldorfromanextensionfielddefinedbyE.

动态 | InstaDApp筹集240万美元用于构建智能钱包:10月1日,总部位于印度的DeFi项目InstaDApp宣布已筹集240万美元,用于构建其智能钱包,旨在帮助用户通过其DeFi门户执行交易。该轮融资由Pantera Capital牵头,还包括众多著名投资者,即Naval Ravikant、Balaji Srinivasan、Coinbase Ventures、IDEO Colab、Robot Ventures和Kyber Network的Loi Luu。(CoinDesk)[2019/10/2]

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|Twitter|Telegram|Medium|Mirror|HackMD|HackerNoon

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

水星链

[0:15ms0-1:578ms