POL:STARK深度解析-ODAILY

Step1.Buildtrace

標紅部分為Publicinfo

Step2.ProverforTrace

協議參數選取：

1.AIR實例化

2.驗證AIR和Trace的一致性

2.1校驗基礎參數

2.2校驗assertion有效(boundarycs)

StarkNet TVL僅34萬美元，但過去7天增長84%:金色財經消息，據l2beat數據顯示，過去7天，StarkNet的TVL增長為84%，其TVL具體為34.3萬美元。[2022/5/23 3:34:25]

2.3校驗Trace滿足transitioncs

Transcript

3.Commitfortrace

域參數選取：

3.1Interpolate->LDE->evaluateoverLDE-domain

3.2Commitment

DFG宣布為Astar項目眾貸貢獻30萬枚DOT:官方消息，DFG宣布為Astar項目眾貸貢獻30萬枚DOT。據悉，Astar Network（前Plasm）是Polkadot上的 dApp 中心，支持以太坊、WebAssembly和第2層解決方案，如ZK Rollups。Astar旨在成為一個支持多個區塊鏈和虛擬機的多鏈智能合約平臺。[2021/11/15 6:53:07]

Tracescript

4.EvaluateCS

4.1獲取線性組合系數

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

在本例中，transitioncs2個；boundarycs3個

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

4.2.1t-cs

4.2.2b-cs

YFI創始人在GitHub發布StakingRewardsV3代碼:8月24日消息，YFI創始人Andre Cronje在GitHub發布StakingRewardsV3代碼，是用于Uniswap v3 NFT 頭寸的經典合成StakingRewards合約，在Uniswap v3上可以輕松獲得范圍頭寸的流動性激勵（與給定范圍內提供的流動性成正比）。[2021/8/24 22:33:14]

4.3Evaluatet/s-csoverce_domain

4.3.1定義evaluatortable

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

波卡生態項目StaFi Chain v0.4.5已發布:波卡生態項目StaFi發推稱，StaFi Chain v0.4.5已發布，請節點運營商及時升級。此次更新包括：中繼器可以為rBridge中的不同鏈配置。rToken可以交換至BSC生態系統等。[2021/7/26 1:16:37]

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.

聲音 | Stash Wealth創始合伙人：應拿出不多于3%的資金投資比特幣:據CNBC報道，Stash Wealth的創始合伙人Priya Malani表示，比特幣是賭博，而不是投資。對于那些仍想購買比特幣的人，她建議可以拿出一小部分資金投資購買比特幣，應該是3％或更少。[2018/6/30]

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：TRASTAIONPOLContraction Dynamic Set DollarSTASHBooBanker Research AssociationPOLZ價格

萊特幣價格