詳解Linera白皮書：微鏈、彈性驗證器和多鏈編程_ERA

原文來源：Linera

原文編譯：flowie，ChainCatcher

相比于?Aptos、Sui，同樣是被?a16z押注的?Diem?繼承者?Linera?節奏一直相對緩慢，于今年?6?月底獲得?a16z?領投的?600?萬美元融資后，今日才正式發布項目白皮書。

據悉，Linera?創始團隊成員多由前Zcash、前Meta/Novi的工程師和研究人員構成。Linera創始人?MathieuBaudet?此前在Meta擔任工程師，并幫助創建?Diem區塊鏈，是?Novi的首席研究員和工程師，曾作為核心人物參與發明FastPay和Zef協議。

根據白皮書介紹，Linera?的部分技術靈感依然離不開低延遲支付協議FastPay?以及?Move?語言。而在創新上，為提供首個在互聯網規模上具有可預測性能、響應能力和安全性的多鏈基礎設施，Linera引入了在同一組驗證器中運行許多稱為微鏈的平行鏈，并使用每個驗證器的內部網絡在鏈之間快速傳遞異步消息。

在白皮書中，Linera?詳細地闡述了在解決區塊空間稀缺性問題上，區塊鏈分片、Rollups?等現有解決方案的缺陷，以及?Linera?的創新方案和架構優點。ChainCatcher?節選了?Linera?部分內容進行了編譯：

馬斯克與扎克伯格“八角籠約架”將在X平臺直播:金色財經報道，馬斯克8月6日在旗下社交平臺X上宣布，其與Meta首席執行官馬克·扎克伯格之間約定的格斗將在X平臺直播。馬斯克寫道：“扎克與馬斯克之戰將在X上直播。所有收益將捐給退伍軍人慈善機構。”6月下旬，由于Meta計劃推出推特競品Threads，馬斯克連續發推對其嗤之以鼻，甚至在遭到網友的挑釁后直言，“我愿意來場籠中斗，只要他愿意。”扎克伯格隨后在Meta旗下平臺Instagram上發文，示意馬斯克把“把決斗地點發來”。馬斯克也隨即回應“拉斯維加斯八角籠”，雙方正式達成“約架”。[2023/8/6 21:27:55]

一、Linera：解決區塊空間稀缺性問題上，現有方案的缺陷

1、更快的單鏈。單個鏈中塊的生產率通常受到驗證器之間的數據傳播延遲的限制。從歷史上看，塊大小一直是第一個要調整的參數，以根據安全要求和網絡約束最大化交易吞吐量。由于BFT共識協議的最新進展，如今交易率的新瓶頸似乎是交易的順序執行而不是共識排序。

預計塊中包含的許多交易在實踐中應該是獨立的，最近的幾個項目開發了能夠在多個處理單元上并行執行交易子集的架構。雖然這肯定會導致更高的交易率，但此類系統的特征仍然是低于?6位數的每秒最大交易數。此外，有效交易率在很大程度上取決于每個區塊中實際獨立的交易比例。總而言之，如果不對其他用戶的活動做出任何假設，就不可能為用戶提前保證費用和/或延遲。

過去三周持有10枚至1萬枚BTC的地址共計增持7.1萬枚BTC:7月9日消息，Santiment發推稱，比特幣的鯊魚和鯨魚地址并沒有顯示出任何放緩的跡象，即便比特幣價格開始在30,000美元至31,000美元區間內變得“無趣”。自6月17日以來，持有10枚至10,000枚比特幣的地址已共計增持71,000枚比特幣，相當于21.5億美元，顯示出其極高的信心。[2023/7/9 22:27:13]

最后，在高吞吐量鏈中，由于CPU執行要求和數據同步網絡要求的結合，審計驗證器變得更加困難。具體而言，順序交易的絕對數量可能會阻止僅使用商品硬件的社區成員以足夠快的速度重放交易以以有意義的方式驗證驗證器的工作。

2、區塊鏈分片。解決區塊鏈可擴展性的另一個流行方向包括將執行狀態劃分為固定數量的并行鏈，每個并行鏈由一組單獨的驗證器獨立運行，這稱為區塊鏈分片。雖然這種方法仍在不斷改進，但它在歷史上一直遭受著一些挑戰。

首先，使用不同的驗證器集會產生安全權衡，因為攻擊者可能會選擇性地攻擊系統中最弱的一組。其次，重組分片，即用戶帳戶跨鏈分布的方式，是一項復雜的操作，需要廣泛的網絡通信。最后，當分片數量增加以支持額外流量時，需要交換的跨鏈消息數量也會增加。在每個分片都有一組獨立的驗證器的系統中，跨鏈消息會產生顯著的延遲，最終抵消添加新鏈的影響。

