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

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

Step1.Buildtrace

标红部分为Publicinfo

Step2.ProverforTrace

协议参数选取：

1.AIR实例化

2.验证AIR和Trace的一致性

2.1校验基础参数

沉寂超8年的比特币地址被激活并转移了100枚BTC:金色财经报道，数据显示，北京时间3月30日13时45分，一个沉寂长达8年的比特币地址被激活，共有100枚BTC转移至新地址(bc1qyq6s5hmn9jqqz8pyqzw68lxf9ukf5g6zpvzgwk0lglahyp4g4cfspvzfdg)。[2023/3/30 13:34:58]

2.2校验assertion有效(boundarycs)

2.3校验Trace满足transitioncs

Transcript

3.Commitfortrace

域参数选取：

3.1Interpolate->LDE->evaluateoverLDE-domain

Arbitrum一开发者疑似被黑 在Discord社区发布钓鱼链接:金色财经报道，Hideout NFT创始人Wickd NFT发推特提醒，Arbitrum的一名开发者疑似被黑，在Discord社区发布钓鱼链接。[2023/3/25 13:26:04]

3.2Commitment

Tracescript

4.EvaluateCS

4.1获取线性组合系数

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

在本例中，transitioncs2个；boundarycs3个

4.2为t-cs和b-cs构建evaluator

4.2.1t-cs

4.2.2b-cs

HAY发行商Helio：将于12月6日前完成多余HAY回购销毁:12月5日消息，BSC生态稳定币项目Helio Protocol在社交平台发文表示，预计将于12月6日前完成多余HAY的回购销毁。Helio Protocol表示，协议将用当前以及未来的收入来弥补坏账。此外，还将及时提供销毁地址。[2022/12/5 21:22:38]

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)

(a*x^2+c),(b*x^2+d)分别对应两个column

6.建立DEEPcomposition多项式

Thegeneralformal:f(x)=q(x)*t(x)

Ankr攻击者创建Fuck BNB Token并为其建立流动性池:12月2日，据Etherscan信息，Ankr攻击者创建Fuck BNB Token，并提供15枚ETH在Uniswap V2上为其建立流动性池。[2022/12/2 21:17:21]

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.

Thepurposeofsamplingfromtheextensionfieldhere(insteadofthebasefield)istoincreasesecurity.

6.2evaluatetraceandconstraintpolynomialsattheOODpointz

6.2.1trace_polyatz&z*g

哔哩哔哩海外授权发布的Cheers UP NFT项目将支持Pass权益:5月27日消息，哔哩哔哩bilibili海外授权发布的Cheers UP NFT项目将支持Pass权益，持有者可在B站海外版App中对外展示持有的其他NFT，获得流量曝光以及探索新的玩法。

此外，该项目还将支持酿造功能，酿造状态下将累计总酿造、单次酿造时间作为积分，积累一定积分后可以兑换权益，该功能预计在6月内上线。[2022/5/27 3:46:01]

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

来源：金色财经

标签：TRAIONPOLOLYNeverend Ecentralization Could ExangeSubscriptionspolkadotstingrayPolyswap

ETH热门资讯