作为不需要可信设置的零知识证明算法代表之一，STARK算法被应用于StarkNet生态的各个项目中，比如dydx,immutableX等，并表现出了不俗的性能。本文将主要从代码层面剖析STARK算法的实现过程，帮助大家对STARK算法有更深入的理解。
Step1.Buildtrace
标红部分为Publicinfo
Step2.ProverforTrace
协议参数选取：
1.AIR实例化
2.验证AIR和Trace的一致性
2.1校验基础参数
2.2校验assertion有效(boundarycs)
加密社区回应查理·芒格抨击加密货币：在他这个年龄无法理解新技术并不奇怪:12月3日消息，亿万富翁投资者查理·芒格 (Charlie Munger) 周五在Sohn Hearts and Minds会议上发表讲话，强调了他对加密货币的普遍厌恶及其在市场上造成的淘金热。他永远不会参与这个市场，并希望加密货币没有被发明。他表示赞同中国的加密禁令，认为这做出了正确的决定。
加密社区的许多人随后对芒格对比特币的最新评论做出了反应，许多人指出，在他这个年龄无法理解像比特币这样的新技术并不奇怪。Synthetix创始人Kain Warwick还强调，尽管芒格愿意通过卖好东西赚钱，但伯克希尔哈撒韦公司是可口可乐的最大股东，可口可乐被认为是“许多健康问题的重要贡献者”。加密和区块链播客系列The Crypto Corner的项目总监Jamil Hasan指出，芒格不投资加密不应该让这个行业感到困扰：“如果查理芒格不购买加密，我没关系。我敢肯定，查理也买了一些我不需要的东西。”（Cointelegraph）[2021/12/3 12:49:39]
2.3校验Trace满足transitioncs
Transcript
孙正义：比特币难以理解 但数字货币很有用:11月20日消息，软银集团总裁孙正义在纽约时报峰会上表示，比特币是“难以理解的”。孙正义表示其此前已经投资了2亿美元，这是他个人资产的1％。但自从投资比特币后，他称，看到比特币的价格每天每五分钟波动一次，这使他无法专注于自己的业务。而停止对比特币的投资，他“变得更好了”。他还表示，“我发现数字货币很有用，但我不知道它们是什么数字货币或它们产生于什么因素。”2019年4月消息，软银集团创始人孙正义在比特币上损失了1.3亿美元。（JP.Cointelegraph）[2020/11/20 21:28:21]
3.Commitfortrace
域参数选取：
3.1Interpolate->LDE->evaluateoverLDE-domain
3.2Commitment
Tracescript
声音 | 加密经济学家回击 Whiteblock：认为 EOS 不是区块链是不理解我们现在做的事:据 IMEOS 报道，加密经济学家 Ashe Oro 发推表示： Whiteblock 报告认为 “EOS 不是区块链” 是因为他们无法解释我们目前正在做的事 - 更迅速地出块，免费的交易。他的 FUD （恐惧、不确定、怀疑）令我感到欢乐。（相信）基于 EOS 我们将会再次获得自由。[2018/11/5]
4.EvaluateCS
4.1获取线性组合系数
系数个数和约束的个数一致
在本例中，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
动态 | 德国财政部：国家发布的数字货币存在“未被充分理解”风险:据Cointelegraph消息，德国联邦财政部（GFMF）认为央行发行的数字货币（CBDC）的概念风险太大。财政部在回应绿党议员Gerhard Schick表示，“到目前为止，没有令人信服的理由向德国和欧元区的广大用户发放数字中央银行资金，”。该部门认为，CBDC包含“一些尚未被充分了解的风险”[2018/7/7]
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多项式
KuCoin推出NFT ETF产品，以USDT计价:7月29日消息，加密货币交易所KuCoin以交易所交易基金(ETF)的形式向散户投资者提供顶级不可替代代币(NFT)的部分所有权，该ETF产品以USDT计价，并提供五个蓝筹NFT集合的部分所有权，例如Bored Ape Yacht Club(BAYC)。该产品通过与Fracton Protocol合作提供，该服务致力于将有价值的NFT分解为可替代的基于以太坊的ERC-20代币。
KuCoin的NFT基金中包含的每个ERC-20代币代表BAYC集合所有权的百万分之一，例如，用hiBAYC代币表示。KuCoin的“NFT ETF交易区”将首先列出5个NFT ETF，涵盖hiBAYC、hiPUNKS、hiSAND33、hiKODA和hiENS4作为基础资产。[2022/7/30 2:46:56]
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：Sin7y
Twitter：@Sin7y_Labs
Medium：Sin7y
Mirror：Sin7y
HackMD：Sin7y
HackerNoon：Sin7y
Email：contact@sin7y.org
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。