撰文：Tia，Techub News
在昨日泰國Devcon 的Mainstage 中，以太坊研究員Justin Drake 以演講的形式完成了對Beam Chain 提案的首發。 Beam Chain 是Justin 對以太坊共識層進行重新設計的提案，該提案為對Beacon Chain 的進一步升級，以進一步邁向以太坊最終願景。本文將帶大家速覽Beam Chain 提案改進的目標和與其相關的技術實現。
雖為共識層的重新設計，Beam Chain 將依舊沿用以太坊代幣，不會發行新的代幣也不會發行新的網路。
為什麼提議Beam Chain？
以太坊有三個層級：執行層、blob 資料層、以及共識層。執行層是以太坊中處理交易和執行智慧合約的部分，直接管理應用的狀態和邏輯。 blob 資料層負責儲存大量數據，涉及應用所需的長期資料儲存。這兩層屬於直接和應用互動的層級，任何變更都會直接影響這些層的兼容性。
而共識層主要負責確保整個網路節點間的資料共識，不直接處理應用的狀態或資料。這種間接性使得它相對更容易引入創新和升級，不會對應用程式帶來直接影響。因此，像Beam Chain 提案這樣的共識層改進，能夠提供創新空間，而不會破壞前端應用層的兼容性。
並且，Beacon Chain 是5 年前的設計，已經非常老舊。經過5 年時間，市場對Beacon Chain 的一些錯誤有了充分認識，對於MEV 的理解也進一步深入。恰逢SNARK 技術也有了突破，因此，乘著突破的東風，對以太坊共識層進行一系列修復。
Beam Chain 計畫實現的目標
目標可以分為三個部分：區塊生產、質押、密碼學。
區塊生產的目標有三個，主要和MEV 有關：一是計劃用inclusion list 等增加抗審查性；二是採用Attester Proposer Seperation 以及執行拍賣等方式將驗證者從區塊生產中隔離出來；三是實現更快速的slot，將slot 時間縮短至4 秒。
質押部分的目標為對目前的發行曲線進行改進、將質押門檻從32 ETH 降低到1 ETH、實現快速最終性single slot finality。
密碼學部分的目標是，使用zkVM 等實現鏈的snarkification；維護以太坊密碼學的安全性，使其能夠延續數十年甚至數百年；以及使用MinRoot VDF 等保持強隨機性。
對於這些目標的實現方式，Justin 將這類目標進行了兩類劃分。綠色的部分，以逐步分叉的形式完成，紅色的部分應該以整體的方式同時完成。
以snarkifacation （使用zk-SNARKs 技術來證明資料或計算）為例，如果想要實現real time proving（即時證明），就必須在系統中做一些結構性調整，包括雜湊函數、簽名方式、以及序列化和默克爾化（Merkleization）等面向的改變。簽章方式需要能夠快速產生並完成驗證，並且需要序列化使得複雜的資料結構能夠在節點之間傳輸並存儲，並將序列化後的資料進行默克爾樹（Merkle Tree）處理，以此滿足零知識證明需要對資料進行可驗證的格式化和轉化，以及對狀態的高效驗證。
ZK 化的Beam Chain
過去，以太坊共識經歷了從POW 到POS 的變更，而在Beam Chain 的機制裡，共識將會有更進一步的更新——完全ZK 化，即把snark 應用到整個共識層。
Chain snarkification
需要強調的是，被snarkified 的部分只存在於狀態轉換，但一些基礎層面的計算（共識機制在處理事務或狀態轉換之前所做的邏輯計算）、網路層（節點之間的通訊和資料傳遞） 、快取管理和效能最佳化則保持不變，不受到ZK 的影響。
Beam Chain 的實作程式碼（例如使用Go 或Rust 編寫的Beam Chain 的核心邏輯和共識演算法程式碼）需要做的工作就是將程式碼轉換為zkVM 能理解的格式。 Beam Chain 的實作程式碼被編譯為zkVM 的程式碼格式後，zkVM 可以執行這些程式碼，讀取區塊鏈外部輸入，驗證狀態轉換過程的合法性，並產生零知識證明。
zkVM 是一個執行零知識虛擬機器的環境，它能理解特定格式的程式碼，以便進行零知識證明的驗證。將程式碼編譯成zkVM 可執行的格式的這個過程可能包括將高層語言（如Go 或Rust）轉換為一個底層的、中間的格式（如RISC-V 指令集），然後在zkVM 中執行。
目前，RISC-V 已成為zkVM 的業界標準。目前有七家公司提供Risc-v zkVM。
Attestation snarkification
另一個使用到snark 的部分是聚合簽名（aggregatable signatures），即將多個驗證者和見證者（attesters）簽名的壓縮過程，把大量簽名聚合成一個單獨的、可驗證的證明。
我們希望有後量子聚合簽章安全性（能抵禦量子攻擊），因此預計在這裡會使用雜湊函數。雜湊函數具備後量子安全級別，可以用它作為密碼學系統的基本組件或基礎模組來建構密碼學。使用hash-based snarks，可以將數以千計的簽名壓縮為一個proof。這就是後量子聚合簽章。而且，這種後量子聚合簽章是無限遞歸的，你可以不斷地疊加，將多個聚合簽章再度聚合，達到更高的壓縮效率，相較於傳統BLS 簽章聚合實現了極大的提升。
去幾個月裡，snark 化的哈希函數技術獲得了顯著提升，透過筆記型電腦就快速產生證明，並且每秒可完成約200 萬次哈希操作的證明。這種性能突破讓後量子安全的聚合簽章方案在現實中變得更實用，為高效的、量子抗性的加密提供了可能。
不僅如此，snark 化後的Beam Chain 讓原本複雜的驗證、儲存、運算過程被壓縮，這使得一系列原本無法直接用於Beacon Chain 的如libp2p、ssz、pyspec、protocolguild 等基礎設施得以實現。
時間軸規劃
在時間軸的規劃上，Justin 計劃在2025 年制定規格，2026 年構建，並在2027 年進行測試。目前，有兩個團隊願意開發Beam Chain 共識客戶端，一家為來自印度的Zeam lambda，另一家為位於南美的Lambda。