Arbitrum鏈上智能合約創建總量突破200萬:金色財經報道，Dune數據顯示，以太坊Layer2網絡Arbitrum鏈上智能合約創建總量突破200萬。截至目前為2,001,535個，累計鏈上ERC-20資產總價值超過85億美元。

歷史數據顯示，Arbitrum鏈上智能合約創建總量于2022年11月底突破100萬，這意味著該指標在不到五個月時間內翻了一番。[2023/4/10 13:54:45]

3、Rollups。解決區塊空間稀缺性的另一種流行方法是?Rollups?協議，無論是?optimistic?還是基于?validityproofs。在高層次上，optimistic?和?validityrollups都包含一個?layer?2?協議，該協議構建一系列大塊，旨在在?layer?1?執行、壓縮和確認。不幸的是，確認交易的過程在這兩種情況下，layer?1?都需要很長時間。Optimisticrollups必須等待幾天才能解決爭議。validityrollups?必須一次壓縮許多?layer?2?交易以支付?layer?1?的?gas。

在實踐中，收集足夠多的?layer?2?交易、計算有效性證明和歸檔交易以強制執行嚴格的數據可用性需要每個?layer?2塊花費幾個小時。較長的?layer?1?確認時間可能會鼓勵某些用戶接受安全權衡并相信?layer?2?對某些應用程序的最終確定性。一般來說，Rollups?必須被信任以執行協議并公平地選擇交易。在最近設計去中心化?rollups?協議的努力中可以看出這種擔憂。

區塊鏈國際運輸文件數字化平臺eTEU完成“6位數”融資，Jenson Funding Partners領投:2月24日消息，區塊鏈國際運輸文件數字化平臺eTEU宣布完成一筆“6位數”的Pre-Seed輪融資，Jenson Funding Partners領投，Larix Equity、Pinto Ventures以及一批天使投資人參投。

據了解，eTEU將國際供應鏈成員連接到區塊鏈單一平臺，以進一步實現國際貿易文檔流程數字化升級，同時在區塊鏈上發布數字版提單來解決國際航運痛點。（Finsmes）[2023/2/24 12:26:51]

二、Linera?有哪些創新點？

基于對以上方案的觀察和啟發，Linera?表示旨在開發基于以下三個關鍵原則的新型web3基礎設施：

1、通過在一組彈性驗證器中運行多個鏈，構建具有可預測性能和響應能力的安全基礎架構；

2、通過在新的執行層上工作使多鏈編程成為主流，啟用可擴展的web3應用程序的豐富生態系統；

3、通過確保彈性驗證器得到最佳激勵和社區大規模審計，最大化去中心化。

Linera?創新點體現在以下方面：

1、具有彈性驗證器的集成多鏈系統

波場聯合儲備：已增加5億枚USDC儲備金以支持USDD錨定:6月14日消息，波場聯合儲備（TRON DAO Reserve）在社交媒體上發文表示，由于目前市場處于極端情況，波場聯合儲備已增加 5 億枚USDC作為儲備金以支持USDD維持錨定。現在USDD的抵押率是310%。

USDD（Decentralized USD）是波場聯合儲備（TRON DAO Reserve）與區塊鏈主流機構發起的去中心化超抵押穩定幣，USDD運行在波場網絡上，并通過BTTC跨鏈協議接入以太坊與幣安鏈，未來將接入更多區塊鏈。USDD 由多種主流數字資產超額抵押背書，包括TRX、BTC、USDT等，基礎抵押率保持在130%以上，成為全網最為安全的去中心化穩定幣，并于USDD官網以及波聯儲TRON DAO Reserve官網，提供24小時質押率的實時公開查詢，高度透明。[2022/6/14 4:26:27]

為了實現對具有可預測性能和大規模響應能力的web3基礎設施的愿景，Linera?利用云基礎設施，開發了一種新的多鏈協議——具有彈性驗證器的集成多鏈系統。

在Linera中，驗證器是一種類似web2的彈性服務，可并行驗證和執行多條鏈中的交易塊。因為Linera系統中存在的鏈的數量是無限的，也稱它們為微鏈。

用新區塊積極擴展微鏈的任務與驗證或執行是分開的，由每條鏈的所有者承擔。鼓勵每個Linera用戶創建一個他們自己的鏈并將他們的帳戶放在那里。

每個驗證者管理所有的微鏈。微鏈使用異步消息進行交互，否則獨立運行。因此，驗證者可以通過在許多內部分片之間分配工作量來彈性擴展。使用每個驗證器的內部網絡有效地實現鏈之間的異步消息。

