以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > 比特幣 > Info

Sin7y團隊解讀:STARK - 深度解析_TRA

Author:

Time:1900/1/1 0:00:00

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

Step1.Buildtrace

標紅部分為Publicinfo

Step2.ProverforTrace

協議參數選取:

1.AIR實例化

2.驗證AIR和Trace的一致性

2.1校驗基礎參數

2.2校驗assertion有效(boundarycs)

哈薩克斯坦的金融當局就加密資產交易草案接受公眾意見征詢:2月4日消息,哈薩克斯坦的金融當局正在就該國數字資產交易框架的修改草案開始公眾咨詢,民眾和相關參與方可以在2月25日前提出反饋。批準的提案將被添加到預計將于今年晚些時候發布的 AIFC 數字資產交易概念的修訂草案中,其中包括防止市場濫用、限制結算風險和向投資者披露信息的機制。

該立法還計劃為加密貨幣礦工和交易所建立許可制度,以取代現有的注冊制度。[2023/2/4 11:47:22]

2.3校驗Trace滿足transitioncs

Transcript

3.Commitfortrace

域參數選取:

3.1Interpolate->LDE->evaluateoverLDE-domain

Web3生態系統Fastex Chain將于2月1日啟動測試網:據官方消息,Fastex Chain將于2月1日啟動測試網,測試網將采用共識機制股權自治證明(PoSA),提高Fastex區塊鏈效率和安全性。

據悉,Fastex致力于打造一個高性能、安全、去中心化的區塊鏈。

此前報道,由SoftConstruct支持的Web3生態系統Fastex通過兩輪Token銷售籌集2300萬美元。本輪融資資金將幫助Fastex加速技術開發,進入路線圖的下一階段。[2023/2/1 11:39:30]

3.2Commitment

Tracescript

4.EvaluateCS

4.1獲取線性組合系數

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

在本例中,transitioncs2個;boundarycs3個

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

4.2.1t-cs

美國證交會主席根斯勒敦促制定一份加密規則手冊:6月24日消息,據英國金融時報:美國證交會主席根斯勒敦促制定一份加密規則手冊。美國證交會主席根斯勒正在與美國商品期貨交易委員會(CFTC)就加密規則進行談判。(金十)[2022/6/24 1:29:01]

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)

Glassnode:USDT交易所凈流量達一個月高點:6月16日消息,Glassnode數據顯示,USDT交易所凈流量達到一個月高點,一日的流量均值為26,650,359.894 USDT。[2022/6/16 4:32:34]

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

Thepurposeofsamplingfromtheextensionfieldhere(insteadofthebasefield)istoincreasesecurity.

美股三大股指相繼轉漲,標普500指數漲0.25%。:行情顯示,美股三大股指相繼轉漲,納指現漲0.45%,道指漲0.11%,標普500指數漲0.25%。[2022/6/8 4:09:28]

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:TRAIONPOLPOSDecentralized Community Investment ProtocolMission Heliospolkawallet錢包質押POSS幣

比特幣
解讀300頁白宮的加密行業報告_加密貨幣

為回復總統拜登的行政命令,白宮發布了一系列有關加密行業的報告,由不同部門編輯。我通讀了300頁的所有報告,所以讀者們不用再做同樣的工作.

1900/1/1 0:00:00
以太坊合并完成后專訪V神:轉POS后中心化風險被”過度炒作”_以太坊

以太坊合并完成后,VitalikButerin?接受Bankless專訪,分享了他對合并、以太坊路線路、質押等的看法,比推編輯部為您整理了采訪中的關鍵要點.

1900/1/1 0:00:00
ETH 9.24 反彈是為了更好的下跌_CON

迷茫者,絕望者,深陷者,沖動者,大白菜金錢的游戲里充滿危機,尸橫遍野,火中取栗需要真本事,技術,經驗,心態缺一不可本月度已接近月末,跌幅已經超過10%,整體來看,下跌空間依然充足.

1900/1/1 0:00:00
易米基金程偉慶:市場特征的變異和接下來需要留意的幾大行業_SWAP

程偉慶北京大學經濟學博士現任易米基金副總經理。23年賣方研究和買方投資經驗,其中13年機構投資經驗.

1900/1/1 0:00:00
一文速覽 DeFi 借貸新格局:新老借貸項目都有哪些變化?_ENS

撰文:Mikey0x 在過去的幾個月里,DeFi借貸環境發生了巨大的改變,我認為人們有必要了解了一下這個領域的一些更新.

1900/1/1 0:00:00
JZL Capital 數字周報第39期 9/26/2022_NFT

????一、上周行業動態: ???? ???????本周數字貨幣市場在周三乘上了美股的“過山車”,在FOMC會議的過程中急漲急跌,會議開始后的15分鐘內比特幣先是下跌5.12%.

1900/1/1 0:00:00
ads