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

数据：自合并以来通过MEV-Boost分配的以太坊数量超10万枚:金色财经报道，MEV-Boost Dashboard显示，自合并以来通过Flashbots的最大提取价值（MEV）工具MEV-Boost分配的以太坊数量已超10万枚，价值1.62亿美元。Flashbots Dashboard数据显示，2023年以来，通过Flashbots打包的区块占比稳定在50%以上。

以太坊研究员和MEV-Boost Dashboard开发者Toni Wahrst?tte表示，Flashbots正在努力开源MEV-Boost背后的代码。（The Block）[2023/2/10 11:58:51]

2.2校验assertion有效(boundarycs)

2.3校验Trace满足transitioncs

Transcript

3.Commitfortrace

域参数选取：

瑞士宇舶表和村上隆推出彩虹宝石腕表NFT系列:2月3日消息，瑞士顶级腕表品牌宇舶表（Hublot）宣布与著名艺术家村上隆合作推出13款腕表，这些腕表将以配套NFT的方式出售。最新发布活动中仅展示了一款腕表及NFT，其他12款将于3月下旬亮相，配套NFT则将于今年四月上线宇舶表官网，每枚售价为5万瑞士法郎，购买NFT后有一年时间在OpenSea平台上交易，2024年4月时如果能收集所有12款NFT才有机会购买最稀有的彩虹版本NFT和配套腕表。

此外，本次发布的新款腕表发售对象仅为Hublot Classic Fusion Takashi Murakami NFT所有者，该NFT当前地板价为1.6ETH。[2023/2/3 11:45:58]

3.1Interpolate->LDE->evaluateoverLDE-domain

3.2Commitment

Tracescript

4.EvaluateCS

4.1获取线性组合系数

央行将于12月5日下调金融机构存款准备金率0.25个百分点:11月25日消息，中国人民银行决定于2022年12月5日降低金融机构存款准备金率0.25个百分点（不含已执行5%存款准备金率的金融机构）。本次下调后，金融机构加权平均存款准备金率约为7.8%。[2022/11/25 20:45:24]

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

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

国新办发布《携手构建网络空间命运共同体》白皮书：对区块链等新技术加强管理:11月7日消息，国新办今日发布《携手构建网络空间命运共同体》白皮书。白皮书介绍了新时代中国互联网发展和治理理念与实践，分享中国推动构建网络空间命运共同体的积极成果，展望网络空间国际合作前景。其中提到加强新技术新应用治理。不断完善适应人工智能、大数据、云计算等新技术新应用的制度规则，对区块链、算法推荐服务等加强管理，依法规制算法滥用、非法处理个人信息等行为，推动各类新技术新应用更好地服务社会、造福人民。[2022/11/7 12:27:40]

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)

4.CheckLDTforq_q(x)

6.1selectzwhichoutofdomain(ood)

drawanout-of-domainpointz.DependingonthetypeofE,thepointisdrawneitherfromthebasefieldorfromanextensionfielddefinedbyE.

法国电力公司子公司正运营超150个以太坊节点:10月13日消息，法国电力公司（EDF）子公司之一Exaion正在运营150多个以太坊节点，其中，为自己运营大约10个节点，代表其客户运营140多个节点。Exaion还为Polkadot、Cosmos、Avalanche和Tezos区块链验证另外150个节点。

此前报道，2019年5月16日，法国电力公司(EDF)正在与以太坊应用程序iExec合作进行一项新的测试。EDF是全球第五大电力公司，该公司在以太坊的去中心化应用程序（即Dapp) iExec上发布了一个可视化模拟器软件GPUSPH。EDF正试图确定以太坊是否可以给该模拟器增加好处，此前该模拟器通常在GPU上运行。（The Big Whale）[2022/10/13 14:26:04]

Thepurposeofsamplingfromtheextensionfieldhere(insteadofthebasefield)istoincreasesecurity.

6.2evaluatetraceandconstraintpolynomialsattheOODpointz

6.2.1trace_polyatz&z*g