Web3降智系列是我在2023年新開始的一個以日常交流中Web3er對一些知識和概念的誤解為引子,以即使你在忙了一天后大腦停機的降智狀態也能讀懂為目的,通過講述設計思想而不是外在表現,盡量不涉及具體公式和代碼的面向非技術人員的科普系列。??
繼上次我們提到StarkNet發布了開源的Sequencer后,StarkWare又搞了一個大新聞:StarkNet的Prover即將開源!
不知不覺的,從去年11月Cairo語言開源之后,三個月的時間內,StarkNet的所有組件全部重寫+開源。在這里,我們回顧一下StarkNet的開源堆棧吧。
整體架構
首先,我們先復習一下上次的文章里提到的StarkNet架構。
Seed Club Ventures公布已投資項目,包含Lens Protocol等:3月28日消息,DAO加速器SeedClub發文公布旗下風投基金Seed Club Ventures已投資項目。Seed Club Ventures在preseed輪和種子輪投資了包括Guild、StabilityAI、LensProtocol、Coordinape和Molecule在內的互聯網原生項目,投資領域涵蓋人工智能、去中心化科研和Web3社交等前沿領域。
此前報道,3月21日消息,Seed Club 以2500萬美元的資金啟動了其風投部門Seed Club Ventures。該筆資金將在未來幾年內部署到種子前和種子階段的項目,為DAO和開放社區建設基礎設施、應用程序和工具,投資金額從10萬美元到100萬美元不等。[2023/3/28 13:30:54]
富達首次嘗試將其部分共同基金轉換為ETF:金色財經報道,Fidelity Investments是美國最大的資產管理公司之一,它首次嘗試將其部分共同基金轉換為 ETF。這家公司透露,計劃將其六只主題共同基金轉換為主動管理的交易所交易基金。富達預計將在 2023 年 6 月完成轉換。
此次轉換將使其活躍的股票 ETF 陣容從現有的 9 只增加到 15 只。根據富達發言人的電子郵件評論,截至 10 月 31 日,現有基金管理的資產約為 7.2 億美元,而六只主題共同基金的資產總額約為 4.3 億美元。?該公司在聲明中表示,所有轉換后的 ETF 將由與共同基金相同的投資組合經理領導。富達管理著總計 280 億美元資產的 51 只 ETF。[2022/11/28 21:06:01]
Sequencer?負責管理和協調交易的執行順序。Sequencer可以認為是一個交易隊列,它確保在同一個區塊內的所有交易按照指定的順序執行,并且確保沒有交易被重復執行。Sequencer還負責驗證交易的合法性,并將其寫入區塊鏈。
MakerDAO總資產規模升至70億美元上方:7月31日消息,據Dune Analytics數據顯示,MakerDAO總資產規模已升至70億美元上方,截至目前為7,088,035,629美元。[2022/7/31 2:49:28]
Prover則負責生成關于Sequence執行軌跡有效性的加密證明。目前,這項工作是由單一的Prover,即「ShareProver」或「SHARP」執行的。
Verifier位于L1,用于驗證StarknetProver產生證明的智能合約,如果運行成功,其將更新以太坊L1上的狀態用于記錄保存。
在上一篇文章里我們提到了上述三個部件,這一次除了Sequencer和Prover,我們還將對FullNode進行說明。
Layer Three Ventures推出3000萬美元Web3加密基金和加速器:6月27日消息,Web3風投基金Layer Three Ventures宣布推出3000萬美元Web3加密投資基金和加速器,旨在尋找、支持、啟動和資助下一代成功的Web3初創公司。
該基金將與Near Nordic、Klint和Growth Secrets 形成戰略和生態系統合作,后續將推出兩個為期12周的加速器計劃,預計第一個加速器隊列將于 2022 年 12 月下旬完成。(GolobeNewswire)[2022/6/28 1:34:55]
Sequencer—Blockifier
Starknet的新SequencerBlockifier已于1月26號發布,其節點部分和CairoOS部分分別基于將在下面提到的Papyrus和Cairo-rs。之前的Sequencer是一個閉源的由python編寫客戶端,且只由StarkNet自己控制。而這個Python客戶端是連官方也承認的慢,而且也沒實現交易執行的并行性,這嚴重影響了StarkNet的TPS,且不符合去中心化思想。
這個由Rust編寫的Sequencer開源后,最基礎的,是可以讓任何人都可以自行編譯和運行自己的Sequencer客戶端。同時根據官方自己的信息,這個客戶端大幅度的提高了執行速度。而官方的后繼計劃也在路上:
-整合現有的StarkNetSequencer,通過替換其當前用Python編寫的事務塊化組件。
-實現交易執行的樂觀并發。
-將Blockifier擴展成一個完整的StarkNetSquencer,替換當前使用的sequencer。
FullNode—Papyrus
FullNode,即全節點,在Starknet中指的是一個PathFinder客戶端或者運行這個客戶端的機器。一個全節點會記錄rollup中執行的所有交易,并跟蹤系統的當前全局狀態。它通過p2p網絡接收此信息,每當創建一個新塊時,都會共享全局狀態和與其相關的有效性證明。
而Papyrus,是一個StarkNet全節點的Rust實現,已經于1月16號發布。它將成為新的StarkNetSequencer的基礎的一部分,大大提高StarkNet的TPS。開源Papyrus,將有助于提高StarkNet性能和去中心化。
CairoOS—Cairo-rs
CairoOS是Sequencer中用來執行以Cairo語言編寫的合約的虛擬機。而Cairo-rs,是一個由第三方開發團隊Lambdaclass開發的新的開源CairoVM,用以替換老舊的由Python開發的CairoVM。
Prover—???(名稱未定)
那么這次的開源Prover又對于StarkNet的架構有什么意義?第一是為Prover的去中心化做準備,第二則是為了提高StarkNet的TPS。目前StarkNet僅有官方運行的單一Prover,叫做即「ShareProver」。為什么它的名稱里有個共享?是因為這個證明器不僅負責生產StarkNet的證明,還要負責生成StarkEX的證明。這嚴重影響了StarkNet的TPS,且不符合去中心化思想*agian。
有了開源的Prover之后,任何人都可以自行編譯和運行自己的Prover。當然,Prover還仍然只是宣布開源,暫未放出GitRepo。而且因為ZK的特性,Prover為計算生成證明所需的計算遠遠多于Sequencer所執行的計算,所以根據官方的舊文檔,Prover可能需要極高的配置,準入門檻非常高。
CairoLanguage
Cairo1.0也已經在今年開源,由于CairoLanguage是由Rust編寫,StarkNet整個官方生態可以說已經變成了Rust全家桶。當然,Cairo1.0還未被StarkNet所支持,因此還不能用來編寫智能合約。根據官方消息,將在2023年Q1之內實現對Cairo1.0支持。
北京時間2月23日晚間,Coinbase?宣布將基于OPStack?推出以太坊Layer?2網絡?Base,這是一個安全、低成本、開發者友好的以太坊Layer?2?.
1900/1/1 0:00:00這是白話區塊鏈的第1863期原創?作者|Joyce出品|白話區塊鏈比特幣生態似乎火起來了:先有前Twitter創始人JackDorsey的社交應用Damus的爆火出圈,又一次帶火比特幣閃電網絡.
1900/1/1 0:00:00注:本文來自@BiteyeCN推特,MarsBit整理如下:"只有你,懂得我,就像被困住的野獸,在這區塊鏈,渴求自由"Biteye希望能成為燈塔,照亮大家的自由之路.
1900/1/1 0:00:00MarsBitCryptoDaily2023年2月17日 一、?今日要聞 《華爾街日報》:一名比特幣核心代碼管理員已于本周四離開,當前擁有代碼修改權限的僅剩5人據《華爾街日報》披露.
1900/1/1 0:00:00以太坊Layer2發展迅猛,Optimism與Arbitrum的處理交易量甚至超過了以太坊主網,而以太坊網絡則自10月以來已下降了約33%.
1900/1/1 0:00:00在上篇名為《早期Web3創業公司融資入門教程》的文章里,我們分享了不同類型的融資渠道,比如投資DAO或獎金計劃。作為續篇,本文將與大家分享更多融資相關的資源包.
1900/1/1 0:00:00