Sin7y團隊解讀：STARK - 深度解析_TRA:Foundation

作為不需要可信設置的零知識證明算法代表之一，STARK算法被應用于StarkNet生態的各個項目中，比如dydx,immutableX等，并表現出了不俗的性能。本文將主要從代碼層面剖析STARK算法的實現過程，幫助大家對STARK算法有更深入的理解。

Step1.Buildtrace

標紅部分為Publicinfo

Step2.ProverforTrace

協議參數選取：

1.AIR實例化

2.驗證AIR和Trace的一致性

2.1校驗基礎參數

2.2校驗assertion有效(boundarycs)

以太銘文上CryptoPunks因版權問題，被Yuga Labs要求刪除并下架:7月11日消息，以太銘文協議建立者Middlemarch發推稱，以太銘文上CryptoPunks項目，因Punk版權問題，被Yuga Labs要求刪除并下架所有關于Punk的作品內容以及推文。[2023/7/11 10:47:27]

2.3校驗Trace滿足transitioncs

Transcript

3.Commitfortrace

域參數選取：

3.1Interpolate->LDE->evaluateoverLDE-domain

DOGE第5大持倉地址在價格大漲后轉出6.5億枚DOGE:金色財經報道，Lookonchain發推特表示，Twitter將網頁端圖標改為狗狗幣Logo導致DOGE價格上漲后，DOGE持倉量排名第5的地址在今日03:48:22轉出了6.5億枚DOGE（約6130萬美元），目前余額37.86億枚（約3.57億美元）。[2023/4/4 13:43:48]

3.2Commitment

Tracescript

4.EvaluateCS

4.1獲取線性組合系數

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

在本例中，transitioncs2個；boundarycs3個

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

4.2.1t-cs

波多黎各：4% 的優惠稅率適用于加密資產等活動:3月2日消息，波多黎各經濟發展和商務部發布了基于區塊鏈技術和區塊鏈驗證的數字資產指南，為區塊鏈驗證、質押、挖礦、數字資產等提供了定義，且包括代幣質押在內的相關活動，有資格享受 4% 的優惠稅收待遇。[2023/3/2 12:38:19]

4.2.2b-cs

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

Cardano生態DEX AdaSwap完成智能合約審計:12月9日消息，Cardano生態DEX AdaSwap在社交媒體發文宣布，網絡安全機構Zokyo已對其智能合約完成了“全面”審計，這也是該去中心化交易平臺在主網上線后的“最后一個里程碑”并將為DeFi社區提供最高標準安全保障。此外，AdaSwap還宣布已完成對以太坊Layer 2擴展系統Arbitrum的橋接支持。[2022/12/9 21:32:17]

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.

Astar Network 開啟鏈間消息傳遞格式 XCM 提款功能:7月3日消息。波卡平行鏈 Astar Network 宣布開啟鏈間消息傳遞格式（XCM）提款功能，允許將資產移入和移出中繼鏈。[2022/7/3 1:47:05]

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：Sin7y

Twitter：@Sin7y_Labs

Medium：Sin7y

Mirror：Sin7y

HackMD：Sin7y

HackerNoon：Sin7y

Email：contact@sin7y.org

來源：金色財經

Tags：TRAIONPOLPOLYTRAMSV1幣FoundationAPOLLO幣POLYX幣

DAI