COM:Sin7y團隊解讀：STARK - 深度解析_Dragon Evolution Augmented Reality

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

Step1.Buildtrace

標紅部分為Publicinfo

Step2.ProverforTrace

協議參數選取：

1.AIR實例化

2.驗證AIR和Trace的一致性

2.1校驗基礎參數

2.2校驗assertion有效(boundarycs)

某地址向幣安存入200萬枚DODO，仍持有940萬枚DODO:8月8日消息，據Scopescan監測，DODO投資者（0xbf4開頭地址）于1小時前向幣安存入200萬枚DODO（約合30萬美元）。在過去1年里，該地址通常在領取DODO后立即質押。目前該地址仍持有940萬枚DODO（約合150萬美元）。

昨日有6個地址收到解鎖的DODO代幣，并向幣安存入630萬枚DODO（約合101萬美元）。其中，DWF Labs收到600萬枚DODO（約合78.2萬美元），并于今日下午將100萬枚DODO存入幣安。[2023/8/8 21:32:09]

2.3校驗Trace滿足transitioncs

Transcript

3.Commitfortrace

域參數選取：

3.1Interpolate->LDE->evaluateoverLDE-domain

CertiK：Star Protocol項目Discord服務器遭黑客入侵:金色財經報道，據CertiK官方推特發布消息稱，Star Protocol項目Discord服務器遭黑客入侵。在團隊確認已重獲對服務器的控制之前，請勿點擊任何鏈接。[2023/7/11 10:47:24]

3.2Commitment

Tracescript

4.EvaluateCS

4.1獲取線性組合系數

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

在本例中，transitioncs2個；boundarycs3個

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

4.2.1t-cs

美國銀行：加密市場在短期內的上升空間有限:金色財經報道，美國銀行（BAC）周五在一份研究報告中表示，加密貨幣市場在短期內的上升空間有限。分析師Alkesh Shah和Andrew Moss寫道，市場信心低迷、催化劑有限以及年初至今的優異表現，使數字資產行業陷入了一個交易區間，而充滿挑戰的宏觀背景可能會限制數字資產的上漲空間。

該銀行表示，與客戶的對話表明，對沖基金正在回歸代幣交易，動量策略可能在一定程度上受益于交易量下降導致的波動性加劇。報告補充說，傳統金融(TradFi)公司和科技公司繼續構建區塊鏈應用程序，專注于活期存款、回購結算和債券發行的代幣化。[2023/5/23 15:21:07]

4.2.2b-cs

4.3Evaluatet/s-csoverce_domain

4.3.1定義evaluatortable

5CommitmenttoEvaluateCS

5.1建立constraintscompositionpolynomial

以太坊非零地址數達到91,505,224，創歷史新高:金色財經報道，Glassnode數據顯示，以太坊非零地址數達到91,505,224，創歷史新高。[2022/12/17 21:50:46]

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.

MakerDAO投票決定在3個月內用300萬DAI進行MKR回購試驗:6月24日消息，MakerDAO投票決定在3個月內用300萬DAI購買和銷毀MKR，通過部署試運行DssKiln來實現整個過程，MakerDAO旨在讓其金庫維持高于當前水平的盈余緩沖，以降低未來債務拍賣中MKR鑄造崩盤事件的可能性。

據悉，該提案是Restart the burn SR V2提案的升級版本。而DssKiln是一個無需許可的代幣購買和處置工具，將直接使用DAI從Uniswap市場購買MKR并通過調用MKR的burn()功能來銷毀它們。[2022/6/24 1:29:08]

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：TRAIONPOLCOMTravalaDragon Evolution Augmented RealityPolygon Ecosystem Indexvechaincom

幣安app下載