TRA:STARK深度解析-ODAILY_Compound Meta

作者：

时间：

Step1.Buildtrace

标红部分为Publicinfo

Step2.ProverforTrace

协议参数选取：

1.AIR实例化

2.验证AIR和Trace的一致性

2.1校验基础参数

2.2校验assertion有效(boundarycs)

bitFlyer：将密切关注每一个以太坊工作量证明硬分叉:金色财经报道，日本加密货币交易所 bitFlyer 官方表示，他们将“密切关注”从工作量证明 ( PoW ) 过渡到权益证明 ( PoS ) 而可能发生的任何一个以太坊 (ETH)硬分叉，以及每一个继续依赖 PoW 的分叉 Token。据悉，在 BitFlyer 最新发表博客文章中并未明确说明是否支持哪一个分叉 Token，但表示将“视情况而定”。同时该交易所还补充说，在处理任何新 Token 上架之前都需要得到日本虚拟加密资产交易所协会（JVCEA）的批准。（cryptonews）[2022/8/24 12:44:34]

2.3校验Trace满足transitioncs

Transcript

3.Commitfortrace

域参数选取：

3.1Interpolate->LDE->evaluateoverLDE-domain

Bitget计划委托增加闪电开平仓挂单:据官方消息，今日Bitget在永续合约计划委托中，增加了执行价格以闪电开仓/平仓，即以最优成交价进行挂单的功能。用户可根据自身需求在计划委托下进行合理设置，同时请注意风险控制。计划委托可免去用户盯盘，提前对某一价格进行挂单交易，合理掌控盈亏区间，最终达到止盈止损的目的。[2020/6/10]

3.2Commitment

Tracescript

4.EvaluateCS

4.1获取线性组合系数

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

在本例中，transitioncs2个；boundarycs3个

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

披露Upbit被调查原因：准备金不足，有“账面交易”:根据有媒体从韩国方面了解到，Upbit之所以被调查，是因为其数字货币准备金不足，以至于在面对用户提现时，不得不先虚报交易成功信息，再从别处借来数字资产完成交易；这种“账面交易”在韩国属于违法行为，因而遭到韩国金融监督委员会（FSS）的调查。行情显示，Upbit为韩国最大交易所，全球排名第五，过去24小时交易量为20亿美元。[2018/5/12]

4.2.1t-cs

4.2.2b-cs

4.3Evaluatet/s-csoverce_domain

4.3.1定义evaluatortable

5CommitmenttoEvaluateCS

5.1建立constraintscompositionpolynomial

NFT众筹平台Gamestarter将集成Polygon:面向游戏开发者的NFT众筹平台和市场Gamestarter宣布将在Polygon上发布，预计将大幅降低NFT铸造和交易费用。Gamestarter将作为平台成为Polygon gaming studio的一部分，并相信这将有助于加快区块链技术在游戏中的应用。Gamestarter平台上线的游戏项目也将集成至Polygon，因为Gamestarter将教育独立游戏开发人员在其即将推出的项目中使用Polygon链。[2021/9/1 22:52:22]

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)

Gate.io Startup首发项目LOCG已认购成功:据官方公告，Gate.io Startup首发项目Legends of Crypto (LOCG)认购成功。据悉，本次认购参与人数共有2,739人，下单总价值超过1,000万美金，认购系数约为0.011 。Gate.io将根据每个人的下单情况和每个下单币种的认购系数进行LOCG的分发。请务必注意：根据官方规则，上线交易后将解锁代币的33.33%，剩余每个月解锁 33.33%。用户预计于5月3日LOCG上线交易前会获得代币。[2021/5/2 21:17:29]

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