背景介紹
從比特幣創世開始,一直到以太坊網絡中CryptoKitties游戲的出現。主流公鏈項目最被人詬病的地方就是低下的TPS。以太坊15左右的TPS完全無法給大多數應用提供實時穩定的支持,這與當前互聯網行業動輒上萬TPS的業務形成了鮮明的對比。甚至有很多人因此覺得公鏈將長期處于“不可用”狀態。然而,公鏈愛好者不會因為困難而停下腳步。
主流方案對比
對于以太坊而言,過去幾年內關于以太坊擴容的方案如雨后春筍般涌出,形成了百家爭鳴的態勢。其主流的方案如下所示:
1.鏈上擴容:
分片技術:分片一詞本來源于數據庫的術語,表示將大型數據庫分割為很多更小的、更易管理的部分,從而能夠實現更加高效的交互。
區塊鏈分片是指對區塊鏈網絡進行分片,從而增加其擴展性。根據最新的以太坊2.0規范,以太坊區塊鏈會被分為1024個分片鏈,這也意味著以太坊的TPS將提高1000倍以上。但目前Sharding方案仍然在跨分片通信、欺詐識別、隨機分配與選舉安全性等方面存在不足。
游戲領域Layer 3項目Xai將在Arbitrum上推出:6月16日消息,Xai是一個專為游戲設計的Layer 3網絡,該項目利用了Arbitrum Orbit的技術堆棧,預計將于今年晚些時候推出。
該區塊鏈由Xai基金會主導,并與Arbitrum開發商Offchain Labs和web3游戲開發商Ex Populus合作推出。[2023/6/16 21:40:37]
2.鏈下擴容:
狀態通道:指代用于執行交易和其他狀態更新的“鏈下”技術。
但是,一個狀態通道內發生的事務仍保持了很高的安全性和不可更改性。如果出現任何問題,我們仍然可以回溯到鏈上交易中確定的穩定版本。
側鏈技術:側鏈是平行于主鏈的一條鏈,由側鏈上的驗證者把一條鏈的最新狀態提交給主鏈上的智能合約,這樣持續推進的一類系統。側鏈通常使用PoA(Proof-of-Authority)、PoS(ProofofStake)等高效的共識算法。它的優勢在于代碼和數據與主鏈獨立,不會增加主鏈的負擔,缺陷在于它的安全性弱、不夠中心化,無法提供審查抗性、終局性和資金所有權保證。
Free-to-Play H5游戲Flappy Moonbird將于5月9日在以太坊鏈上開啟鑄造:4月27日消息,Free-to-Play H5 游戲 Flappy Moonbird 宣布將于 5 月 9 日在以太坊鏈上開啟鑄造。
此前消息,Flappy Moonbird 于 4 月 25 日宣布以 6000 萬美元估值完成 200 萬美元 Pre Series B 融資,FBG Capital 領投。Flappy Moonbird 由法國視頻游戲開發商和發行商 Voodoo 旗下工作室 Helix Table 制作,該公司開發了 100 多款休閑游戲。[2023/4/27 14:30:46]
Rollup技術:顧名思義,就是把一堆交易卷起來匯總成一個交易,所有接收到這個交易的節點只去驗證執行結果,而不會驗證邏輯。因此Rollup交易所需Gas費會遠小于交易Gas費總和,TPS也增加了。
主流的Rollup技術可以分為兩類:
ZkRollup:基于零知識證明的Layer2擴容方案,采用有效性驗證方法(VP),默認所有交易都是不誠實的,只有通過有效性驗證才會被接受。ZkRollup在鏈下進行復雜的計算和證明的生成,鏈上進行證明的校驗并存儲部分數據保證數據可用性。
美國政府監管機構Empower Oversight支持Roslyn Layton向法院提交的干預動議:金色財經報道,美國政府監管機構 Empower Oversight 發文支持技術政策專家 Roslyn Layton 就美國證券交易委員會(SEC)與 Ripple 的訴訟案向紐約南區法院提交的干預動議,該動議要求獲取 SEC 前高管 William Hinman 在 2018 年發表的關于加密貨幣的爭議性演講文件。Empower Oversight 創始人兼總裁 Jason Foster 表示:公眾應該得到 SEC 的答復。去年 10 月,Empower Oversight 在正在進行的關于加密貨幣案件中利益沖突和選擇性執法相關文件的信息自由法案訴訟中對 SEC 的簡單判決動議提出異議。[2023/2/24 12:27:47]
OptimisticRollup:樂觀的Rollup協議,采用欺詐證明方法,即對鏈上發布的所有Rollup區塊都保持樂觀態度并假設其有效,它僅在欺詐發生的情況下提供證據。
Hashflow正式推出基于LayerZero的無橋跨鏈交換服務:金色財經報道,去中心化交易平臺Hashflow正式推出基于LayerZero的Hashflow無橋跨鏈交換服務,采用詢價(RFQ)模式,專業做市商設定代幣價格。用戶不用跨鏈橋,并且在跨鏈交換時不會收到封裝版本的代幣,支持以太坊、Avalanche、BNB Chain、Arbitrum 和 Polygon 之間的兌換。(Coindesk)[2022/4/28 2:35:59]
樂觀Rollup的優勢在于能使得原生Layer1上的solidity合約可以無縫移植到Layer2,從而最大程度提升了技術人員的研發體驗,目前主流方案包括Optimism和Arbitrum。
Plasma方案:通過智能合約和Merkel樹建立子鏈,每個子鏈都是一個可定制的智能合約,子鏈共存并獨立運行,從而大幅降低主鏈的TPS壓力。
我們對解決方案進行比較,結果如下:
DFINITY基金會推出集成開發環境Motoko Playground:7月28日,DFINITY基金會宣布開源并發布運行在互聯網計算機網絡中的集成開發環境(IDE)Motoko Playground。
Motoko是互聯網計算機的編程語言,而Motoko Playground將允許用戶直接在網絡瀏覽器中構建和部署Canister智能合約,而不需要下載DFINITY CanisterSDK或設置錢包。[2021/7/28 1:21:14]
Rollup機制目前被普遍認為是最有前景的擴容方式,在兩種主流的Rollup方案中,最核心的問題便是如何驗證Rollup交易中的真實性。
OptimisticRollups和ZKRollups運用了不同的思維邏輯,前者樂觀地相信交易的真實性,而后者悲觀地不相信,因此生成零知識證明來自證清白。
相比之下,兩者的優劣如下:
OptimisticRollup的優勢是能夠更好地支持EVM合約,劣勢在于驗證效率低,安全性較低;
ZkRollup的優勢在于高度去中心化,驗證效率高,劣勢在于生成零知識證明并打包的過程非常復雜,較難兼容EVM,也較難落地。
下面主要對OptimisticRollup的兩大方案Optimism和Arbitrum進行介紹。
Optimism和Arbitrum
首先我們來看看OptimisticRollup方案的流程:
Optimism和Arbitrum在基本流程上跟上述描述一樣,直截了當來說:Optimism的爭議解決方案比Arbitrum更依賴于以太坊虛擬機(EVM)。當有人提交關于Optimism的挑戰時,存在問題的交易都會通過EVM再運行一遍。
相比之下,Arbitrum使用鏈下爭議解決流程將爭議二分減少到一筆交易中的一個步驟。然后,協議將這個一步的斷言發送到EVM進行最終驗證。
因此,從概念上講,Optimism的爭議解決過程比Arbitrum簡單得多。但Arbitrum大大減少了鏈上的驗證壓力。
Arbitrum的整體架構如下所示:
由于Arbitrum是針對以太坊的擴容方案,因此Arbitrum架構自然部分存在于Layer1上,部分存在于Layer2上;
存在于Layer1上的Arbitrum組件為EthBridge,它是一組以太坊合約;
EthBridge負責仲裁ArbitrumRollup協議,以及維護鏈的inbox和outbox;
鏈的inbox和outbox允許用戶、Layer1合約和完整節點將他們的交易發送到鏈并觀察這些交易的結果;
Arbitrum虛擬機是Layer1和Layer2之間的網關,這也由EthBridge產生;
AVM能夠讀取輸入,并對這些輸入執行計算以產生輸出;
ArbOS運行在Arbitrum虛擬機之上,負責保證Arbitrum鏈上智能合約的執行;
ArbOS完全存在于Layer2上,并像在以太坊上運行一樣運行EVM合約。
Arbitrum的爭議解決過程主要依賴鏈下的遞歸二分算法。該算法通過不斷二分差異點來迫使”斷言者“和”挑戰者“縮小分歧,最終在Layer1上解決分歧。解決的具體方案如下所示:
而Optimism則直接讓EVM執行整個交易,因此它只需要一輪交互即可完成。出于這個原因,OptimismRollup通常被稱為“單輪”,而ArbitrumRollup是“多輪”。兩者最大的區別在于:Arbitrum解決爭議時間長,因此確認時間較長。Optimism需要執行整個交易,Gas費更高。
Eigen——Layer2Rollup的隱私計算方案
對于隱私計算而言,通常結果是樂觀主義的。在隱私計算領域,一筆交易極其復雜,在Layer1執行完這筆交易非常困難,因此,Arbitrum是隱私計算領域中較優的選擇,這也是Eigen基于Arbitrum進行開發的原因。
EigenRollup是一套EVM兼容、支持樂觀執行和可驗證性聲明的混合Rollup方案。
樂觀執行:類似于CPU的分支預測(BranchPrediction),交易會被預執行,驗證者驗證交易的合法性;通過挑戰協議對有爭議的交易進行裁決;
可驗證性聲明:采用TEE簽名和零知識證明技術對計算過程的正確性和結果完整性提供非交互式證明。
EigenRollup基于Arbitrum提供如下技術:
隱私可驗證性證明:EigenRollup在Arbitrum的交互式證明方案的基礎上,采用TEE進行關鍵隱私操作指令的執行,從而降低交互式證明消耗,提供交互式證明的隱私保護;
公平定序器:現有的定序器存在中心化程度太高,以及跟驗證節點聯合作惡的風險。EigenRollup采用一種公平算法來實現定序器,實現了低手續費的同時,也防止了MEV等攻擊的可能性。
分布式任務執行引擎:EGVM作為隱私合約的執行虛擬機,支持分布式任務管理。EGVM會將分布式任務調度到EigenCC計算集群進行并行計算,并且生成對應的可驗證證明。
加入PolkaWorld社區,共建Web3.0! 9月8日下午16:21左右,Kusama網絡的第六個平行鏈插槽拍賣結束!KILT以鎖定219.
1900/1/1 0:00:00共識機制是我們在了解區塊鏈后常常會聽到的詞匯。但如果你和朋友聊天,滿嘴PoW、PoS,那你的朋友也許會是這樣: 一方面,作為同樣可保障區塊鏈網絡安全且擁有驗證交易功能的共識機制,它們都可以使用符.
1900/1/1 0:00:00隨著區塊鏈行業內容的熱度不斷提高,關注其行業的用戶群體數量也不斷上升,難免有一些不法分子“借題發揮”.
1900/1/1 0:00:00“波卡知識圖譜”是我們針對波卡從零到一的入門級文章,我們嘗試從波卡最基礎的部分講起,為大家提供全方位了解波卡的內容,當然這是一項巨大的工程,也充滿了挑戰.
1900/1/1 0:00:00Polkadot生態研究院出品,必屬精品波卡一周觀察,是我們針對波卡整個生態在上一周所發生的事情的一個梳理,同時也會以白話的形式分享一些我們對這些事件的觀察.
1900/1/1 0:00:002021年對于區塊鏈來說是一個巨大的里程碑,無論是對于用戶量還是對于機構接受程度。鏈資產比重都遠超歷史上的任何其他時期.
1900/1/1 0:00:00