Step1.Buildtrace
标红部分为Publicinfo
Step2.ProverforTrace
协议参数选取：
1.AIR实例化
2.验证AIR和Trace的一致性
2.1校验基础参数
2.2校验assertion有效(boundarycs)
Stader Labs将于5月2日推出ETHx第二阶段测试:4月30日消息，流动性质押协议 Stader Labs 发推称，以太坊流动性质押代币 ETHx 的第一阶段测试已于 4 月 28 日结束，第二阶段测试将于 5 月 2 日开始。Stader 的以太坊流动性质押方案需要用户最少需要提供 4 ETH 来参与质押，Stader 会将用户存入的资金分配给许可质押池、无需许可的质押池以及采用分布式验证器技术（DVT）的质押池。[2023/4/30 14:35:43]
2.3校验Trace满足transitioncs
Transcript
3.Commitfortrace
域参数选取：
3.1Interpolate->LDE->evaluateoverLDE-domain
星巴克Web3平台Starbucks Odyssey测试版正式上线:金色财经报道，星巴克Web3平台Starbucks Odyssey测试版正式上线，首批候补名单成员将有3天的时间注册，注册用户可通过参与娱乐互动活动以赚取可收藏的数字旅程印章（Journey Stamp）和Odyssey积分。此外，Starbucks Odyssey每个月都将开放更多注册资格。[2022/12/9 21:32:23]
3.2Commitment
Tracescript
4.EvaluateCS
4.1获取线性组合系数
系数个数和约束的个数一致
在本例中，transitioncs2个；boundarycs3个
4.2为t-cs和b-cs构建evaluator
4.2.1t-cs
DappRader：头部NFT收藏品中Avastars的巨鲸中心化指数最高:8月12日消息，据DappRader对四个头部NFT收藏品的分析数据显示，Avastars的巨鲸中心化指数（whale concentration index）最高，达到21%；其次是CryptoPunks，其巨鲸中心化指数约为9%（前5名持有者拥有约900个Punk，价值超过1.03亿美元）；Meebits的巨鲸中心化指数为7.2%，位列第三；BoredApesYachtClub位列第四，该系列中只有4%归前5名钱包所有，目前拥有5,100多个独立所有者。
此外BAYC的最大优势之一是社区规模，TheBoredApes持有者一直在Twitter和Discord上积极发表意见，社区规模越大，BAYC就有可能变得更强大。[2021/8/12 1:51:12]
4.2.2b-cs
4.3Evaluatet/s-csoverce_domain
4.3.1定义evaluatortable
5CommitmenttoEvaluateCS
5.1建立constraintscompositionpolynomial
DCG子公司Foundry Digital将为Stacks代币提供挖矿服务:1月17日消息，DCG子公司Foundry Digital宣布，将为分布式计算网络Stacks 2.0原生代币STX提供挖矿服务。Foundry Digital表示，Stacks 2.0主网上线即是像矿工发出STX挖矿的明确信号。此前1月15日消息，Stacks 2.0主网宣布上线。（Cointelegraph）[2021/1/17 16:22:25]
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)
Blockstack发布Stacks2.0白皮书草案，预计于明年1月份在主网上发布:近日，分布式计算网络Blockstack（STX）在公布的Stacks2.0白皮书草案中指出，Stacks2.0有望按照此前计划时间于2021年1月14日在主网上发布，基于新共识算法PoX（ProofofTransferMiningwithBitcoin，比特币挖矿转移证明），Stacks无需修改即可将应用程序和智能合约链接到比特币。
另外，关于PoX参数，区块奖励在前四年将设置为每个区块1000枚STX，每四年减半，直至降至每个区块125枚STX奖励时将保持不变，另外，Stacks出块时间将与比特币保持一致，即约每10分钟出一个块。白皮书草案还公布了Stacks2.0设计、STX经济模型和新的智能合约语言Clarity等内容。[2020/12/15 15:16:07]
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
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|Twitter|Telegram|Medium|Mirror|HackMD|HackerNoon
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。