STA:STARK深度解析-ODAILY

Step1.Buildtrace

標紅部分為Publicinfo

Step2.ProverforTrace

協議參數選取：

1.AIR實例化

2.驗證AIR和Trace的一致性

2.1校驗基礎參數

2.2校驗assertion有效(boundarycs)

基于以太坊擴容方案StarkNet的NFT市場Oasis宣布上線:官方消息，基于以太坊擴容方案StarkNet的NFT市場Oasis宣布上線，支持發起和接受報價、將NFT上線出售以及購買已上線NFT。[2022/1/25 9:12:03]

2.3校驗Trace滿足transitioncs

Transcript

3.Commitfortrace

域參數選取：

3.1Interpolate->LDE->evaluateoverLDE-domain

3.2Commitment

StakeTechnologies完成1000萬美元戰略融資:Plasm Network和Shiden Network背后的核心公司Stake Technologies宣布完成1000萬美元的戰略融資，由分布式資本領投，Hypersphere Ventures、Gumi Cryptos、IOSG Ventures、TRG Capital、AU21 Capital、Digital Strategies、SNZ、Digital Strategies、Sub0 Capital、Altnomy、East Ventures、天使投資人索尼前首席執行官兼董事長NobuyukiIdei等參投。Stake Technologies的首要任務是幫助Shiden Network在Kusama上贏得平行鏈插槽和幫助Plasm Network在Polkadot獲得平行鏈插槽，StakeTechnologies采取crowdloan策略去幫助Shiden贏得平行鏈租賃。[2021/6/11 23:30:41]

Tracescript

4.EvaluateCS

4.1獲取線性組合系數

報告：Coinbase和Bitstamp新用戶手續費最高，未來或需降價:與其他交易所不同，Coinbase和Bitstamp并沒有參與到降低交易費用的競爭中。相反，這些交易所對新客戶的收費水平最高。事實上，根據Arcane research的研究，針對每月交易額低于10000美元的交易者，Binance Pro和Bitstamp平臺的吃單（Taker）費用是幣安的5倍。各家加密交易所收費如此不同，背后有很多原因，包括監管地位、業績記錄、感知安全性以及直接支持法幣存款等因素。報告表示，過去一年Gemini等其他競爭對手降低了收費。Gemini將吃單費用和掛單費用分別從1%降至0.35%和0.25%。而Coinbase Pro和Bitstamp將吃單和掛單費用從0.25%（Coinbase掛單費0.15%）提高到0.5%。這些費率使得這些交易所對于市場上的小交易者來說非常昂貴。

由此可以推測，雖然兩家交易所可能在短期內幸免于難，但從長期來看會涉及一些“聲譽風險”。在所有交易所中，Coinbase和Bitstamp可能收取最高的初始吃單費用。但由于其長期的良好記錄和忠誠的客戶群，高收費不太可能在短期內危及其市場地位。（AMBCrypto）[2020/7/16]

系數個數和約束的個數一致

在本例中，transitioncs2個；boundarycs3個

4.2為t-cs和b-cs構建evaluator

4.2.1t-cs

穩定幣聚合協議mStable推出協議代幣Meta（MTA）:穩定幣聚合協議mStable宣布推出協議代幣Meta(MTA),MTA有三個主要功能：1）作為再擔保（保險）的最終來源；2）協調mStable的去中心化治理；3）激勵mStable的資產流動性、效用和社區治理。目前僅功能3可用，功能1和功能1將在協議第二階段啟用。首個MTA生態系統獎勵池已在Balancer上運行，通過向Balancer的mUSD/USDC流動池做貢獻，每周可獲得50,000MTA的份額，以及向該流動池支付的所有BAL獎勵。[2020/6/27]

4.2.2b-cs

4.3Evaluatet/s-csoverce_domain

4.3.1定義evaluatortable

5CommitmenttoEvaluateCS

5.1建立constraintscompositionpolynomial

動態 | StarkWare稱可為加密交易所解決安全性和可擴展性:金色財經報道，零知識證明技術開發公司StarkWare稱，它可以解決加密交易所最緊迫的問題：中心化交易所固有的脆弱性和去中心化交易所的低交易能力。?Starkware工程副總裁Oren Katz解釋稱，該公司基本上為交易所提供了可擴展性引擎。交易所保存訂單并進行匹配，用戶向交易所發布訂單，交易所匹配訂單并將需要結算的訂單發送給Starkware，Starkware將大量的交易放在一起，并準備一個完整的證明以證明整個批次的有效性。證明將被發送到鏈上驗證器(例如每15分鐘一次)，一旦驗證，(所有用戶余額的)根狀態將在鏈上更新。[2020/2/26]

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

Tags：STATRAIONPOLXUSD StableTRADE價格Salvation Financepolydoge幣會不會萬倍幣

火幣網下載官方app