STARK深度解析-ODAILY_POL

Step1.Buildtrace

標紅部分為Publicinfo

Step2.ProverforTrace

協議參數選取：

1.AIR實例化

2.驗證AIR和Trace的一致性

2.1校驗基礎參數

2.2校驗assertion有效(boundarycs)

QiDao團隊將Stablecoin MAI添加至Polygon網絡Aave V3的提案已獲通過:8月29日消息，Polygon 原生 Stablecoin 協議 QiDao Protocol 團隊于 Aave 社區發起將 QiDao 推出的 Stablecoin MAI 添加到 Polygon 上的 Aave V3 的提案已獲通過，該提案建議風險參數設置為 75% 的貸款利率、80% 的清算門檻、10% 的儲備系數、每條鏈 200 萬美元的初始債務上限。[2022/8/29 12:54:58]

2.3校驗Trace滿足transitioncs

Transcript

3.Commitfortrace

域參數選取：

3.1Interpolate->LDE->evaluateoverLDE-domain

LayerSwap 新增支持將 ETH 從中心化交易所轉移到 StarkNet:金色財經消息，旨在幫助用戶資產從 CEX 轉移到 Layer 2 的項目 LayerSwap 宣布現已在 StarkNet 上線，允許用戶把 ETH 從中心化交易所轉移到 StarkNet。此前，LayerSwap 已支持 Loopring、Immutable X、Arbitrum、Optimism、zkSync 和 Boba Network。[2022/6/4 4:02:30]

3.2Commitment

Tracescript

4.EvaluateCS

4.1獲取線性組合系數

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

在本例中，transitioncs2個；boundarycs3個

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

4.2.1t-cs

IoTeX 鏈上首款GameFi 產品StarCrazy即將正式開服:官方消息，高性能公鏈IoTeX鏈上生態NFT游戲StarCrazy將在北京時間2021年9月27號正式開服。

玩家可以在游戲中購買星獸NFT（Starz）進行合成，可以自由派遣星獸NFT進行戰斗挖礦等。玩家還可在不定期公布的活動中獲得稀缺度極高的星獸。游戲中的代幣GFT可在去中心化DEX mimo中進行兌換，還可通過質押IOTX-GFT獲得LP，在游戲中的糖漿池中挖取GFS，持有并質押GFS的玩家將會獲得項目收益的分紅。

項目將會在IoTeX鏈上進行45天總金額20萬美金的空投，所有持有IOTX超過31天的玩家都可參加空投。[2021/9/24 17:03:46]

4.2.2b-cs

4.3Evaluatet/s-csoverce_domain

4.3.1定義evaluatortable

5CommitmenttoEvaluateCS

DeFi平臺StakeDAO推出主動ETH期權策略:官方消息，由Staking服務提供商StakeCapital啟動的DeFi平臺StakeDAO宣布推出其首個主動ETH期權策略。StakeDAO使用Opyn開發人員工具包中的永續合約模板創建了一種自動化策略，該策略每周自動向做市商出售價外看漲期權，在鎖定等值的ETH抵押品的情況下，該策略除ETH上漲收益外還能賺取做市商的權利金，并將權利金添加到自動化策略中進行復利進一步產生收益。[2021/8/23 22:30:52]

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)

Gate.io Startup首發項目MOMA已認購成功:據官方公告，Gate.io Startup首發項目MOMA認購成功，參與人數共有3,947人，下單總價值超過1,000萬美金，認購系數約為0.0122 。Gate.io將根據每個人的下單情況和每個下單幣種的認購系數進行MOMA的分發，關于MOMA上線交易具體日期另行通知。[2021/4/25 20:57:01]

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：STATRAPOLOLYstars幣最新消息Arbitrage TokenPolymath NetworkPolyQuity

比特幣最新價格