STARK深度解析-ODAILY_STA

Step1.Buildtrace

標紅部分為Publicinfo

Step2.ProverforTrace

協議參數選取：

1.AIR實例化

2.驗證AIR和Trace的一致性

2.1校驗基礎參數

2.2校驗assertion有效(boundarycs)

周杰倫于Instagram展示Azuki NFT:4月1日消息，周杰倫于Instagram展示類似其《范特西》專輯封面的Azuki NFT。今日早些時間報道，周杰倫在Instagram上發文稱，持有的BAYC#3738NFT已被盜。[2022/4/1 14:32:05]

2.3校驗Trace滿足transitioncs

Transcript

3.Commitfortrace

域參數選取：

3.1Interpolate->LDE->evaluateoverLDE-domain

3.2Commitment

Bitstamp將于3月24日進行維護，持續約1小時:官方消息，加密交易所Bitstamp宣布，由于基礎設施升級，將于3月24日北京時間18:00進行維護，最長將持續約1小時。屆時，Bitstamp交易、存款和取款將不能使用。維護開始的具體時間可能會根據當時的市場情況而變化。[2021/3/19 19:01:33]

Tracescript

4.EvaluateCS

4.1獲取線性組合系數

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

在本例中，transitioncs2個；boundarycs3個

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

4.2.1t-cs

4.2.2b-cs

Ystar 呂超：Yswap公測版今日正式上線:9月25日，Ystar金融生態聯合創始人呂超在參加哼哈互動舉辦的《尖叫列車第五期》訪談時表示，Yswap公測版今日已經正式上線。Yswap.io是高性能無Gas費的YottaChain公鏈上的Uniswap，可以良好解決高門檻、難操作等限制DEX發展的各項瓶頸。

Ystar首次采用無助記詞的安全易用的密鑰管理模塊，大大降低區塊鏈使用門檻，用戶幾乎可在無感的情況下使用去中心化錢包Bingoo、YStarPool、YStar等產品。

Yswap計劃逐步將以太坊為首的這些公鏈上的優質資產跨鏈映射到Yswap中來，用戶可以方便的將ETH兌換為yETH，與USDY進行絲滑如CEX中的交易，并隨時可以快速便捷的轉換成USDT到其他公鏈。目前許多公鏈也在做類似的事情，這是一個非常明確的方向。[2020/9/25]

4.3Evaluatet/s-csoverce_domain

4.3.1定義evaluatortable

5CommitmenttoEvaluateCS

5.1建立constraintscompositionpolynomial

分析：Bitstamp和Gemini目前對上線DeFi代幣“并不感冒”:The Block研究總監Larry Cermak發文分析了各大交易所上線DeFi代幣的一些情況，一些要點如下：

1. 新的DeFi代幣會DEX上啟動，但是CEX仍然發揮著重要的作用；

2. 在上線CEX后DeFi代幣價格飆升——BAL和YFI都上漲了約50%；

3. 在上線DeFi治理代幣方面，Bitstamp和Gemini完全不上線DeFi代幣。[2020/8/10]

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)

金色相對論丨李自鵬：質押率高會將幣價推向“Staking機制的正螺旋”:在今日舉行的金色相對論中，標準共識李自鵬發言指出：ETH 2.0 是行業重大利好事件，有大量機構投資人看好ETH。同時Staking首次賦予了ETH囤幣的概念，讓ETH成為了除了BTC外，第一個真正有囤幣待漲的代幣。

此外，他闡述了Staking對ETH幣價有這么大影響的原因：1）有較大可能ETH的質押率超過60%，而質押率高會將幣價推向“Staking機制的正螺旋”，即ETH幣價因為2.0版本利好而拉高，進而推動大家Staking熱情，引起質押率高，流動的ETH少，從而導致后面用戶只能更高價格購買，又推高ETH價格。2）要成為驗證人，只能銷毀ETH換BETH，而BETH無法換回ETH，進而減少了市面上的ETH流通量；3）要成為超級節點，獲得ETH唯一速成辦法是從二級市場上購買。[2020/6/17]

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：STAETHTRAIONSTARL幣eth價格今日行情多少Ultra NFTBeNFT Solutions

XLM