作为不需要可信设置的零知识证明算法代表之一，STARK算法被应用于StarkNet生态的各个项目中，比如dydx,immutableX等，并表现出了不俗的性能。本文将主要从代码层面剖析STARK算法的实现过程，帮助大家对STARK算法有更深入的理解。
Step1.Buildtrace
标红部分为Publicinfo
Step2.ProverforTrace
协议参数选取：
1.AIR实例化
2.验证AIR和Trace的一致性
2.1校验基础参数
2.2校验assertion有效(boundarycs)
Vtrading与新火科技旗下MPC自托管平台Sinohope达成合作:5月17日消息，新火科技旗下MPC自托管平台Sinohope宣布正式与数字资产AI量化服务平台Vtrading达成合作协议，双方将围绕虚拟资产安全及合规托管技术进行深度沟通与密切合作。
作为新火科技新近推出的重点产品，Sinohope平台通过采用 MPC-CMP 技术支持用户分布式管理私钥分片与协同签名解决私钥单点风险，有效增加透明性和易用性。
Vtrading数字资产AI量化服务平台致力以丰富量化策略满足用户多元化需求，一键API授权即可开启量化交易。[2023/5/17 15:09:02]
2.3校验Trace满足transitioncs
Transcript
3.Commitfortrace
域参数选取：
前FTX工程总监Nishad Singh对美国刑事指控认罪:金色财经报道，据路透社发文称，前FTX工程总监Nishad Singh对美国刑事指控认罪。此前消息，Alameda首席执行官Caroline Ellison和FTX首席技术官Gary Wang分别承认了七项和四项刑事指控。[2023/3/1 12:34:58]
3.1Interpolate->LDE->evaluateoverLDE-domain
3.2Commitment
Tracescript
4.EvaluateCS
4.1获取线性组合系数
系数个数和约束的个数一致
在本例中，transitioncs2个；boundarycs3个
4.2为t-cs和b-cs构建evaluator
Singular.Farm将扩展至Avalanche网络并推出AVAX农场:Singular.Farm宣布将在Avalanche网络上发布。AVAX农场将于UTC时间9月15日14点（北京时间）推出。据悉，Singular.Farm是多链去中心化战略收益农场，目前支持币安智能链（BSC）、Fantom、OKChain、Polygon等区块链。[2021/9/12 23:18:47]
4.2.1t-cs
4.2.2b-cs
4.3Evaluatet/s-csoverce_domain
4.3.1定义evaluatortable
5CommitmenttoEvaluateCS
5.1建立constraintscompositionpolynomial
中环球船务（SINO.US）宣布接受比特币支付:3月2日，中环球船务（SINO.US）宣布，公司将接受比特币作为其全球航运、货运和物流服务的支付方式。用比特币支付的款项将按照付款日适用的利率支付。
公司首席执行官LeiCao先生评论道：我们很高兴开始接受比特币作为支付方式。中环球船务正在适应数字货币行业的趋势，为我们的客户提供多种支付方式的选择。接受比特币将使我们的客户和商业伙伴能够利用日益重要的支付网络。（新浪财经）[2021/3/3 18:11:29]
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)
动态 | IBM区块链高管Gari Singh出任私募股权房地产公司顾问:据美通社消息，总部位于波士顿的私募股权房地产公司Muirfield Investment Partners宣布区块链专家兼IBM Blockchain首席技术官Gari Singh已加入该公司担任顾问。Gari Singh此前负责IBM的核心区块链平台以及IBM的区块链服务产品。[2018/9/11]
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
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。