作为不需要可信设置的零知识证明算法代表之一，STARK算法被应用于StarkNet生态的各个项目中，比如dydx,immutableX等，并表现出了不俗的性能。本文将主要从代码层面剖析STARK算法的实现过程，帮助大家对STARK算法有更深入的理解。
Step1.Buildtrace
标红部分为Publicinfo
Step2.ProverforTrace
协议参数选取：
1.AIR实例化
2.验证AIR和Trace的一致性
2.1校验基础参数
波卡Polkadot正进行第121号公投，拟启用新治理系统OpenGov:5月19日消息，波卡Polkadot第121号公投正在进行，提议将Polkadot网络升级到runtime v9420，该提案包括将下一代治理系统OpenGov纳入Polkadot。OpenGov取消了理事会和技术委员会，并在维护安全性的同时创建了一个更加民主和开放的链上治理流程。这不会立即删除传统的Gov1流程。两者将串联运行，直到另一个治理决定删除Gov1。[2023/5/19 15:13:50]
2.2校验assertion有效(boundarycs)
2.3校验Trace满足transitioncs
Transcript
3.Commitfortrace
域参数选取：
3.1Interpolate->LDE->evaluateoverLDE-domain
Digital Asset Research支持Eurex的比特币指数期货:金色财经报道，加密市场数据提供商Digital Asset Research(DAR)今天宣布，DAR的交易所审查方法和DAR定价将为Eurex新的比特币指数期货提供机构级支撑。Eurex比特币期货提供了在受监管的市场上可信的加密货币访问。
富时比特币指数(FTSE Bitcoin Index)是欧洲期货交易所(Eurex)比特币指数期货的基础，反映了由富时DAR参考价格(FTSE DAR Reference price)决定的比特币结算价格。[2023/4/18 14:09:28]
3.2Commitment
Tracescript
4.EvaluateCS
4.1获取线性组合系数
系数个数和约束的个数一致
在本例中，transitioncs2个；boundarycs3个
STX上涨触及0.8USDT，24H涨幅71.54%:2月20日消息，行情显示，STX上涨触及0.8USDT，现报0.7USDT，24H涨幅71.54%。[2023/2/20 12:17:09]
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
5.2commitmenttocompositionpoly
Example:
Compose_poly=a*x^3+b*x^2+c*x+d=(a*x^2+c)*x^+(b*x^2+d)
欧洲区块链银行Bank Frick为客户推出数字资产质押服务:金色财经报道，欧洲区块链银行Bank Frick为客户推出数字资产质押服务。Bank Frick 区块链银行业务高级关系经理 Jonas Gantenbein 表示，质押涉及将一定数量的数字资产作为证券持有，以验证区块链网络中的交易。因此，质押通过提供更多验证器来验证交易并保证网络的完整性，有助于区块链网络的安全性。Bank Frick保持对委托加密货币的完全控制，所有质押活动都是自我托管（非托管）的，这意味着Bank Frick保持对委托加密货币的唯一和完全控制。[2023/2/15 12:08:48]
(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.
Web3电子学习平台JetLearn收购K-12黑客松组织SchoolHacks:12月9日消息，Web3电子学习平台JetLearn宣布收购K-12黑客松组织SchoolHacks，具体收购金额暂未披露。
据悉，SchoolHacks总部位于硅谷，专门组织学龄学生设计的黑客马拉松，本次收购或将JetLearn面向中小学学龄儿童的Web3在线学院与SchoolHacks联系起来。[2022/12/9 21:33:04]
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
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。