作为不需要可信设置的零知识证明算法代表之一，STARK算法被应用于StarkNet生态的各个项目中，比如dydx,immutableX等，并表现出了不俗的性能。本文将主要从代码层面剖析STARK算法的实现过程，帮助大家对STARK算法有更深入的理解。
Step1.Buildtrace
标红部分为Publicinfo
Step2.ProverforTrace
协议参数选取：
1.AIR实例化
2.验证AIR和Trace的一致性
2.1校验基础参数
640,000,000 DOGE发生转移:金色财经报道，据Whale Alert监测显示，北京时间约00:06，640,000,000 DOGE (价值约46,506,098美元) 从未知钱包转移到未知钱包。[2023/6/5 21:15:42]
2.2校验assertion有效(boundarycs)
2.3校验Trace满足transitioncs
Transcript
3.Commitfortrace
域参数选取：
3.1Interpolate->LDE->evaluateoverLDE-domain
Aptos生态DeFi协议Thala公布Token发行细节:3月26日消息，据官方消息，Aptos生态DeFi协议Thala公布其治理Token THL的发行细节。THL将于美国东部时间3月31日晚上7点和美国东部时间4月5日晚上7点之间通过LBP池发布。
此次发布将持续五天，THL总量的至多7%（700万枚）将分配给社区。LBP将与LayerZero Circle（zUSDC）组成交易对，初始权重为98:2（THL/zUSDC），最终权重为30:70（THL/zUSDC）。
此次筹集的所有收益将存至Thala的MomentumSafe多重签名的国库地址中。Thala承诺将高达50%的收益用于直接协议运营。这包括核心流动性对的播种流动性、用于支持金库和现实世界资产的潜在坏账的保险基金，以及用于确保最大协议安全性的漏洞赏金。其余部分将根据DAO治理的酌情权进行适当预算，以支付贡献者工资、审计成本、法律费用和其他杂项运营成本。[2023/3/26 13:27:05]
3.2Commitment
Tracescript
4.EvaluateCS
4.1获取线性组合系数
50,000,000枚USDT从Bitfinex转移到未知钱包:金色财经报道，Whale Alert监测数据显示，50,000,000枚USDT从Bitfinex转移到未知钱包。[2022/11/25 12:42:07]
系数个数和约束的个数一致
在本例中，transitioncs2个；boundarycs3个
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
5.1建立constraintscompositionpolynomial
Victory Capital增持Coinbase股份:8月8日消息，知名资产管理公司Victory Capital Management Inc.已经额外购买了Coinbase Global Inc. 8944股（增加10.7%），目前已持有92,640 股Coinbase股票。根据相关财报数据显示，Victory Capital Management Inc. 持有的Coinbase Global股份价值达到10,441,000 美元。（eftdailynews ）[2022/8/8 12:10:32]
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)
3.calculateDeep_composition=(q(x)-q(z))/(x-z)
4.CheckLDTforq_q(x)
6.1selectzwhichoutofdomain(ood)
drawanout-of-domainpointz.DependingonthetypeofE,thepointisdrawneitherfromthebasefieldorfromanextensionfielddefinedbyE.
麦肯锡：2022年已有1200亿美元投资于元宇宙:金色财经报道，根据麦肯锡最新发布《虚拟世界中的价值创造》报告显示，2022年，全球对元宇宙垂直领域的兴趣激增，几乎每周都有Web3投资新闻和新的NFT产品线推出，截至目前已有超过1200亿美元投资于元宇宙，是2021年570亿美元投资额的两倍多。在相关投资中，投资者主要分为3类，分别是：大型科技公司（比如Meta、微软、英伟达、苹果和谷歌）、风险投资公司（Paradigam、Coatue、Yuga Labs等）、以及企业和品牌商。(itnews)[2022/7/6 1:53:40]
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
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。