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

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

Step1.Buildtrace

標紅部分為Publicinfo

Step2.ProverforTrace

協議參數選取：

1.AIR實例化

2.驗證AIR和Trace的一致性

2.1校驗基礎參數

2.2校驗assertion有效(boundarycs)

數據：蔡文勝朋友相關地址從幣安轉出475萬枚USDT:5月6日消息，Debank數據顯示，1個小時前，蔡文勝朋友相關地址從幣安交易所地址轉出475萬枚USDT。[2023/5/6 14:46:47]

2.3校驗Trace滿足transitioncs

Transcript

3.Commitfortrace

域參數選取：

3.1Interpolate->LDE->evaluateoverLDE-domain

3.2Commitment

蘇富比拍賣行將拍賣《雪崩》的手稿:金色財經報道，蘇富比拍賣行將拍賣《雪崩》(Snow Crash)的手稿，該書由Neal Stephenson于1992年出版，他因創造了“元宇宙”(metaverse)一詞而聞名。此次拍賣還將包括《Snow Crash》的排版手稿，以及用于宣傳該項目的35毫米幻燈片(最初的構思是一本漫畫小說)，以及一把手工鍛造的塔奇劍，靈感來自小說主人公所使用的武器。[2023/2/24 12:26:29]

Tracescript

4.EvaluateCS

4.1獲取線性組合系數

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

在本例中，transitioncs2個；boundarycs3個

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

4.2.1t-cs

4.2.2b-cs

BonqDAO和AllianceBlock在攻擊事件中損失8800萬美元，因BonqDAO智能合約存在漏洞:2月2日消息，北京時間2月2日凌晨2點左右，由于BonqDAO智能合約中的一個漏洞，加密協議BonqDAO和AllianceBlock在攻擊事件中損失8800萬美元。黑客從BonqDAO的金庫（Troves）中移除了大約1.14億枚 walbt（AllianceBlock的封裝原生代幣）和9800萬枚beur代幣。該金庫由用戶控制，用于鑄造與歐元掛鉤的支付代幣beur。該漏洞利用的技術原因仍然未知。到目前為止，黑客已售出大約120萬美元的代幣，但由于流動性不足，無法將全部金額轉換為穩定幣或ETH。

AllianceBlock在推特上表示，該事件與BonqDAO金庫無關，其沒有違反智能合約。兩個團隊都致力于消除流動性以減輕黑客將被盜代幣轉換為其他資產的風險，并已停止所有交易所交易。AllianceBlock還暫停了AllianceBlock Bridge上的橋接，直到問題得到解決。下一步是對攻擊前的用戶進行快照，然后從快照那一刻起為所有受影響的用戶制定解決方案。這包括創建新的ALBT代幣并空投到快照中的地址。

今晨6時左右，BonqDAO發布公告稱：“Bonq協議遭到預言機黑客攻擊，利用者提高了ALBT價格并鑄造了大量BEUR。然后在Uniswap上將BEUR換成其他代幣。然后，價格下降到幾乎為零，這引發了ALBT金庫的清算。其他金庫未受影響。Bonq協議已暫停。我們正在研究一種解決方案，允許用戶提取所有剩余抵押品，而無需償還BEUR，該方案將在歐洲中部時間明天上午發布。”（The Block）[2023/2/2 11:42:06]

4.3Evaluatet/s-csoverce_domain

美國5月非農就業人數增加39萬人，失業率為3.6%:6月3日消息，美國5月非農就業人數增加39萬人，預估為32.5萬人，前值為42.8萬人。美國5月失業率為3.6%，預期3.5%，前值3.6%。(財聯社)[2022/6/3 4:01:11]

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

6.建立DEEPcomposition多項式

Thegeneralformal:f(x)=q(x)*t(x)

YFII跌破700美元:YFII跌破700美元，現報690.1美元，日內跌幅達到41.7%，行情波動較大，請做好風險控制。[2022/5/25 3:39:57]

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

Twitter：@Sin7y_Labs

Medium：Sin7y

Mirror：Sin7y

HackMD：Sin7y

HackerNoon：Sin7y

Email：contact@sin7y.org

來源：金色財經

Tags：TRAIONPOLOLYStrains Financenation幣價格PolkatrainWEXPOLY幣

Ethereum