STARK深度解析-ODAILY_TRA:bitstamp交易平臺下載

Step1.Buildtrace

標紅部分為Publicinfo

Step2.ProverforTrace

協議參數選取：

1.AIR實例化

2.驗證AIR和Trace的一致性

2.1校驗基礎參數

2.2校驗assertion有效(boundarycs)

區塊鏈游戲互操作協議Meta Material上線StarkNet測試網:金色財經消息，區塊鏈游戲互操作協議Meta Material宣布上線StarkNet測試網。該協議為實驗性協議，由以太坊鏈上行為可視化元宇宙項目Phi發布，旨在解決區塊鏈游戲間資源共享的問題。[2022/4/8 14:13:37]

2.3校驗Trace滿足transitioncs

Transcript

3.Commitfortrace

域參數選取：

3.1Interpolate->LDE->evaluateoverLDE-domain

3.2Commitment

以太坊預計將在2022年Q2進行合并，合并后首要任務為解鎖Staking合約中鎖定的ETH:11月7日消息，Coinbase加密工程師yuga發推總結11月6日的以太坊社區電話會議，此次會議關鍵信息包括：合并預計將在2022年第二季度左右進行（可能會發生變化）；合并期間預計不會出現停機；這是一個“共識熱交換”；合并將以太坊業務邏輯分為兩層，共識層是驗證節點對區塊、最終性等進行投票，節點客戶端包括Prysmatic Labs和Teku，執行層是節點構建區塊、驗證交易等，客戶端包括Geth和Nethermind；合并后節點運營商除了現有的執行節點外，還必須提出一個共識節點；在Staking合約中鎖定的ETH在合并后將保持鎖定狀態。以太坊社區在合并后的首要任務是解鎖質押的ETH。

此前消息，以太坊開發者會議：基于平均區塊時間進行硬編碼假設的合約將受到合并影響。[2021/11/7 6:36:27]

Tracescript

4.EvaluateCS

4.1獲取線性組合系數

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

在本例中，transitioncs2個；boundarycs3個

mStable在Polygon上啟動WMATIC/MTA/ETH激勵池:據官方消息，穩定幣聚合協議mStable宣布在Polygon上推出WMATIC/MTA/ETH激勵池，提供MTA、BAL和MATIC三重獎勵。此外，mStable最近在Polygon推出了針對mUSD儲蓄存款的流動性挖掘計劃，該計劃具有雙重MTA和MATIC獎勵，將運行3個月。[2021/7/27 1:17:01]

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

4.2.1t-cs

4.2.2b-cs

4.3Evaluatet/s-csoverce_domain

4.3.1定義evaluatortable

5CommitmenttoEvaluateCS

5.1建立constraintscompositionpolynomial

Acala Contributor Yuzhu: DeFi 與 Staking 衍生品結合將是一個更廣闊的藍海市場:據官方消息，幣贏CoinW《共識52》第九期《Polkadot的進化之路——Acala能否掀起下一輪DeFi熱潮?》主題AMA主題中Acala Contributor Yuzhu講到：

金融是時間的游戲，DeFi 結合 Staking 衍生品的新玩法也將是一個廣闊的藍海市場。波卡作為目前 POS 市值最高的區塊鏈網絡，在經濟模型的設計上，不管是 Staking 還是平行鏈插槽競拍，以及治理上，都將會鎖定大部分的 DOT，而這鎖定住的流動性將會催生出許許多多的流動性衍生品。因此，Acala 所推出的 Staking 衍生品作為開箱即用的基礎 DeFi 產品組件之一，和 aUSD 一樣，開發者和項目都是能夠基于 LDOT/LKSM 做越來越豐富的上層 DeFi 應用。[2020/11/19 21:22:43]

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

Aave創始人Stani Kulechov：DeFi的流動性或將分散到不同網絡:在談到DeFi流動性的問題時，Aave創始人兼首席執行官Stani Kulechov表示，目前市場的流動性聚集在以太坊，這對Aave是非常有利的，但他相信，未來流動性可能會分散到幾個不同的網絡中。（Staking Rewards）[2020/7/10]

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：TRAPOLSTAOLYTranscodiumPolkalokrbitstamp交易平臺下載POLYDOGE幣2023年

非小號