STA:STARK深度解析-ODAILY_TRA

Step1.Buildtrace

標紅部分為Publicinfo

Step2.ProverforTrace

協議參數選取：

1.AIR實例化

2.驗證AIR和Trace的一致性

2.1校驗基礎參數

2.2校驗assertion有效(boundarycs)

Cairo公布路線圖：新合約語法將與Starknet alpha v0.12.0共同推出:6月29日消息，編程語言Cairo公布其路線圖，為了社區便利性，創建公共板以描述即將推出的一些新功能；很快將推出新的合約語法，與Starknet alpha v0.12.0一起發布，需要進行一些代碼更改，很大程度上豐富了智能合約語言；通過Cairo1.1.0在Starknet主網上的推出以及即將到來的v2版本，已經達到了語言成熟度的一個重要里程碑。文檔、書籍和Starknet Discord等資源足夠幫助用戶開始并從Cairo 0遷移。

隨著新合約語法的發布，Cairo現在足夠穩定和豐富，足以支持復雜的應用程序，并移植現有的Cairo 0邏輯。此外，Starknet的向后兼容性保證確保即使語言發生重大變化，用戶也將有足夠的時間（至少六個月）來完成合約的開發或審核和部署。[2023/6/30 22:09:25]

2.3校驗Trace滿足transitioncs

Transcript

3.Commitfortrace

域參數選取：

數據：3000萬枚MATIC從未知錢包轉移到Polygon Staking:金色財經報道，據Whale Alert監控數據顯示，3000萬枚 MATIC（32,719,715 美元）于今日 19:01（北京時間）從未知錢包轉移到 Polygon Staking。[2023/4/9 13:53:35]

3.1Interpolate->LDE->evaluateoverLDE-domain

3.2Commitment

Tracescript

4.EvaluateCS

4.1獲取線性組合系數

Braavos與Starknet.id合作推出免費的的.braavos.stark子域名注冊服務:1月31日消息，支持StarkNet的錢包服務商Braavos宣布與Starknet.id達成合作，為用戶提供免費的（需支付gas）的.braavos.stark子域名注冊服務，用戶需要在Braavos錢包內的“賬戶設置”處進行注冊。[2023/1/31 11:38:55]

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

在本例中，transitioncs2個；boundarycs3個

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

4.2.1t-cs

4.2.2b-cs

4.3Evaluatet/s-csoverce_domain

4.3.1定義evaluatortable

5CommitmenttoEvaluateCS

StarkWare將于2月5日在以色列舉辦StarkWare Sessions會議:1月10日消息，以太坊Layer2開發公司StarkWare將于2月5日和6日在以色列特拉維夫舉辦StarkWare Sessions會議，包括會談、小組討論、研討會、圓桌會議、展示柜等。本次活動由以太坊、StarkNet和StarkEx社區策劃。[2023/1/10 11:03:57]

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)

Needcheckatrandomz

美國參議員：監管機構需要認真對待Stablecoin給投資者和國家經濟帶來的風險:12 月 15 日消息，美國參議員 Elizabeth Warren 在美國參議院舉行的銀行、住房和城市事務委員會聽證會上表示，Stablecoin 正在給投資者和國家經濟帶來風險，Stablecoin 為加密世界中最陰暗的部分——DeFI提供支持，在那里，消費者受到的保護最少。我們的監管機構需要在為時已晚之前認真對待Stablecoin。[2021/12/15 7:40:34]

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|Twitter|Telegram|Medium|Mirror|HackMD|HackerNoon

Tags：STATRAARKSTARKSTARLNK幣STRAKSNOAHARK價格STARK價格

AAVE