Step1.Buildtrace
标红部分为Publicinfo
Step2.ProverforTrace
协议参数选取：
1.AIR实例化
2.验证AIR和Trace的一致性
2.1校验基础参数
2.2校验assertion有效(boundarycs)
分析：DOGE最大匿名持有者“Robinhood”或是马斯克:11月3日消息，据链上分析师披露，狗狗币DOGE最大匿名持有者“Robinhood”或是Elon Musk本人，该地址在2022年7月19至21日的三天时间里从5个地址收到了总计410亿枚DOGE，而这5个地址中的DOGE主要来自于另一个地址：DH5yaieqoZN36fDVciNyRueRGvGLR3mr7L，该地址曾被认为就是Elon Musk的地址。
分析称，Elon Musk在2021年2月10日发推称为儿子购买了DOGE，巧合的是“DH5ya”地址在2月10日那天也在积累DOGE。2021年4月28日，Elon Musk在社交媒体发文自称已经成为“The Dogfather”，而当日“DH5ya”地址因持有367.1亿枚DOGE（占总供应量28%）成为了最大持有者。有趣的是，该地址在2021年Elon Musk生日的时候收到了3次28.061971枚DOGE，而Elon Musk的出生日期就是1971年6月28日，因此推测该地址实际持有者或是Elon Musk。[2022/11/4 12:14:59]
2.3校验Trace满足transitioncs
Transcript
分析 | Research and Markets：美国区块链支出将在2025年增至410亿美元:据cointelegraph报道，根据市场和研究数据平台Research and Markets发布的名为“美国区块链商业机会和展望数据手册系列（2016-2025）”的新报告，美国区块链支出的复合年增长率（CAGR）将达到44.5％，美国区块链支出将从31.2亿美元增加到410亿美元。[2019/3/26]
3.Commitfortrace
域参数选取：
3.1Interpolate->LDE->evaluateoverLDE-domain
3.2Commitment
Tracescript
分析 | 10月19日BTC持仓数据:金色独家分析：截止北京时间10月19日9:36，我们统计了okex上面精英持仓数据，做多账户比例为58%，做空账户比例为39%；多头平均持仓为25.0%，空头平均持仓为21.5%。多头减少，空头不变，空头维持高水位，多空分歧依然较大。截止发稿，BTC1228合约价格为6336.98元；现货价格为6436.70美元，贴水99.72美元，贴水维持较高水位，远期维持看淡。建议投资者保理性投资，做好风险控制。（登录金色财经APP—发现，查看更多币种的独家点评。）[2018/10/19]
4.EvaluateCS
4.1获取线性组合系数
系数个数和约束的个数一致
在本例中，transitioncs2个；boundarycs3个
4.2为t-cs和b-cs构建evaluator
4.2.1t-cs
4.2.2b-cs
分析 | BTC已突破双底颈线 上涨幅度有望扩大:CoinDesk分析：BTC已经突破双底颈线，目前正在测试100日均线6743美元，上涨幅度极有可能会扩大至7070美元。[2018/9/21]
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
6.建立DEEPcomposition多项式
分析 | 金色盘面：BTC/USDT 止跌反弹:金色盘面综合分析：BTC/USDT突然发力，在2小时K线图突破MA36,如果得到确认，这里会有一个相对强的反弹趋势形成。[2018/8/7]
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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。