TRA:Sin7y團隊解讀：STARK - 深度解析_ION

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

Step1.Buildtrace

標紅部分為Publicinfo

Step2.ProverforTrace

協議參數選取：

1.AIR實例化

2.驗證AIR和Trace的一致性

2.1校驗基礎參數

2.2校驗assertion有效(boundarycs)

Solana基金會：不同意美SEC將SOL定性為證券:金色財經報道，Solana 基金會官推發布聲明稱，Solana 基金會不同意（disagree）美國證券交易委員會將 SOL 定性為證券，美國政策制定者應作為建設性的監管合作伙伴參與到加密行業，以便為數以千計在數字資產領域建設的企業家提供法律清晰度。Solana 擁有加密行業內最強大的建設者社區，也將會繼續構建優質項目和產品，Solana 基金會將致力于為加密行業長期建設的人提供支持，為去中心化未來創造最好的區塊鏈。[2023/6/11 21:29:45]

2.3校驗Trace滿足transitioncs

Transcript

3.Commitfortrace

域參數選取：

3.1Interpolate->LDE->evaluateoverLDE-domain

數據：zkSync Era獨立存款地址數量突破20萬:金色財經報道，據Dune Analytics數據顯示，zkSync Era獨立存款地址數量已突破20萬，本文撰寫時達到210,049個，當前總鎖倉量為93,430,469美元。[2023/4/2 13:39:54]

3.2Commitment

Tracescript

4.EvaluateCS

4.1獲取線性組合系數

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

在本例中，transitioncs2個；boundarycs3個

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

4.2.1t-cs

鏈上數據顯示幣安儲戶在CFTC起訴后逃離:金色財經報道，在美國監管機構起訴幣安及其創始人趙長鵬的消息傳出后，幣安用戶周一從交易所撤回了大量加密貨幣。根據區塊鏈分析公司Nansen的數據，在過去24小時內，幣安在以太坊上的凈流出4億美元。相比之下，過去7天的凈流量為20億美元。截至發稿時，被Nansen視為“聰明錢”運營商的精明交易員在過去24小時內也從Binance撤走了900萬美元。

鏈上運動凸顯了加密貨幣交易者在不確定的監管環境中的不安。此外，周一，BUSD穩定幣的前發行人Paxos在過去四個小時內銷毀了超過1.55億美元的BUSD（占流通供應量的2%）。[2023/3/28 13:30:12]

4.2.2b-cs

4.3Evaluatet/s-csoverce_domain

4.3.1定義evaluatortable

5CommitmenttoEvaluateCS

5.1建立constraintscompositionpolynomial

A股收盤：深證區塊鏈50指數上漲1.45%:金色財經消息，A股收盤，上證指數報3155.22點，收盤上漲1.01%，深證成指報11332.01點，收盤上漲2.13%，深證區塊鏈50指數報2917.12點，收盤上漲1.45%。區塊鏈板塊收盤上漲0.28%，數字貨幣板塊收盤上漲0.6%。[2023/1/5 10:23:05]

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)

美股走低，納指盤中再度轉跌:金色財經報道，行情顯示，美股走低，納指盤中再度轉跌，此前曾漲約1.7%。標普500指數接近轉跌，道指漲幅收窄至約0.5%。[2022/11/9 12:35:10]

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：TRAIONPOLPOSUltraGuccioneCoinPOLYDOGE幣2023年poseidon

USDT