STARK深度解析-ODAILY_STA:ANATION價格

Step1.Buildtrace

標紅部分為Publicinfo

Step2.ProverforTrace

協議參數選取：

1.AIR實例化

2.驗證AIR和Trace的一致性

2.1校驗基礎參數

2.2校驗assertion有效(boundarycs)

Starknet推出高性能定序器Madara:7月20日消息，Starknet推出高性能定序器Madara，后者將Starknet為提供創建可定制且高效的應用鏈的能力。Madara通過使用Substrate框架，增強了Cairo VM的功能，從而生成可證明、安全且靈活的程序。此外，Madara還將提高Starknet的互操作性和鏈上隱私水平。[2023/7/20 11:07:18]

2.3校驗Trace滿足transitioncs

Transcript

3.Commitfortrace

域參數選取：

3.1Interpolate->LDE->evaluateoverLDE-domain

FEWOCiOUS與Billboard ChartStars合作基于Flow鏈推出新系列NFT:7月29日消息，NFT藝術傳奇人物FEWOCiOUS與Billboard ChartStars合作基于Flow發行系列作品。本次作品將于北京時間7月30日凌晨2點發行，共計250份稀缺NFT，售價250美元，用戶可以在ChartStars網站通過信用卡方式直接購買。持有NFT的用戶將有機會參加未來的FewoWorld Paint派對、2張Billboard的大型活動的入場券以及訪問Billboard ChartStars Discord的私密頻道等權益。

據悉，FEWOCiOUS的作品在拍賣行佳士得、蘇富比，以及NFT銷售平臺Nifty Gateway和SuperRare的銷售額約為5000萬美元。[2022/7/29 2:45:51]

3.2Commitment

Tracescript

4.EvaluateCS

4.1獲取線性組合系數

Stablecoin DAI供應量突破100億美元:2月8日消息，Stablecoin DAI供應量突破100億美元，位列Stablecoin市場第五。目前前四名為USDT（780億美元）、USDC（515億美元）、BUSD（168億美元）、UST（112億美元）。[2022/2/8 9:37:42]

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

在本例中，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

5.1建立constraintscompositionpolynomial

以太坊客戶端Nethermind與StarkWare達成合作:以太坊客戶端Nethermind與零知識證明研發機構StarkWare達成合作，共同為ZKRollup擴容方案StarkNet建立基礎設施。目前Nethermind已為StarkNet第一個版本Planets開發了區塊瀏覽器Voyager的alpha版本，之后StarkNet將基于Cairo編程語言開發兼容EVM的版本。[2021/7/8 0:36:21]

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)

動態 | 美國億萬富翁Stanley Druckenmiller表示不會對比特幣進行任何投資:據cointelegraph消息，美國億萬富翁Stanley Druckenmiller最近在接受采訪時表示自己不會對比特幣進行任何長期或短期的投資。他曾經表示，比特幣作為一種交易手段的概念應該被抹去，因為在這種大的波動性下，人們不可能進行交易尤其是零售交易。[2019/6/4]

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：STATRASTARIONStarcroTransparent TokenSTARSHIPDOGEANATION價格

聚幣