以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

STA:StarkNet 組成部分、工作原理與網絡延遲

Author:

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

在這篇文章中,我會向你介紹三個東西

StarkNet的組成部分StarkNet的工作原理StarkNet網絡延遲的原因首先我要說明,文中75%以上的知識是由StarkNet開發倡導者?@barretodavid?寫的文章翻譯而來,剩余的25%是我增添的,有英文閱讀能力的小伙伴可以自行閱讀原文。

https://david-barreto.com/starknets-architecture-review/#more-4602

組成部分

StarkNet有五個組成部分。分別是在StarkNet上的Prover,Sequencer和全節點;以及部署在以太坊上的驗證者和核心狀態合約。接下來我將逐步解釋他們的功能,需要提醒的是下文出現的交易和事務都由transaction翻譯而來,根據語境進行變換。

ETH 2.0總質押數已超2744.19萬:金色財經報道,數據顯示,ETH 2.0總質押數已超2744.19萬,為27441888個,按當前市場價格,價值約506.99億美元。此外,目前ETH 2.0質押總地址數已超90.52萬,為905241個。[2023/8/13 16:22:50]

排序器

是一個鏈下服務器,接收所有的事務、訂單,確認并捆綁他們到區塊。目前只有一個由StarkWare控制的排序器。但在未來有去中心的區塊創建計劃。為了讓排序器確認交易,它必須使用Cairo操作系統來執行交易,這是EVM的替代品,用于用Cairo編寫的智能合約。

證明者

證明者負責生成一個加密證明,以證明排序器在通過執行新區塊中包含的交易得出新的全局狀態時進行計算的完整性。為了讓驗證器生成有效性證明,它需要得到由排序器執行計算的"執行軌跡",由Cairo語言生成。

The Graph Q2報告:托管服務向主網發布1082個子圖,環比增長39%:金色財經報道,Messari發布The Graph 2023年第二季度報告,報告顯示:

· 截至 2023 年第二季度,The Graph 的托管服務向主網發布了 1,082 個子圖,環比增長 39%;

· 正在進行的 The Graph 協議智能合約到 Arbitrum 的 L2 遷移旨在為 The Graph 的用戶帶來無縫和低 Gas 費的去中心化數據體驗;

· 在 2023 年第二季度,The Graph 以美元計算的需求端收入環比下降 48%,這是由于 DApp 優化查詢量以及治理活動和去中心化基礎設施的總體使用量減少所致;

· 2023 年第二季度,索引獎勵收入環比增長 3%,超過 900 萬美元;在第二季度分配的總索引獎勵中,委托人獲得了 64%;

· 在 MIPs 激勵計劃之后,The Graph 的活躍索引器環比下降了 29%,而委托人和策展人分別增長了 2% 和 3%。[2023/7/30 16:06:28]

目前系統中只有一個證明者,它不僅為StarkNet生成證明,也為所有其他運行在自己的StarkExRollup上的應用程序生成證明。這就是為什么這項服務也被稱為"共享證明器"或SHARP。

Patrick Hansen:歐盟公民不受美國對Tornado Cash制裁的影響,但混合器將被視為高風險交易:金色財經報道,Presight Capital的加密風險投資顧問Patrick Hansen在社交媒體上表示,歐盟公民不受美國對Tornado Cash制裁的影響,但根據即將出臺的歐盟法規,混合器將被視為高風險交易。連接的資產將很難脫手,需要說明理由,并可能被報告給金融監管機構。

如果您通過Tornado Cash等混合器發送資產并且需要與受監管的參與者互動,他們將需要在決定拒絕轉移之前要求您證明使用這些Tornado Cash的合理性。該決定也將(連同您的個人信息)報告給監管機構(例如德國的 BaFin),這顯然是一個巨大的隱私風險和擔憂,尤其是對于首先決定使用隱私工具的人。

因此,盡管個人不會因為直接在歐盟使用Tornado Cash而被定罪(至少現在還沒有——讓我們等待歐盟的反應),但將這些資產轉移出去將非常困難,并且相關資產將始終被標記為高風險(針對 AML/CFT)。

然而,許多(大多數)受監管的實體已經有類似的 AML 流程/標志,并且不愿意接受與混幣器相關的資產,就像許多交易所出于AML問題搶先下架門羅幣等隱私幣一樣。[2022/8/9 12:13:24]

全節點

JMMB Group正在探索牙買加CBDC項目:6月8日消息,JMMB Group表示,目前公司正處于該國央行數字貨幣(CBDC)項目的探索階段,該項目目前正在全國推廣。JMMB數字服務總經理Gifford Rankine稱,目前,公司正在尋找合適的技術合作伙伴,為我們的客戶提供最大的價值。

牙買加央行推出的數字貨幣Jam-Dex項目現在正由國家商業銀行(NCB)通過其Lynk錢包推動。隨著該項目的提速,預計其他金融機構也將加入,尤其是在該國試圖加快數字經濟發展的背景下。

JMMB表示,公司在執行數字轉型機制方面非常先進,其還在準備推出一系列新產品,以此尋求實現其增長目標。(Jamaica Observer)[2022/6/8 4:10:46]

