Linea轉向RISC-V,重新思考以太坊證明的未來

Block Chain Reporter
LINEA3.41%
ETH4.13%

Linea 已表示,它正在轉向一個以 RISC-V 為核心、建立在新驗證架構上的方案,這標誌著以太坊第二層(layer-2)專案在規劃如何擴展、驗證以及演進其技術堆疊方面,出現了重大轉變。多年來,Linea 的加密團隊走的是它所描述的「艱難之路」:透過手動將每個操作碼(opcode)轉換為數學約束,直接對以太坊虛擬機(Ethereum Virtual Machine,EVM)進行算術化(arithmetizing),讓驗證者(prover)能夠加以驗證。

這種做法幫助專案邁向主網(mainnet),並產出了超過 1,000 頁的規格書,成為更廣泛生態系的參考依據。它也讓團隊深入、實務性地理解 EVM 內部運作,少有專案能夠匹敵。然而,根據 Linea 的說法,正是同樣帶它走到這一步的設計,也成為一項負擔。

每一次以太坊的硬分叉(hard fork)都需要重寫約束模組。由於元件彼此緊密耦合,日常升級速度被放慢;在不引入錯誤的情況下,這些模組很難被改動。研究團隊本該花時間在新想法與效能提升上,卻常常被迫投入於管理複雜性。以 Linea 的觀點來看,這個模型已不再是向前發展的最佳路徑。

該公司如今表示,RISC-V 提供了更乾淨且更快速的方式來建構驗證層。相較於 EVM 較為複雜且動態的狀態模型,RISC-V 是一套更簡單的指令集,擁有 32 個暫存器(registers)以及大約 40 條指令。Linea 主張,對於一個驗證系統而言,這個差異會立刻產生影響。

追蹤(traces)會變得更狹窄(narrower),能夠即時生成,並使驗證者能更早開始處理證明(proof)片段(chunks)。就實務而言,該架構的設計目標是更輕量、更容易處理,並能在規模化運作時更有效率。RISC-V 也彌補了 Linea 所說的相容性缺口——這個缺口先前很難透過直接對 EVM 進行算術化來解決。

如今,Linea 使用 Poseidon 而非 Keccak,並維護它自己的狀態表示(state representation)。若要用舊方式達成 Type-1 以太坊相容性,將需要在約束系統中手動建置 Keccak、RLP 與 Merkle Patricia Trie。對此,Linea 表示:透過 RISC-V,可以將標準的 EVM 客戶端(client)編譯為 RISC-V 二進位檔(binary),讓編譯器處理這些細節,從而在一開始就啟用 Type-1 相容性。

這項轉向也反映了 Linea 對以太坊自身方向的解讀。該專案表示,以太坊基金會(Ethereum Foundation)對 RISC-V 的承諾,是迄今最清楚的訊號,顯示以太坊的驗證層未來可能會長得什麼樣,以及哪些系統最可能適合被納入(enshrined)的擴展捲積(rollup)模型。Linea 認為,若持續沿著先前的路徑走下去,就會把它推離 L1 的路線圖(roadmap),而這件事它並未準備要做。

策略性驗證轉向

Linea 表示,時機正好,因為許多最困難的工作已經完成。團隊已交付一套量產系統(production system),理解目標指令集(target instruction set),也知道它正在為之建構的環境所要求的安全性與架構(architecture)條件。隨著更廣泛的生態系朝同一個基礎前進,Linea 相信,它多年來的驗證經驗如今能夠直接轉化為一個更快推進、並在更大程度上與目標對齊(alignment)來建構的機會。

重要的是,該專案表示,這次轉向並不會捨棄它先前已建立的一切。它的「約束原生」(constraint-native)語言 zkC 將用來撰寫 RISC-V 虛擬機(virtual machine)。Vortex 與 Arcane(作為驗證與彙總層,proving and aggregation layers)被描述為與架構無關(architecture-independent),這意味著它們能夠在新設計下繼續服務整個堆疊。Linea 也從一開始就建立形式化驗證(formal verification)的相容性,並設計可匯出(exportable)到例如 Lean 之類的工具的約束。

該公司表示,新的堆疊整體將會更模組化(more modular),使每一層都能被獨立地進行基準測試(benchmarked)、稽核(audited)或替換(replaced)。這代表驗證者(prover)的最佳化可以在不迫使修改底層算術化(underlying arithmetization)的情況下進行;而在不觸發連鎖式(cascading)重寫(rewrites)的前提下,也可以導入雜湊(hashing)或其他元件的改進。Linea 把這描述為相較於它直到目前為止使用的那種緊密耦合系統(tightly coupled system)的一大躍升。

該專案也強調其更廣泛的技術掌控力。Linea 表示,它擁有以太坊生態系中最有經驗的驗證團隊之一,且在少數專案中,能夠擁有完整堆疊(full stack):從執行客戶端(execution client)與共識層(consensus layer),到 ZK 驗證者(ZK prover)與閘道(gateway)。由於沒有關鍵的第三方依賴,該團隊表示,當以太坊的驗證(proving)版圖改變時,它能夠很快進行適應。

Linea 的訊息很清楚:該專案相信 RISC-V 不只是一次效能升級,更是下一階段以太坊擴容(scaling)的更開放、更可持續的基礎。它主張,新的架構更容易維護、更容易稽核,也更容易讓更廣大的社群理解並貢獻。

該公司表示,這次轉向不只是為了速度。重點在於建構一個能夠超越任何單一團隊存在的堆疊。更多細節預計很快就會公布,但就目前而言,Linea 正在釋出訊號:它的下一章將不再那麼由複雜性所定義,而是由模組化(modularity)、相容性(compatibility)以及與以太坊長期方向的一致性(alignment)所定義。

免責聲明:本頁面資訊可能來自第三方,不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考,不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證,對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為,價格波動劇烈,您可能損失全部投資本金。請充分了解相關風險,並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見聲明
留言
0/400
暫無留言