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

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

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

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

組成部分

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

野村數字資產子公司：專業投資者對數字資產仍有興趣:6月16日消息，野村數字資產子公司Laser Digital的一項調查顯示，加密熊市和監管環境并未阻止專業投資者對加密的興趣，在為養老基金、財富管理公司、家族辦公室、對沖基金和投資基金工作的受訪投資者中，多達 96% 的人認為數字資產與固定收益、現金、股票和大宗商品等傳統資產類別相比，代表著投資多元化的機會。受訪者表示，他們準備將多達5%的投資藏在數字資產上。

專業投資者共同管理著4.95萬億美元的資產，Laser Digital對其中303人進行了調查。參與者在4月份接受了在線采訪，他們來自全球大多數主要金融市場。[2023/6/16 21:42:43]

排序器

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

區塊鏈支付公司Partior完成由渣打銀行牽頭的A輪融資:金色財經報道，區塊鏈支付技術公司Partior宣布完成A輪融資，本輪融資由渣打銀行全資附屬公司SCOHL領投，SCOHL同意按每股認購股份2.573美元認購于Partior的認購股份，總認購價為2333.28萬美元，以收購Partior 25%股權。創始股東摩根大通、星展銀行和淡馬錫參投。交易金額尚未披露，正等待監管部門批準。這家新加坡初創公司正在開發基于區塊鏈的銀行間支付網絡，并有望支持八種貨幣美元、新加坡元、英鎊、歐元、澳元、日元、離岸人民幣和港元。每家銀行都負責網絡上自己的節點，渣打銀行將成為歐元結算銀行之一。[2022/11/3 12:13:45]

證明者

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

Web3游戲公司Ambrus Studio獲得數百萬美元融資，估值高達6500萬美元:7月29日，據官方消息，Web3游戲初創公司Ambrus Studio宣布，其代幣融資已達數百萬美元，估值高達6500萬美元。這些資金將用于促進產品開發。此輪融資由Spartan Group、M13領投，CVP NLH、6th Man Ventures、Axia8、Krypital、Red Building Capital、Cobo、Bas1s Ventures等參投。另外，娛樂圈具影響力的明星Paris Hilton 參投，期望與Ambrus Studio共創可持續性的游戲生態。

據悉，Ambrus Studio由前拳頭游戲Riot Games亞太區 CEO-Johnson Yeh于2021年12月創立 ，旨在創建一個Free-to-play及強電競屬性的游戲及可持續的元宇宙生態系統。首款游戲《E4C:Final Salvation》希望打造成Web3游戲領域第一個融合電競元素的MOBA手游。[2022/7/29 2:45:10]

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

美政府機構警告來自朝鮮的 IT 工作者可能從事虛擬貨幣相關的惡意網絡攻擊:5月17日消息，美國國務院、財政部和聯邦調查局發布聯合指導文件，警告稱來自朝鮮的 IT 工作者常常冒充來自朝鮮以外國家并試圖獲得工作，他們設計了虛擬貨幣交易所或為虛擬貨幣交易者創建了分析工具和應用程序，并自己推銷他們的產品，雖然通常從事正常的 IT 工作，他們利用作為承包商獲得的特權進行朝鮮的惡意網絡入侵。[2022/5/17 3:20:43]

全節點

是運行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：ARKSTARSTARKSTADMarketstarlink幣1塊Stark ChainSTARSHIP

SHIB