Step1.Buildtrace
标红部分为Publicinfo
Step2.ProverforTrace
协议参数选取：
1.AIR实例化
2.验证AIR和Trace的一致性
2.1校验基础参数
2.2校验assertion有效(boundarycs)
神鱼：中心化Staking机构需复审下私钥保管及有权限人员状态，制定紧急事件预案:金色财经报道，Cobo联合创始人兼CEO神鱼发推表示，伴随着上海升级的临近，对于机构，尤其是提供中心化staking的机构，需要reviewer下私钥保管方式及相关有权限的人员状态，检查下服务器日志，监控后续提现状态，制定紧急事件预案。[2023/4/9 13:52:56]
2.3校验Trace满足transitioncs
Transcript
3.Commitfortrace
域参数选取：
3.1Interpolate->LDE->evaluateoverLDE-domain
3.2Commitment
StarkNet桥接存储TVL突破3000枚ETH:11月13日消息，Dune数据显示，以太坊Layer 2扩容解决方案StarkNet跨链桥接存储总价值已突破3000枚ETH，截至目前为3,027 ETH（按照当前价格约合400万美元），参与桥接交易的用户量达到53,809个。StarkNet桥接存储总价值于10月27日突破2000枚，月增长率超100%。
其他L2跨链桥方面，当前 Arbitrum跨链桥接存储总价值为1,964,193 ETH、Optimism为429,642 ETH、zkSync为177,161 ETH。[2022/11/13 12:58:36]
Tracescript
4.EvaluateCS
4.1获取线性组合系数
系数个数和约束的个数一致
在本例中，transitioncs2个；boundarycs3个
4.2为t-cs和b-cs构建evaluator
Web3开源大学WTF Academy获得Starkware资助，将合作开发ZK和Cairo开源教程:11月5日，据官方消息，Web3开源大学WTF Academy获得以太坊二层扩容方案Starkware的资助，将合作开发ZK和Cairo的中英文开源教程，为以太坊和Layer2培养更多开发者。据介绍，WTF Academy是一个Web3开源学院，提供免费开源Web3技术教程，目前WTF Solidity极简教程已经更新50讲。据此前消息，WTF Academy发布习题测试和链上技能认证模块，并已开启公测。[2022/11/5 12:19:54]
4.2.1t-cs
4.2.2b-cs
4.3Evaluatet/s-csoverce_domain
4.3.1定义evaluatortable
5CommitmenttoEvaluateCS
5.1建立constraintscompositionpolynomial
BitGo集成Stacks，允许机构用户通过STX赚取比特币奖励:10月25日消息，从周一开始，BitGo将为机构级代币持有者提供通过Stacks代币（STX）赚取比特币奖励的能力。STX代币持有者可以通过一个名为Stacking的流程直接在他们的钱包中获得BTC奖励。与其他收益赚取的服务不同，通过Stacking产生的BTC奖励并不基于借贷拍卖，这意味着STX代币持有者不需要出借资金。相反，Stacks声称，收益直接来自其与比特币区块链相连的质押机制。STX代币持有者还将获得BitGo的保险、资产保护和投资组合管理解决方案。BitGo最近将其加密保险计划扩大了6亿美元，使受保的资产总价值超过7亿美元。（Cointelegraph）[2021/10/26 6:12:31]
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多项式
NFT STARS将拍卖著名音乐制作人Eva Shaw的独特NFT收藏:NFT STARS宣布将拍卖由加密爱好者、流行音乐制作人DJ Eva Shaw创建的独特NFT。据悉，Eva Shaw的每一个NFT都是她艺术视野的独特展示，本次推出的“Exploration”系列代表了她对密码创新、音乐和图形艺术的热爱和热情。（NewsBTC）[2021/7/2 0:22:55]
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.
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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。