微鏈接受新區塊的方式可能不同。在擴展自己的鏈時，用戶使用受可靠廣播啟發的低延遲、無內存池協議直接向驗證器提交新塊。需要用戶之間更復雜交互的應用程序也可能依賴于按需創建的臨時微鏈。實際上，只有?Linera?基礎設施擁有的公共微通道有完整的?BFT?共識協議。

驗證者之間的微鏈同步委托給鏈所有者。這意味著不活躍的微鏈除了存儲之外對驗證者沒有成本。

使用彈性驗證器是Linera的一個獨特假設。Linera打算讓Linera社區支持新驗證者可以選擇的各種云提供商。Linera?最初的靈感來自Meta開發的低延遲支付協議FastPay。Linera通過將用戶帳戶轉變為微鏈、添加智能合約以及支持鏈間的任意異步消息，顯著推廣了FastPay。

2、讓多鏈編程成為主流

Linera將許多鏈集成到一組獨特的驗證器中。由于每個驗證器的內部網絡，這極大地促進了跨鏈通信。這是第一次，各種web3應用程序有機會通過利用廉價高效的多鏈架構進行彈性擴展。為了促進多鏈編程的采用做出了以下設計選擇：

Linera的執行模型被設計為與語言無關且對開發人員友好。Linera的初始SDK將基于Wasm并以Rust編程語言為目標。

Linera應用程序是可組合的和多鏈的。一旦一個應用程序創建后，它可以在任何鏈上按需運行。同一應用程序的運行實例使用異步消息和發布/訂閱通道跨鏈協調。在同一微鏈中運行的應用程序使用跨合約調用和臨時會話對象進行交互。

Linera中會話對象的靈感來自Move語言中的資源。Move中的靜態類型資源已被提議用于幫助提高可組合性。在Linera中，類資源的可組合性是通過使用會話句柄和運行時檢查來實現的。例如，為了發送代幣，Linera合約將能夠轉移包含代幣的臨時會話的所有權。一般來說，建立一個大型的開發者社區是采用區塊鏈基礎設施的一個主要因素。由于Wasm生態系統正在不斷改進其多語言工具，它為Linera提供了為多個開發人員社區服務的長期可能性。

3、彈性驗證器的穩健去中心化

經典的“區塊鏈三難困境”斷言同時實現可擴展性、安全性和去中心化是困難的。雖然這一觀察對于固定容量的驗證者來說肯定是成立的，但?Linera?認為，在為彈性驗證者定義和實施令人滿意的去中心化概念方面大家所做的努力還不夠。

Linera依靠委托權益證明(DPoS)來確保安全并定期支持更改驗證器集。由于區塊的鏈接，過去的交易、跨鏈消息和每個微鏈的執行狀態都是不可篡改的。

微鏈設計為可獨立審計。這意味著Linera作為一個整體將由社區僅使用商品硬件、以分布式方式進行審計。區塊鏈社區已經在rollups?的背景下討論了使用大型驗證器來提高性能并使用社區驅動的驗證器來維護去中心化。隨著Linera項目的進展，將繼續關注?validity證明和?rollup?方面的技術進步。

四、Linera?架構的優點

Linera旨在提供首個在互聯網規模上具有可預測性能、響應能力和安全性的多鏈基礎設施。為此，Linera引入了在同一組驗證器中運行許多稱為微鏈的平行鏈的想法，并使用每個驗證器的內部網絡在鏈之間快速傳遞異步消息。Linera?認為這種架構有很多優點：

彈性縮放。在Linera中，可擴展性是通過添加鏈來獲得的，而不是通過增加塊的大小或速率來獲得的。每個驗證者都可以隨時添加和刪除容量，以維持多鏈應用程序的標稱性能。

響應能力。當微鏈由單個用戶操作時，Linera使用受可靠廣播啟發的簡化的無內存池共識協議。這減少了塊延遲并最終使Web3應用程序更具響應性。

可組合性。與其他多鏈系統相比，低塊延遲也有助于可組合性：通過添加新塊快速回答，允許接收來自另一條鏈的異步消息。

鏈安全。與傳統的多鏈系統相比，在同一組驗證器中運行所有微鏈的一個好處是創建鏈不會影響Linera的安全模型。

權力下放。?Linera依靠委托權益證明(DPoS)來確保安全。每個微鏈都可以在商品硬件上單獨執行。這允許客戶和審計員持續運行他們自己的驗證并讓驗證者負責。

語言“不可知論者”。?Linera的編程模型不依賴于特定的編程語言。經過深思熟慮，Linera決定在Linera的初始執行層集中精力在Wasm和Rust上。

Tags：NERLineraINEERAenergychainethylenediamineVeraSwap

NEAR