TRA:Sin7y团队解读：STARK - 深度解析

作者：

时间：1900/1/1 0:00:00

作为不需要可信设置的零知识证明算法代表之一，STARK算法被应用于StarkNet生态的各个项目中，比如dydx,immutableX等，并表现出了不俗的性能。本文将主要从代码层面剖析STARK算法的实现过程，帮助大家对STARK算法有更深入的理解。

Step1.Buildtrace

标红部分为Publicinfo

Step2.ProverforTrace

协议参数选取：

1.AIR实例化

2.验证AIR和Trace的一致性

2.1校验基础参数

Web3游戏Abyss World与微软投资的SpaceandTime合作:4月20日消息，Abyss World开发商Metagame Industries宣布与微软投资的领先去中心化数据仓储平台Spaceand Time达成合作，将共同创建了Web3游戏的新标准。通过与SpaceandTime合作，Abyss World旨在为玩家提供更去中心化且高效的游戏体验，树立新的Web3游戏典范。借助分布式和安全的数据存储方式，游戏将拥有无限的发展潜力，并为玩家带来更加透明、可信赖的游戏体验。此外，Abyss World运用人工智能推动游戏各个方面的创新，从NPC行为到游戏的BvB（BotvsBot）环节——深渊角斗场。为确保游戏结果的公平性，Spaceand Time独特的架构允许将与游戏中英雄角色相关的元数据的AI算法分布式存储，实现游戏核心的完全去中心化，确保AI模型的可验证性，并让英雄角色不断成长。

据了解，Abyss World将在近期与Magic Eden和Sui上领先的NFT平台举行一轮NFT免费铸造活动，持有者可通过直播观看AI驱动的BvB竞技场（AI对战）并对比赛结果进行竞猜以获取奖励。[2023/4/20 14:15:45]

2.2校验assertion有效(boundarycs)

2.3校验Trace满足transitioncs

Transcript

比特币闪电网络通道数量为76,480个:金色财经报道，1ML数据显示，当前比特币闪电网络节点为16,241个，过去30天增加1.15%;通道数量为76,480个，较一个月前增加了0.6%;网络容量为5,403.20枚BTC，月涨3%。[2023/2/25 12:28:32]

3.Commitfortrace

域参数选取：

3.1Interpolate->LDE->evaluateoverLDE-domain

3.2Commitment

Tracescript

4.EvaluateCS

4.1获取线性组合系数

HyperPay公布后续路线图规划并发售Web5数字银行通证HW5:据官方消息，HyperPay钱包完成了之前的白皮书规划，并制订了新的发展路线图，HyperPay希望建立超级金融支付网络，融合Web2和Web3的优势，成为基于Web5的数字银行。在此节点，HyperPay也向市场推出首个Web5数字银行通证HW5。

HW5是HyperPay生态系统的支柱，HW5采用PoP（Proof of Participation）挖矿模式，即用户通过参与HyperPay钱包业务进行挖矿。包括HyperCard消费、充值、用户理财、借贷、交易等诸多用户行为。[2022/11/30 21:11:25]

系数个数和约束的个数一致

在本例中，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

数字资产管理平台Safe推出SafeDAO和Safe Token:9月29日消息，数字资产管理平台Safe（前Gnosis Safe）宣布推出SafeDAO和Safe Token。超过43000名合格的Safe用户现在可以领取Safe代币，他们将作为利益相关者，把投票委托给特定的DAO成员，即DAO的“监护人”。据此前消息，Safe于上个月在论坛中公布了SAFE Token的经济模型，总量为10亿枚。上个月Safe已向数千个钱包空投了5000万枚代币。(decrypt)[2022/9/29 5:59:38]

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多项式

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)

“FTX崩盘事件”主题纪录片已于巴哈马开机启拍，奥斯卡提名导演David Darg执导:11月18日消息，知名纪录片工作室XTR将推出以“FTX崩盘事件”和“SBF”为主题的相关纪录片，该片由艾美奖得主、奥斯卡提名导演David Darg（大卫·达格）担任导演，目前相关制作组已抵达巴哈马开展拍摄工作。

XTR执行制片人Justin Lacob表示：FTX的崩盘是近期最为轰动的金融故事，它暴露了加密货币领域的主要缺陷。我们的团队已获得独家访问权，将深入了解这个已经让汤姆·布雷迪等名人陷入困境的突发事件。（Variety）[2022/11/18 13:21:46]

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