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

STARK深度解析-ODAILY_POL

Author:

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

Step1.Buildtrace

標紅部分為Publicinfo

Step2.ProverforTrace

協議參數選取:

1.AIR實例化

2.驗證AIR和Trace的一致性

2.1校驗基礎參數

2.2校驗assertion有效(boundarycs)

Balancer將為LSD協議StaFi的rETH-ETH池創建Gauge,BAL釋放上限為10%:2月8日消息,流動性質押衍生品協議 StaFi 在 Balancer 社區提議為以太坊上的 rETH-ETH 池創建一個 Balancer Gauge,BAL 釋放上限為 10%。StaFi 將使其 Balancer rETH-ETH 池成為以太坊主網上 rETH 的主要流動性來源。通過增強池的流動性,Balancer 將會從增加的交易費用中獲益。目前該提案已獲得 Balancer 社區投票通過。

StaFi 于 2020 年第三季度推出,重點是為以太坊和其他權益證明鏈(例如 Polygon、Solana 和 Polkadot)上的抵押資產帶來流動性。與其他 LSD 協議類似,StaFi 發行流動性收據 Toekn (rETH),代表用戶通過無許可的驗證器集在信標鏈上質押的以太坊份額。自推出以來,該協議已在 11 種 Token 中積累了價值超過 3600 萬美元的質押資產,并擁有 3439 個活躍驗證者。[2023/2/8 11:54:54]

2.3校驗Trace滿足transitioncs

Transcript

StackOS成為Polygon生態系統的去中心化云提供商:11月8日消息,去中心化計算協議StackOS已成為Polygon生態系統的第一個去中心化云提供商。該跨鏈協議允許開發者和用戶部署全棧應用程序、DApp、區塊鏈私有網和主網節點,很快將與網絡及其同名原生代幣進行互操作。StackOS還將把Polygon節點應用程序添加到其App Store中,這樣開發者只需單擊一下就可以啟動Polygon節點。Polygon開發人員可以將這些節點用于其項目的主網,或者用于私人測試。(NewsBTC)[2021/11/8 6:38:52]

3.Commitfortrace

域參數選取:

3.1Interpolate->LDE->evaluateoverLDE-domain

3.2Commitment

Tracescript

Facebook, Instagram, Whatsapp以及全球其他一些網站出現網頁宕機:據俄羅斯衛星網:Facebook, Instagram, Whatsapp以及全球其他一些網站出現網頁宕機。[2021/10/5 17:24:29]

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

4.3.1定義evaluatortable

Ystar于今日推出分紅寶升級計劃:據官方消息,區塊鏈流量獨角獸Ystar于今日推出分紅寶升級計劃,上線一鍵生息功能,用戶參與分紅寶的資金同時參與生息,可獲得分紅寶+生息雙重收益。

據了解,分紅寶一鍵生息是一項穩定收益率產品。目前共開放100萬YSR額度,500YSR起投,且可實現利息每日提取。[2020/10/15]

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

6.建立DEEPcomposition多項式

Thegeneralformal:f(x)=q(x)*t(x)

Needcheckatrandomz

動態 | 600枚BTC從Xapo交易所轉入Bitstamp交易所,價值496.4萬美元:據WhaleAlert數據顯示,北京時間01月26日09:21,600枚BTC從Xapo交易所轉入Bitstamp交易所,按當前價格計算,價值約496.4萬美元,交易哈希為:32c0a21fd6afd4ff5f369e456454abcc70bbb9857cb15a1ce1a3decc395b912a。[2020/1/26]

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.

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:POLOLYPOLYTRApols幣未來價值polydoge幣被下架啦polyx幣創始團隊TRAVA價格

DOGE
天橋資本旗下基金暫停出金-ODAILY_BRIDGE

天橋資本(SkybridgeCapital)創辦人受訪時證實,旗下基金已暫停出金,直到市場環境容許該基金有能力再次融資為止.

1900/1/1 0:00:00
TRX正式登陸日本知名交易所DMM Bitcoin,波場TRON全球布局進一步加速-ODAILY_USDT

據最新消息,TRX已正式登陸日本知名交易所DMMBitcoin,波場TRON全球布局進一步加速.

1900/1/1 0:00:00
波卡的千人貢獻者計劃是什么?如何參與呢?-ODAILY_ATA

“波卡知識圖譜”是我們針對波卡從零到一的入門級文章,我們嘗試從波卡最基礎的部分講起,為大家提供全方位了解波卡的內容,當然這是一項巨大的工程,也充滿了挑戰.

1900/1/1 0:00:00
繼三箭、Voyager后,Celsius正式申請破產保護-ODAILY_SIU

在凍結用戶提款和轉帳約一個月后,加密貨幣借貸平臺Celsius今日正式宣布,該公司已自愿向紐約南區聲請破產保護,成為繼三箭資本、VoyagerDigital之后.

1900/1/1 0:00:00
波場去中心化算法穩定幣USDD發行總額突破5億美元,對應TRX銷毀量超63億枚-ODAILY_USD

據最新消息,截止5月24日,波場去中心化算法穩定幣USDD發行總額為501,712,602美元,突破5億美元,對應TRX銷毀量為6,394,653,165枚,超63億枚.

1900/1/1 0:00:00
波卡生態周報:Parity團隊為開發者推出定制化服務,官方發力助推波卡生態快速發展 -ODAILY_POL

Polkadot生態研究院出品,必屬精品波卡一周觀察,是我們針對波卡整個生態在上一周所發生的事情的一個梳理,同時也會以白話的形式分享一些我們對這些事件的觀察.

1900/1/1 0:00:00
ads