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

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

Step1.Buildtrace

標紅部分為Publicinfo

Step2.ProverforTrace

協議參數選取：

1.AIR實例化

2.驗證AIR和Trace的一致性

2.1校驗基礎參數

2.2校驗assertion有效(boundarycs)

昨日以太坊Goerli測試網費用一度超過8000 gwei:5月9日消息，Dune Analytics數據顯示，以太坊Goerli測試網費用中位數自5月4日以來大幅上漲，5月8日最高達到8129 gwei，而4月8日最高僅為57 gwei。[2023/5/9 14:51:22]

2.3校驗Trace滿足transitioncs

Transcript

3.Commitfortrace

域參數選取：

3.1Interpolate->LDE->evaluateoverLDE-domain

3.2Commitment

加拿大央行就數字加元開啟公眾咨詢:金色財經報道，加拿大央行正在探索發行中央銀行數字貨幣 (CBDC)的可能性，已經開啟對數字加元的公眾咨詢，加拿大人必須在 6 月 19 日之前就如何使用數字加元、應實施哪些安全功能以及公民對發行 CBDC 可能存在的擔憂提交評論。 加拿大央行表示，數字加元的目標是“補充現金，而不是取代現金”，雖然該銀行認為“現在”不需要 CBDC，但它承認將來可能需要實施 CBDC，因此該銀行希望做好準備。[2023/5/9 14:50:58]

Tracescript

4.EvaluateCS

4.1獲取線性組合系數

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

在本例中，transitioncs2個；boundarycs3個

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

4.2.1t-cs

老虎證券推出TigerGPT使用OpenAI技術 用戶可登記輪候試用:金色財經報道，中資互聯網券商老虎證券宣布推出人工智能(AI)投資助手—TigerGPT，屬于運用老虎國際的金融數據庫及OpenAI技術開發的文本生成式AI聊天機器人，將內置于其交易平臺Tiger Trade。老虎證券表示，TigerGPT目前正處于用戶測試階段，會邀請指定市場的用戶參與，用戶可登記進入輪候名單。[2023/4/11 13:57:11]

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)

PancakeSwap已支持使用Martian錢包:11月30日消息，Aptos生態錢包Martian與去中心化交易所PancakeSwap已完成集成。用戶可在PancakeSwap上連接Martian錢包。[2022/11/30 21:11:54]

(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.

FTX創始人SBF曾計劃出資80-150億美元和馬斯克一起收購Twitter:金色財經報道，根據埃隆馬斯克針對社交媒體平臺的法律訴訟中披露的文本，加密貨幣億萬富翁、FTX創始人SBF “有一段時間”想收購 Twitter。據悉，作為SBF旗下FTX Future Fund法律顧問的William MacAskill試圖在今年 3 月份安排兩位億萬富翁會面，看看兩人是否可以“共同努力”收購 Twitter，雙方的交流短信也曝光。根據William MacAskill的說法，SBF一開始愿意出資80-150億美元，，但摩根士丹利全球技術投資銀行業務負責人 Michael Grimes 后來告訴馬斯克SBF只愿意出資50億美元，但最終馬斯克似乎對SBF的做法不太感興趣，并稱自己不想與SBF進行一場“艱苦的區塊鏈辯論”，SBF的名字也沒有出現在之后的投資方列表里。（businessinsider）[2022/9/30 22:41:42]

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：TRAIONPOLPOSstratos幣挖礦lion幣騙局Monopoly Millionaire GameImpossible Finance

LTC