作為不需要可信設置的零知識證明算法代表之一,STARK算法被應用于StarkNet生態的各個項目中,比如dydx,immutableX等,并表現出了不俗的性能。本文將主要從代碼層面剖析STARK算法的實現過程,幫助大家對STARK算法有更深入的理解。
Step1.Buildtrace
標紅部分為Publicinfo
Step2.ProverforTrace
協議參數選取:
1.AIR實例化
2.驗證AIR和Trace的一致性
2.1校驗基礎參數
2.2校驗assertion有效(boundarycs)
某巨鯨過去兩天買入9623億枚PEPE,目前虧損約54萬美元:金色財經報道,據Lookonchain監測顯示,一巨鯨在過去兩天用70枚WBTC(約207萬美元)與470枚ETH(約93.7萬美元)買入9623億枚PEPE,平均買入價格為0.000003122美元。按照目前價格,該巨鯨已虧損約54萬美元。行情顯示,PEPE現報價為0.0000025516USDT。[2023/5/7 14:48:04]
2.3校驗Trace滿足transitioncs
Transcript
3.Commitfortrace
域參數選取:
3.1Interpolate->LDE->evaluateoverLDE-domain
美SEC專員:“審查改變交易平臺定義”或將破壞美國憲法:金色財經報道,美國證券交易委員會(SEC)準備在重新開放擬議法規時轉向DeFi監管,涉及審查改變交易平臺的定義,包括DeFi協議和去中心化交易所(DEX)。對此,美國證券交易委員會專員Hester Peirce表示,該公告發出了一個信息,即美國對促進金融市場的創新和競爭不感興趣,而是尋求保護現任者,而且這個含糊不清的計劃或將破壞美國憲法第一修正案的基本保護。[2023/4/17 14:07:07]
3.2Commitment
Tracescript
4.EvaluateCS
4.1獲取線性組合系數
系數個數和約束的個數一致
在本例中,transitioncs2個;boundarycs3個
4.2為t-cs和b-cs構建evaluator
4.2.1t-cs
徐明星:OKBChain測試網將很快推出:3月20日消息,徐明星在社交媒體上回復用戶問題稱,OKBChain 測試網將很快推出,原定于 2023 年第一季度發布的計劃沒有被推遲。[2023/3/20 13:14:40]
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)
(a*x^2+c),(b*x^2+d)分別對應兩個column
xHashtag推出“.SOUL”域名服務:12月1日消息,P2E DAO xHashtag宣布推出“.SOUL”域名服務,相關域名可以在xhashtag.io上一次性付費購買,與傳統域名不同,該域名沒有相關的年度續訂費。此外,“.SOUL”域名還可以作為以太坊鏈上的ERC-721 NFT,在OpenSea等NFT市場上交易。(techbullion)[2022/12/1 21:16:23]
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.
DogeCoin市值超越ADA位居全球加密貨幣市值排名第8位:金色財經報道,CoinMarketCap數據顯示,DogeCoin市值超越ADA位居全球加密貨幣市值排名第8位,當前市值為156.28億美元,ADA市值為142.59億美元位居全球加密貨幣市值排名第9位。DogeCoin過去24小時上漲42.38%,現報0.1193美元。[2022/10/30 11:57:49]
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:TRAIONPOLOLYGlobal Digital Trade WarrantMINIONS幣Corgi of PolkaBridgePOLYX幣
DeFi數據 1.DeFi代幣總市值:444.78億美元DeFi總市值數據來源:coingecko2.過去24小時去中心化交易所的交易量49.
1900/1/1 0:00:009月26日至9月27日,由ABGA主辦、iPolloverse冠名的2022鏈游大會于新加坡金沙酒店隆重舉行,本次大會聚集了全球Web3.0開發者、投資者及支持者,現場觀眾絡繹不絕.
1900/1/1 0:00:00Grape Grape讓你通過使用Solana創建、獎勵和保護任何在線社區。用戶根據他們的錢包余額和他們持有的代幣獲得訪問權.
1900/1/1 0:00:00原文作者:MichaelNadeau,來源:TheDeFiReport本周我們將重點關注DeFi的借貸領域.
1900/1/1 0:00:00各位朋友大家好,我是幣馬瘟專注數字幣行情解析,每日會認真及時更新自己對數字幣的分析與見解,如果覺得還不錯的可以點擊關注.
1900/1/1 0:00:00撰文:傅卓蕊Cosmos跨鏈生態系統如今和波卡系統可謂跨鏈的雙峰,尤其近1-2年發展迅猛。近2021年10月,亞洲開發銀行通過Cosmos技術分布式管理賬本信息.
1900/1/1 0:00:00