作者:Revc,金色財經
Movement在過去一周吸引了加密社群的關注和討論,主要集中在頭部CEX集中上市,大額空投以及高市值幾個方面。 Movement獲得了包括Polychain Capital和Hack VC在內的多家機構共計4,140萬美元的投資,這增強了市場對其的信心,但也引發了社區FUD,質疑其代幣分配的去中心化程度。 Movement經濟學模型顯示,代幣總量的22.5%將分配給早期投資人。
MOVE代幣在主要交易所(OKX和Binance)上線後,流動性和市場關注度顯著提升,代幣價格在短時間內上漲至1.41美元,現回落至約0.67美元附近。早期投機行為所帶來的價格波動風險顯現。
下文根據Movement白皮書整理,讀者可專注於快速最終性結算機制(Fast-Finality Settlement.),一種不同於以太坊L2現有的擴容解決方案,FFS可以大致理解為跳過現有的ZK和OP的L2彙總機制,在以太坊L1上創建一個可以立即確認並廣播L2交易的PoS智能合約。但白皮書中並未提及PoS智能合約面臨的驗證系統擴充性問題,尤其在權益資產及驗證地址不斷增加的情況下,仍需要Movement團隊做進一步說明。
Movement 白皮書核心概念
Movement Labs 基於Move 程式語言建立模組化鍊網絡,以提升Web3 的安全性、效能和使用者體驗,其首款產品是一個以太坊L2,結合了Move 語言與Celestia 的資料可用性服務,使以太坊生態系統中的dApp 能夠利用Move 的優勢。作為Move Stack Chains 的核心,透過模組化架構和高效的Move 虛擬機(MoveVM),為去中心化應用程式提供高吞吐量、快速交易確認和高度安全性,旨在推動區塊鏈應用的效能和可擴展性,支援廣泛的應用場景。
1、Move 語言與MoveVM
– Move 語言是一種專為區塊鏈設計的程式語言,注重安全性和效率。
Move 語言透過內建的資源類型機制和嚴格的類型檢查,防止了常見的智慧合約漏洞,例如重入攻擊。同時,Move 語言的模組化設計和平行執行能力,提升了開發效率和合約效能。
– MoveVM 是Move 字節碼的虛擬機,支援並行執行,提供高吞吐量和靈活性。
2、Move Stack
Move Stack 是一個用於建立基於Move 的Rollup 的框架,包含以下模組化元件:
– Move 執行器:支援MoveVM 和EVM 字節碼,確保與以太坊無縫整合。
– 快速最終性結算機制:結合以太坊安全性和快速交易確認時間的機制。
Move Rollup 框架的模組化使得可以透過新穎的質押機制來保護鏈。這種質押機制提供了快速最終性和較高的經濟安全性。最終性是指交易被確認並變得幾乎不可逆轉的時間。
在了解快速最終性結算機制之前,先回顧以太坊的權益證明(PoS)協議,驗證者必須質押一些資產(32 ETH)以獲得激勵,誠實地證明狀態轉換的狀態。拜占庭(惡意)驗證者承擔被削減其質押的風險。在以太坊主網(L1)上,一旦收到足夠的驗證者證明,狀態轉換(創建新區塊)就是最終的。足夠的質押通常被理解為所有驗證者總質押的2/3-絕大多數。因此,假設少於1/3 的驗證者是惡意的,如果超過2/3 的驗證者已經證明狀態轉換,則它一定是正確的,因為這2/3 中至少有一個驗證者是誠實的。
PoS 機制提供的安全性是雙重的:
– 活躍性:為了防止絕大多數人證明正確的狀態轉換,對手必須控制超過1/3 的驗證者。這在系統中的總權益很大時被認為是不可行的。
– 安全性:為了強制進行不正確的狀態轉換(例如,雙重支付),攻擊者需要控制2/3 的驗證者。這同樣在權益夠大時被認為是不可行的。
以太坊的安全性等級隨著系統中的總權益的增加而增加。總權益越高,網路就越安全。以太坊網路提供的安全等級通常稱為以太坊安全性。
以太坊現有解決方案-有效性(ZK Rollup)匯總和樂觀(Op Rollup)匯總,兩者都在第1 層結算,但使用不同的結算機制。
在ZK-rollup 中,結算發生在狀態轉換的ZK 證明被接受時。這是透過向L1 驗證者合約提交驗證交易來完成的。由於驗證者在L1 上作為合約實現,因此驗證階段的安全等級是以太坊的安全性。假設ZK 證明系統(證明產生和驗證者合約)是正確的,當且僅當狀態轉換正確時,ZK 證明才會被接受。
在樂觀總結中,交易的最終性在將資料和狀態承諾提交給第1 層後於挑戰期結束時實現。安全性是有條件的:如果在挑戰期(通常為7 天)結束時沒有爭議成功,則會發生結算。爭議是挑戰狀態轉換的一種方式。如果驗證者認為狀態轉換計算有誤,他們可以對狀態轉換提出異議。可信的爭議解決機制解決了這個挑戰。
如上所述,有效性(零知識證明,ZKP)和樂觀(防欺詐,FP)rollup 可以分別在約30 分鐘和1 週內以以太坊安全性完成交易。然而,在交易完成之前,對其有效性和結果(成功或失敗)的保證是有限的。這可能是許多類型的DeFi 應用程式的限制因素。
快速最終性結算透過權益證明(PoS)協定提供安全性。在PoS 協議中,驗證者質押一些資產(例如,原生L2 代幣),以激勵他們誠實地證明L2 狀態轉換的狀態。如果他們不誠實,其質押可能會被削減。驗證者網路可以提供快速且經濟支援的正確執行區塊確認。
當足夠多的驗證者確認狀態轉換的正確性時,狀態轉換在僅使用快速最終結算的Move Rollup 上是L2 最終的(不可逆的)。為簡單起見,假設所有驗證者都投入相同的金額,足夠意味著超過2/3 的驗證者。整個權益價值稱為L2 權益。
後確認
後確認是快速最終性結算的一種實現。定義為L1 上的確認,不同於L1 最終化。當狀態在L1 區塊中具有承諾時,交易在L1 上得到確認。後確認不僅保證交易將被包含,還保證新區塊是正確的。它也不是複雜執行票證機制的替代品,而是報告區塊中交易的正確執行。
後確認機制如下:
– 一組驗證者將一些資產質押在受信任的L1 合約StakingK 中。
– 對於Move Rollup 的給定狀態轉換,驗證者廣播其簽名的證明(批准或拒絕),同時收集其他人的簽名證明。
– 當驗證者收集到的證明佔總質押的2/3 以上時,他們會將其提交給合約StakingK。
– 合約StakingK 驗證證明簽名是否有效、唯一且佔質押的2/3 以上。狀態轉換成為最終狀態。
雙重最終性
快速最終性結算提供了一種快速且經濟穩健的交易最終性形式,可以透過將其與樂觀匯總和ZK 匯總的安全保證相結合來進一步增強。透過對這些方法進行分層,可以提供一個雙層安全模型(即雙重最終性),以充分利用兩個系統的優勢。
在這種組合方法中,快速最終性結算提供了一種由質押驗證者的經濟安全性所支持的最終性水平,確保快速確認交易。該系統還可以調用樂觀匯總或ZK 匯總的傳統最終性機制,提供來自以太坊主網的額外安全優勢。
這種雙層最終模型透過快速確認狀態轉換的正確性和次級最終性機制(樂觀或ZK-rollup)處理交易數據,確保即使快速最終性機制受到損害,交易仍然受益於以太坊強大的安全保障。
3.模組化架構:支援與多種資料可用性服務和排序器集成,滿足多樣化需求。
Move Arena
Move Arena 是基於Move Stack Chains 的複雜基礎設施,為Rollup 提供了統一平台,功能包括:
– 去中心化共享排序器(DSS):實現高效的跨Rollup 交易排序和通訊。
– 多重質押機制:透過匯集多個鏈的經濟安全性,減少基礎設施需求,提高主權性。
Move Stack Chains 的優勢
1. 高吞吐量與快速確認
MoveVM 的平行執行能力和快速最終性結算機制確保交易高效處理。
2. 安全性
借助以太坊的安全性以及基於權益證明(PoS) 的經濟激勵機制,Move Stack Chains 為用戶資金和智能合約提供高度保障。
3. 互通性
DSS 促進不同Move Stack Chains 之間的無縫通訊和資產轉移,建構統一的生態系統。
4. 靈活性
Move Stack 的模組化設計支援針對特定用例的高度客製化,如遊戲、DeFi、資產代幣化等。
5. 開發者友好
Move 語言為開發者提供簡潔且有效率的程式設計體驗,降低開發門檻,同時強化安全性。
Move有可能成為Solidity系與Move系的雙向流動性中繼站嗎
根據Hack VC聯創最近的表述,Movement 的設計具備以下價值:
-
開發者選擇更多安全的開發環境:新的dApp 可直接在以太坊L2 上使用Move 語言構建,而不再依賴Solidity,從而避免了Solidity 中常見的安全漏洞問題,為開發者提供了更安全的開發環境。
-
現有dApp 的遷移優勢:原本運行在Sui 或Aptos 網路上的dApp 可以輕鬆遷移到以太坊,享受以太坊更大的流動性和用戶基礎,從而擴大其市場。
-
跨鏈部署擴大用戶基礎:Move 開發的dApp 可以跨鏈部署,這不僅有助於擴大其用戶群,還能夠為Sui 和Aptos 吸引更多的開發者和應用程式。
-
推動Move 生態的成長:這些因素共同促進了Move 語言開發者生態系統的發展。
而流動性中繼站的假設前提取決於以下兩個需求是否成立
-
1.Sui和Aptos是否需要Movement作為中間橋樑吸引以太坊生態的流動性
根據artemis的數據,Sui網路在過去三個月中吸引的淨資金流入達4.27億美元,而且還是在牛市穩定幣增發的背景下,在所有網絡中排名第三,Movement的作用在於開闢除了跨鏈橋樑以外的,融合Solidity和Move生態的流動性交換堆棧,但這取決於快速最終性結算機制的成功,以對L2生態和專案產生較大吸引力。
-
2.以太坊生態的dApp是否需要MOVE語言增強合約的安全性,這其實也是一個開發文化或共識認同的問題。
以太坊2024年的路線圖,重點關注的是帳戶抽象、模組化架構和零知識證明的應用,以提高用戶體驗和網絡性能,優化Optimism、Arbitrum等二層網絡,緩解主網擁堵,降低交易費用。所以增強合約安全性的概念能否講通並獲得以太坊生態認可,前景並不明朗。
如果上述兩個需求成立,那麼Movement顯然有其特殊的價值,否則也只能像其他L1公鏈一樣,從0開始自建生態。
小結
Move Stack Chains 提供了一種全新方法,透過模組化設計、快速最終結算和Move Arena 的互通性,突破區塊鏈的效能和擴展性瓶頸,並成為Move系專案開拓以太坊生態的跳板,為開發者和使用者創造一個高效、安全的生態系統。
在Movement代幣分配中,VC佔比過高,類似Ethena為了擴大收益穩定幣USDe市場份額,透過中心化交易所上的Delta 對沖ETH 抵押品來保持穩定性,在融資過程中過多的將代幣份額分配給了幾乎所有的主流CEX,而不是Hypeliquid那種脫離VC的發展方式。
目前許多Web3專案結合自身的業務設計,會有方向性的引入L1 labs、CEX和VC投資,以期迅速獲得市場份額,從商業的角度,這種方式不置可否,但是可能是以犧牲去中心化為代價的。在Web3的世界,去中心化是專案最有生命力的屬性,從BTC和Ethereum就可以看到,而“攢局發幣的行為”,可能會對專案長期發展帶來負面影響。