Step1.Buildtrace
标红部分为Publicinfo
Step2.ProverforTrace
协议参数选取：
1.AIR实例化
2.验证AIR和Trace的一致性
2.1校验基础参数
2.2校验assertion有效(boundarycs)
Starknet基金会任命前Meta高管Veteran Oliva为CEO:金色财经报道，由Starknet创立的非营利基金会Starknet Foundation任命前Meta高管Diego Oliva为首任首席执行官。Oliva将领导生态系统的发展并帮助去中心化工作。Starknet母公司Stark Ware在2022年5月的一轮1亿美元融资后估值达到80亿美元，并于7月宣布成立该基金会。
Starknet基金会于11月正式启动，董事会由7人组成，供应量为50.1亿个Starknet代币，约占初始供应量100亿个代币的50.1%。这些代币尚不可用于公开交易。[2023/6/22 21:52:52]
2.3校验Trace满足transitioncs
Transcript
3.Commitfortrace
域参数选取：
3.1Interpolate->LDE->evaluateoverLDE-domain
数字资产挖矿与质押公司 Foundry Digital 收购 Web3 软件开发和咨询公司 Upstate Interactive:4月28日消息，数字资产挖矿与质押公司 Foundry Digital 表示其正在收购 Web3 软件开发和咨询公司 Upstate Interactive，旨在更大规模地扩展其去中心化基础设施。Upstate Interactive 在以太坊上构建去中心化应用程序和智能合约，支持 DeFi、NFT、DAO 等应用。Foundry 将整合 Upstate Interactive 多条业务线，并为机构提供与数字资产基础设施层相关的各种产品和服务。（CoinDesk）[2022/4/28 2:36:13]
3.2Commitment
Tracescript
4.EvaluateCS
4.1获取线性组合系数
StarPunk完成180万美元融资，Megala Ventures领投:9月27日消息，NFT游戏初创公司的下一代孵化器生态系统StarPunk完成180万美元融资，Megala Ventures、UG Ventures和DAO Maker领投，Raptor Capital、X21、FXCE、Wings Ventures、Everse Capital、Magnus Capital、Metrix Capital、CinchBlock， BlueNode Capital、Gate.io、UB Ventures、Kyros Ventures、Crypto Viet、TradecoinVietNam、Infinity Capital、TK Ventures、HC Ventures、SGTC、ReBlock、Crypto Checker、MCG Capital、OnBlock和CoinF等参投。
StarPunk是NFT游戏初创公司的一体化去中心化孵化器生态系统，授权游戏开发商、投资者和玩家共同构建基于区块链的经济，通过StarPunk游戏启动板加速将新的NFT游戏引入市场，并允许StarPunk孵化的项目推出自己的白标NFT市场。（Cointelegraph）[2021/9/27 17:08:37]
系数个数和约束的个数一致
在本例中，transitioncs2个；boundarycs3个
4.2为t-cs和b-cs构建evaluator
4.2.1t-cs
WeStarter快闪兑换dFuture 1小时参与金额达5194.6万美元:据官方消息，WeStarter快闪兑换dFuture 1小时参与金额达到5194.6万美金，超1038.92倍，共发起链上交易3467笔。
据悉，dFuture是去中心化自动做市商衍生品交易协议。WeStarter是基于Heco网络的初始兑换平台，通过产品的创新与充足的行业资源，承载多种类型资产的资金与资源需求，打造DeFi项目加速器。WeStarter平台可支持跨链资产的资产兑换，并持续发掘多领域方向如NFT等资产，提供多种分发方式给开发者与投资者选择。[2021/3/3 18:08:39]
4.2.2b-cs
4.3Evaluatet/s-csoverce_domain
4.3.1定义evaluatortable
5CommitmenttoEvaluateCS
5.1建立constraintscompositionpolynomial
动态 | 招商策略：美国证监会批准初创企业Blockstack发行代币，关注对区块链主题的催化:招商策略研究发布A股投资策略周报（0714），其中表示，本周主题观点方面，短期新增建议关注区块链主题（本周新增关注）：美国证监会批准初创企业Blockstack发行代币，关注对区块链主题的催化。Blockstack的发币计划本质上是一种受监管的“首次代币发行”（ICO）。ICO使初创公司可绕过传统融资渠道，很容易地从公众那里筹集资金。尽管在某些方面类似于IPO，但两者有较大差异。首先，投资者不持有公司股份，而仅仅是获得类似比特币的加密货币，可在Blockstack的网络上作为货币使用。2019年以来比特币价格大幅上涨，A股区块链主题反应相对较弱，可跟踪本次Blockstack发行代币事件对区块链主题的催化，关注A股区块链相关标的。[2019/7/15]
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)
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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。