POL:STARK深度解析-ODAILY_Education Ecosystem

Step1.Buildtrace

标红部分为Publicinfo

Step2.ProverforTrace

协议参数选取：

1.AIR实例化

2.验证AIR和Trace的一致性

2.1校验基础参数

2.2校验assertion有效(boundarycs)

Web3开发平台Alchemy正在为新的风险投资基金筹集1200万美元:金色财经报道，根据提交给美国证券交易委员会（SEC）的文件，Web3开发平台Alchemy正在为一个风险投资基金筹集1200万美元。目前，Alchemy SPV III基金还没有开始筹集资金。文件没有说明该基金的用途。Alchemy联合创始人兼首席技术官Joseph Lau被列为该基金的执行官。（CoinDesk）[2022/9/14 13:28:10]

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获取线性组合系数

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

美国德克萨斯州奥斯汀将出台支持区块链和 Web 3.0 技术发展的相关政策:金色财经报道，根据一份官方的政府文件，美国德克萨斯州奥斯汀市长已经指示城市经理帮助创造一个有利的政府和社区环境，支持区块链和Web 3.0等新技术的创建。通过采取这一举措，奥斯汀市政府希望将自己置于世界数字金融版图上，就像纽约市和迈阿密一样，在过去的几个月里，他们积极参与了加密行业。因此，市长已下令市经理就该市如何采用比特币进行“实况调查研究”。此外，该市对参与区块链和 Web 3.0 相关技术、协议和应用程序的程度没有任何限制。（coingape）[2022/3/15 13:56:51]

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

Jack Dorsey：Web3世界里VC才是问题:12 月 21 日消息，前推特首席执行官 Jack Dorsey 在社交媒体上发文表示，VC 是问题，投资者并不是（暗指在 Web3 里，普通人赚不到钱，都是 VC 赚了）。

对此，Binance 首席执行官 CZ 回复称，区块链可以解决这个问题，Web 3 项目通过全球范围的融资让投资者参与其中。[2021/12/22 7:56:21]

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)

合成资产挖矿项目ARCx推出原生稳定币STABLEx:合成资产挖矿项目ARCx在推特上宣布推出原生稳定币STABLEx，与美元1:1锚定。从今天开始，用户可以锁定yUSD作为抵押品来铸造STABLEx。[2020/12/4 14:00:09]

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

标签：TRAIONPOLCOMXTRAEducation Ecosystempolkawallet下载Component

LTC热门资讯