是運行Pathfinder客戶端的機器,以記錄在Rollup中執行的所有事務,并跟蹤系統的當前全局狀態。

全節點通過p2p網絡接收這些信息。全局狀態的變化和與之相關的有效性證明在每次創建新區塊時都會被共享。當一個新的全節點建立后,它能夠通過連接到Ethereum節點并處理所有與StarkNet相關的L1事務來重構Rollup的歷史

驗證者

驗證者是以太坊上的一個智能合約,它從證明者那里接收新生成的證明作為L1交易并在鏈上進行確認。確認的結果被發送到StarkNet的核心智能合約以保存記錄,并從StarkNet觸發一組新的L1交易來更新鏈上的全局狀態以保存記錄。

StarkNetCore

Core是一個智能合約,每當一個新的L2區塊被創建并且其加密證明被驗證者成功地在鏈上確認時,它就會從StarkNet接收對L2全局狀態的改變。

狀態轉換以"calldata"的形式發送,以節省多個L1事務的氣體,因為單個區塊的空間有限。

這些關于StarkNet的"metadata"被StarkNet的全節點解密,以便在首次同步時重建網絡的歷史。

工作原理

當我們在StarkNet上發起一個交易,Starknet中的排序器給交易排序,確認、出塊后執行交易;StarkNet上的證明者給交易生成證明,并發送給以太坊的驗證者;驗證者將收到的證明作為L1交易在以太坊驗證(validata),驗證結果發送給同在以太坊上的StarkNetCore合約,當StarkNetCore合約確認驗證者在鏈上成功確認其加密證明時,它都會接收對StarkNet全局狀態的更改。狀態事務作為“calldata”來發送,以節省L1事務gas。這些“metadata”可被StarkNet全節點解密。全節點基本扮演存儲角色,狀態改變,元數據,證明。記錄在Rollup中執行的所有事務,并跟蹤系統的當前全局狀態。在有必要的時候,解密“metadata”來重構StarkNet的歷史。

網絡延遲

目前我們在StarkNet上的網絡延遲由兩個因素構成。

第一個是StarkNet固定的一分鐘出塊時間。

關于一分鐘出塊時間,StarkNet上的證明者每隔一分鐘就會生成一個有效性證明,對應于過去60秒內發生的所有交易。有效性證明和該間隔期間的狀態轉換被提交給完整節點,每一分鐘完成一次StarkNet上的結算。

簡單來講,StarkNet每一分鐘出一次塊,有圖為證:

而每隔一小時,系統會從每分鐘創建的所有有效性證明中生成一個有效性證明,并將其與該區間內發生的所有狀態變化一起提交給以太坊,每小時在以太坊上完成一次結算。不過這個一小時并不需要用戶等待。

第二個因素是證明生成速度。它和一分鐘出塊的時間是并行的。

目前StarkNet的證明生成速度慢于排序的速度,但在StarkNet之后的升級中增加了并行交易,因此可以進一步提升處理量。

總結:StarkNet的等待時間由固定的一分鐘出塊和證明生成速度構成。前者實際不到一分鐘,后者可以隨著網絡升級和ZK加速硬件的推進而得到改善,這兩者也是并行的。因此,StarkNet的網絡延遲將會越來越低。

責任編輯:Kate

Tags:ARKSTARKSTARSTAArkhamSTARK幣Ystar FarmingbStable

比特幣行情
APP:Web3錢包SDK生態速覽

引導web2用戶創建一個錢包,是出圈敘事的開局與關鍵長時間內,出圈都將是web3世界中的有力敘事。將web2用戶成功引導至web3的標志,是讓用戶擁有第一個Crypto錢包.

1900/1/1 0:00:00
WEB3:香港和新加坡,誰是亞洲加密金融中心?

去新加坡,還是去中國香港?對中國Web3的創業者來說,是一個問題。2022年11月,中國香港金融科技周和新加坡金融科技周同時舉辦,將這場競賽推向高潮.

1900/1/1 0:00:00
以太坊:藍狐筆記:以太坊L2與公鏈的格局之爭

不久前Circle計劃在Arbitrum和Optimism上引入USDC的出入金通道,開發者可以使用其API。同時將它跟其他公鏈網絡,如polkadot、cosmos、near等并列.

1900/1/1 0:00:00
ROLL:Layer2設計的基石:數據可用性與欺詐證明

最近,我們在推特上看到了關于數據可用性及其重要性的討論。毫無疑問,L2解決方案正在賦予以太坊能夠成為全球超級計算機的力量.

1900/1/1 0:00:00
DAO:通過工作組在DAO中展開更有效的治理

這篇文章的靈感來自一條推文“你想了解更多關于DAO的信息嗎?你緊迫的問題是什么?”Frisson回答,他有興趣從Trustware和Socialware的角度了解工作組是如何實施的.

1900/1/1 0:00:00
VEX:Outlier Ventures:探討 ve 代幣模型的優缺點及改進思路

什么是投票托管? 投票托管是由CurveFinance提出,代幣持有者將其治理代幣鎖定一段預定的時間,并獲得投票托管代幣作為回報的一種協議.

1900/1/1 0:00:00
ads