POL: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校验基础参数

美国国税局：一旦质押用户收到奖励代币，该奖励就应纳税:金色财经报道，根据美国国税局的最新税务指南，在权益证明网络上进行验证活动而获得奖励的加密投资者一旦获得奖励代币，该质押奖励就应纳税。根据文件，该价值应在美国纳税人获得代币控制权的那一刻起计算。指南称：“收到的验证奖励的公平市场价值包含在纳税人获得对验证奖励的支配和控制权的纳税年度的纳税人总收入中”。

该机构表示，如果“纳税人因验证而获得额外单位的加密货币作为奖励”，则该规则也适用于通过加密交易所质押代币的投资者。[2023/8/1 16:10:16]

2.2校验assertion有效(boundarycs)

2.3校验Trace满足transitioncs

Transcript

3.Commitfortrace

域参数选取：

3.1Interpolate->LDE->evaluateoverLDE-domain

世界经济论坛为政府、行业发布加密资产监管建议:金色财经报道，世界经济论坛在其数字货币治理联盟的协助下发布了一份关于加密资产监管的白皮书。该论文认为，全球协调对于加密资产监管来说是必要的，以防止歧义、监管仲裁和不一致的执法。白皮书指出了加密资产监管面临的一系列挑战，包括相同活动，相同监管的假设，声称，加密资产及其生态系统并不总是完全适合现有的基于活动、以中介为中心的监管方法，即使加密资产活动反映了传统金融部门的活动。

白皮书分别向国际组织、监管机构和加密行业提出了三项广泛的建议。政策制定者和行业利益相关者需要跨辖区合作，以确保一致性和清晰度，随着这些新技术更加透明，可以想象出更好的监管工具来解决跨境问题。[2023/5/27 9:45:08]

3.2Commitment

Tracescript

4.EvaluateCS

4.1获取线性组合系数

BTC最后活跃3-5年的供应量创两年新低:金色财经报道，据Glassnode数据显示，BTC最后活跃3-5年的供应量刚刚达到2,133,360.444BTC，创两年新低。[2023/2/6 11:48:56]

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

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

5.2commitmenttocompositionpoly

Uniswap基金会：Uniswap资助计划在18个月的时间里资助了700万美元:金色财经报道，Uniswap基金会发文表示，Uniswap资助计划于2021年启动，在 18 个月的时间里向 122 名受助人资助了 700 万美元。自 Uniswap 基金会于 2022 年 8 月成立以来，Grants 团队已通过两?波赠款发放了 33 笔赠款，总额约为 270 万美元。?

此外，Uniswap基金会宣布2023年第一季度要做的三件事：

1.启动一个网站，该网站将分享 Grants 流程和资助标准，以及我们对基金会投资的每个类别的策略。我们的目标是建立一个明确的地方来了解 Grants 计划，并提供更多的清晰度和透明度。?

2.在网站上展示以前的受赠工具，以便社区可以了解和使用它们。

3.启动新的融资计划，提供不同的融资渠道，同时为 Uniswap 社区提供更多战略价值。[2023/1/7 10:59:29]

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)

链游元宇宙项目Alien Worlds宣布成立The Syndicates DAO:10月24日消息，链游元宇宙项目外星世界（Alien Worlds）宣布成立辛迪加 DAO（The Syndicates DAO）。行星 DAO 将向探索者开放，以候选人身份参与运营、投票并选举成为监护领导者（Custodian），监护者将负责确保辛迪加国库得到妥善管理，并对辛迪加成员负责。[2022/10/24 16:37:22]

4.CheckLDTforq_q(x)

6.1selectzwhichoutofdomain(ood)

drawanout-of-domainpointz.DependingonthetypeofE,thepointisdrawneitherfromthebasefieldorfromanextensionfielddefinedbyE.

Thepurposeofsamplingfromtheextensionfieldhere(insteadofthebasefield)istoincreasesecurity.

6.2evaluatetraceandconstraintpolynomialsattheOODpointz

6.2.1trace_polyatz&z*g