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

作者：

时间：

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

Step1.Buildtrace

标红部分为Publicinfo

Step2.ProverforTrace

协议参数选取：

1.AIR实例化

2.验证AIR和Trace的一致性

2.1校验基础参数

2.2校验assertion有效(boundarycs)

去中心化音乐平台Audius任命Shamal Ranasinghe为首席商务官:3月2日消息，去中心化音乐平台Audius任命Shamal Ranasinghe为首席商务官。Shamal Ranasinghe将监督公司与音乐行业的关系，在创新方面发挥主导作用，并开发报告、分析和其他工具，以帮助艺术家、唱片公司和权利人取得成功。

Ranasinghe多年来一直担任该公司的顾问，此前他曾担任Sirius XM/Pandora的高管，负责监督艺术家、唱片公司、权利人、经理和现场音乐合作伙伴的产品开发。（TheBlock）[2023/3/2 12:39:11]

2.3校验Trace满足transitioncs

Transcript

3.Commitfortrace

域参数选取：

3.1Interpolate->LDE->evaluateoverLDE-domain

成都链安：GYM Network 项目的GymSinglePool遭受攻击:6月8日消息，据成都链安安全舆情监控数据显示，GYM Network 项目的GymSinglePool遭受了攻击。因为_autoDeposit函数未转入抵押的代币，攻击者恶意调用了depositFromOtherContract函数记账，并凭空提取了GYM token，目前2000BNB已进了Tornado Cash，3000BNB存放在攻击账户中，价值70W美元的ETH转入了以太坊。[2022/6/8 4:10:43]

3.2Commitment

Tracescript

4.EvaluateCS

4.1获取线性组合系数

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

在本例中，transitioncs2个；boundarycs3个

FSInsight：BTC价格在今年可能达到20万美元，ETH或达到1.2万美元:2月7日消息，FSInsight在报告《后周期世界中的数字资产》中表示，比特币在去年第四季度末与股市的关联度越来越高，当面临央行收紧政策的前景时，比特币价格下跌。

FSInsight数字资产策略主管Sean Farrell在报告中写道，由于“传统市场资本进入市场”，比特币和更广泛的加密市场现在与科技股之间的相关性变得更加明显。比特币仍然是王者，比特币价格可能会在今年下半年达到200000美元。

FSInsight还表示，DeFi、NFT和其他Web 3应用推动了以太坊网络的大规模增长。报告称，以太坊相对于云平台被低估，2022年ETH价格可能达到12000美元。（CoinDesk）[2022/2/7 9:36:01]

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

4.2.1t-cs

4.2.2b-cs

4.3Evaluatet/s-csoverce_domain

4.3.1定义evaluatortable

SingularityDAO将推出其Launchpad平台:10月30日消息，由AI驱动的DeFi社区SingularityDAO宣布将推出其Launchpad平台，首先上线去中心化计算平台NuNet代币NTX。在UTC时间11月12日13:00之前完成KYC并且在11月2日前持有一定数量的AGIX或SDAO代币的用户有资格参与代币分发，团队将于UTC时间11月2日和11月13日分别进行快照，根据期间AGIX或SDAO代币持有量分配NTX代币额度。[2021/10/30 6:21:55]

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)

SingularityDAO任命Chris Poulin为CTO和AI主管:8月25日消息，DeFi投资组合管理公司SingularityDAO已经任命研究科学家Chris Poulin为新的首席技术官和人工智能主管，Poulin将负责开发SingularityDAO的DynaSets，这是一个由人工智能驱动的系统，用于建立一个精心策划的加密货币投资篮。DynaSets在一份合同中持有DeFi代币的集合，使投资者能够更容易地管理他们的投资组合。工作内容还包括为DeFi领域开发新的人工智能驱动的产品。（cointelegraph)[2021/8/25 22:37:13]

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