Step1.Buildtrace
标红部分为Publicinfo
Step2.ProverforTrace
协议参数选取：
1.AIR实例化
2.验证AIR和Trace的一致性
2.1校验基础参数
2.2校验assertion有效(boundarycs)
亿万富翁Stanley Druckenmiller：对中央银行的不信任可能导致加密货币“复兴”:金色财经报道，亿万富翁Stanley Druckenmiller在 9 月 28 日投资者峰会上表示，如果由于收紧政策而导致大众对中央银行失去信任，加密货币可能会再次反弹，Druckenmiller 补充说，由于美联储面临遏制通胀和可能出现衰退的挑战，?目前的状况使得投资比特币 (?BTC ) 等资产具有挑战性。
Druckenmiller引用了英格兰银行最近决定暂停其紧缩政策以开始购买政府债券。他指出，如果其他银行效仿，加密货币可能是首选资产。?[2022/9/29 6:02:00]
2.3校验Trace满足transitioncs
Transcript
3.Commitfortrace
域参数选取：
3.1Interpolate->LDE->evaluateoverLDE-domain
Tech Mahindra与StaTwig合作推出疫苗追踪解决方案:7月5日消息，为解决影响COVID-19疫苗库存和过期的供应链问题，印度IT巨头Tech Mahindra宣布和区块链公司StaTwig合作，将在全球推出\"VaccineLedger \"解决方案。据悉，VaccineLedger专注于提高小瓶级别的疫苗供应链的透明度，旨在预测和预防库存过期、造假、质量控制和可用性等问题。通过与Tech Mahindra合作，StaTwig将利用该公司在资源规模和系统集成方面的专业知识，以支持该解决方案在全球的实施。（Cointelegraph）[2021/7/5 0:28:37]
3.2Commitment
Tracescript
4.EvaluateCS
4.1获取线性组合系数
系数个数和约束的个数一致
在本例中，transitioncs2个；boundarycs3个
4.2为t-cs和b-cs构建evaluator
4.2.1t-cs
YFII机池Vault正式上线ETH/WETH 策略，静态年化超过ETH2.0 Staking:根据YFII（DFI.Money）官网信息显示，YFII机池目前已经上线ETH / WETH挖矿策略，用户存入ETH或WETH即可自动赚取ETH / WETH利息，目前静态年化为26.71%，高于ETH 2.0白皮书中Staking的预期收益。[2020/9/14]
4.2.2b-cs
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
TokenBetter宣布开启TB矿业Staking 法币区持续被买空:据官方消息，7月21日，TokenBetter宣布将于14:00(UTC+8)正式开启TB矿业Staking，消息公布后，TokenBetter平台法币区持续被买空。
本次推出的TB挖矿机制具备多个亮点，如高回报率、挖矿满24小时即可获得收益、当天结算收益可自由变现等。[2020/7/21]
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.
Thepurposeofsamplingfromtheextensionfieldhere(insteadofthebasefield)istoincreasesecurity.
6.2evaluatetraceandconstraintpolynomialsattheOODpointz
6.2.1trace_polyatz&z*g
动态 | Postar公链生态交易平台正式发布最新版白皮书:官方消息讯，Postar公链生态交易平台于今日正式发布最新版白皮书，就Postar公链生态交易区及平台通证作用价值进行阐述，并首次进行公示。其公链生态交易区将遴选业内优质公链进行合作，并开放以其原生币作为价值锚定的专区，建立中心化交易与弱中心化交易结合的模式，给予用户丰富交易选择性及良好的资产交易交互体验，并为公有链市场价值赋能。平台通证则采用PoS挖矿分红机制，并将在Postar后续生态建设中发挥作用。[2019/2/14]
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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。