作為不需要可信設置的零知識證明算法代表之一,STARK算法被應用于StarkNet生態的各個項目中,比如dydx,immutableX等,并表現出了不俗的性能。本文將主要從代碼層面剖析STARK算法的實現過程,幫助大家對STARK算法有更深入的理解。
Step1.Buildtrace
標紅部分為Publicinfo
Step2.ProverforTrace
協議參數選取:
1.AIR實例化
2.驗證AIR和Trace的一致性
2.1校驗基礎參數
2.2校驗assertion有效(boundarycs)
Meta將在全球裁員中削減約20%的愛爾蘭崗位:金色財經報道,市場消息:Meta Platforms(META.O)將在全球裁員中削減約20%的愛爾蘭崗位。[2023/5/24 22:15:07]
2.3校驗Trace滿足transitioncs
Transcript
3.Commitfortrace
域參數選取:
3.1Interpolate->LDE->evaluateoverLDE-domain
3.2Commitment
CZ:Paxos已保證資金的安全性:2月13日,Binance創始人CZ發布推文就近期“SEC調查BUSD發行商Paxos”風波進行回應表示:Paxos將繼續提供產品服務,并管理贖回功能。Paxos還向我們保證,這些資金是安全的,并且完全能夠由其銀行準備金覆蓋,其準備金已經被多個審計公司進行多次審計。[2023/2/13 12:04:29]
Tracescript
4.EvaluateCS
4.1獲取線性組合系數
系數個數和約束的個數一致
在本例中,transitioncs2個;boundarycs3個
4.2為t-cs和b-cs構建evaluator
4.2.1t-cs
4.2.2b-cs
4.3Evaluatet/s-csoverce_domain
工業元宇宙公司Worlds完成2120萬美元A輪融資:金色財經報道,工業元宇宙公司Worlds完成2120萬美元A輪融資,Moneta Ventures領投,Align Capital、Green Park、Golf Ventures、Chevron Technology Ventures、Piva Capital、Perot Jain和Capital Factory等參投。
該公司從Hypergiant Sensory Sciences更名為Worlds,是一家為工業企業構建車間運營數字孿生模型以提高其生產力或效率的公司,新名稱將反映其為推銷所謂用于構建工業元宇宙的4D基礎設施所做的努力。該公司表示,其其他客戶包括雪佛龍、馬來西亞國家石油公司和Hillwood Development Company。[2023/1/10 11:02:55]
4.3.1定義evaluatortable
5CommitmenttoEvaluateCS
5.1建立constraintscompositionpolynomial
5.2commitmenttocompositionpoly
Example:
近7天USDT流通供應量增長約8億美元:金色財經消息,據CoinMarketCap數據顯示,近一周USDC流通供應量下降約7億美元,USDT流通供應量增長約8億美元,目前USDC流通供應量約536億美元,USDT流通供應量約672.8億美元。[2022/8/15 12:25:21]
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)
3.calculateDeep_composition=(q(x)-q(z))/(x-z)
4.CheckLDTforq_q(x)
6.1selectzwhichoutofdomain(ood)
drawanout-of-domainpointz.DependingonthetypeofE,thepointisdrawneitherfromthebasefieldorfromanextensionfielddefinedbyE.
數據:BTC已實現市值達8個月新低:金色財經消息,據Glassnode數據,BTC當前已實現市值(Realized Cap)為424,736,757,745.44美元,達8個月以來新低。[2022/7/6 1:55:49]
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
來源:金色財經
2022年上半年,整個加密市場處于熊市,項目崩盤較多,市場急需一個靠譜且優質的項目出現,重新喚起投資者的交易熱情,也需要在現階段埋伏一批未來的潛力幣.
1900/1/1 0:00:00主要內容 數字收藏品是虛擬物品的有限或獨特副本。它通常以數字交易卡、視頻剪輯或藝術品的形式出現。?使用區塊鏈技術,不可替代代幣(NFT)使我們能夠收集幾乎所有以數字形式出現的東西.
1900/1/1 0:00:00以太坊完成了一次重大的網絡升級,標志著加密世界迄今為止最雄心勃勃的軟件升級,并為可能推動商業區塊鏈使用增加的變化鋪平了道路.
1900/1/1 0:00:00加密市場熊市已經很長時間了,市場缺少亮點。上海:給予“元宇宙”領域招商項目不超過項目投資30%的資金支持:金色財經報道,上海市人民政府辦公廳印發《關于新時期強化投資促進加快建設現代化產業體系的政.
1900/1/1 0:00:00????快的話一周時間,比如今年就有一波機會,騰訊的有個女生,用了20萬,三天賺了1000萬,做空luna,這種機遇可遇不可求,能不能抓住機會先不說,干不干一路開空吃到底是另外一回事.
1900/1/1 0:00:00頭條 ▌蘋果對通過iOS應用內進行的NFT交易收取高達30%的傭金9月24日消息,蘋果公司對通過iOS應用程序內的所有NFT交易也收取高達30%的傭金,但由于蘋果公司目前不處理任何加密貨幣交易.
1900/1/1 0:00:00