TRA:STARK深度解析-ODAILY_TraDAO

作者：

时间：1900/1/1 0:00:00

Step1.Buildtrace

标红部分为Publicinfo

Step2.ProverforTrace

协议参数选取：

1.AIR实例化

2.验证AIR和Trace的一致性

2.1校验基础参数

2.2校验assertion有效(boundarycs)

ZeroSync协会正在基于STARK证明开发比特币证明系统:3月28日消息，三位德国计算机科学家Robin Linus、Tino Steffens、Lukas George 等成立一个名为ZeroSync协会（ZeroSync Association）的瑞士非营利组织，将带头开发比特币证明系统，构建具有比特币隐私、互操作性和可扩展性的未来。ZeroSync基于STARK证明，为了实现比特币证明，使用由StarkWare创建的Cairo语言。

ZeroSync将分三个连续阶段推出，分别为标头链证明、假设有效链证明和全链证明，目前已经完成了前两个原型。ZeroSync Toolkit还将为比特币开发人员提供强大工具，以将零知识证明应用于他们自己的产品和服务。（Coindesk）[2023/3/28 13:30:52]

2.3校验Trace满足transitioncs

Transcript

3.Commitfortrace

域参数选取：

Blockdaemon 宣布对以太坊上的流动质押协议 StakeWise 进行战略投资:3月3日消息，区块链基础设施公司 Blockdaemon 宣布对以太坊上的流动质押协议 StakeWise 进行战略投资，将共同为金融机构和大型科技公司提供质押解决方案。Blockdaemon与 StakeWise 的合作将为机构客户创建基于 KYC 的流动质押解决方案。”Blockdaemon 首席执行官兼创始人 Konstantin Richter 表示，通过在以太坊网络上构建机构级的流动性质押产品，将为有严格合规要求的客户开辟途径，以利用质押资本进行借贷、期权写入、流动性提供等。[2022/3/3 13:34:51]

3.1Interpolate->LDE->evaluateoverLDE-domain

3.2Commitment

Tracescript

4.EvaluateCS

StarkWare与智能合约钱包Argent达成战略合作:11月3日消息，StarkWare宣布与智能合约钱包Argent达成战略合作，双方将在建设以太坊Rollup扩容方案StarkNet上展开合作。[2021/11/3 6:30:01]

4.1获取线性组合系数

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

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

Gate Startup 项目NOA 最高涨幅达1301.12%:据Gate.io芝麻开门行情显示，截至今日10:40，NOA 24H最高涨幅1301.12%，最高价格0.175美元，为首发认购价格0.035美元的4倍，当前价格为0.03247美元，24H现货交易量达407.67万美元。据

悉， Startup项目NOA PLAY (NOA)已于5月21日18:00上线。近期行情波动较大，请注意控制风险。[2021/5/22 22:32:05]

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多项式

1611枚BTC转入Bitstamp交易所价值约1535.9万美元:WhaleAlert数据显示，北京时间07月23日17:34，1611枚BTC从1BgYc开头地址转入Bitstamp交易所，按当前价格计算，价值约1535.9万美元，交易哈希为：de3d094ca6dd915e621cbf874b6c87dc8c2018c7fdef1765c42f249aa8fe9d5b。[2020/7/23]

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.

Thepurposeofsamplingfromtheextensionfieldhere(insteadofthebasefield)istoincreasesecurity.

6.2evaluatetraceandconstraintpolynomialsattheOODpointz

6.2.1trace_polyatz&z*g