伴隨著以太坊上海昇級的日益臨近,與之相關的各項提案也隨之湧現,希望能趕上在上海昇級中一併部署。 EIP-5988也在近期被提交至Eips.ethereum官方網頁,EIP-5988主要目的在於為各類ZK進行和主網間通信的預編譯操作,以節省通信所需的編譯時間和鏈上空間。

EIP-5988主要在於解決各類L2和L1之間的通信問題,借助這項提案,ZK系L2可以在不降低自身證明效率的同時兼容主網安全性,OP系L2可以進一步提升利用主網的結算效率。

並且,EIP-5988此次使用的是Poseidon哈希算法,將會作為各類L2統一預編譯的生成證明方式,這也是首次可能兼容進以太坊的新算法,而此前主要在各類L2中嘗試使用,但安全性尚未得到主流應用大規模長時間檢驗,這也是EIP-5988引發的主要爭議點。

打通L2之間的通信

在EIP-5988的描述中,最重要的是提出了新的Layer 2間通信方式,將各類Rollup擴容算法打包成一致的編譯層,供以太坊主網調用,借助以太坊的兼容性來進行各類Layer 2的通信。

直觀理解,也就是在STARK/SNARK等方案之下,首先進行一項預編譯措施,一旦提案生效,將構築成ZK證明生成後的格式轉換場所。以太坊主網無需考慮消息的具體來源,只需要判斷是否符合編譯格式,從而進行接受或拒絕等操作。

EIP-5988提案統一預編譯:L2互操作性的另一種解決方案

在目前的L2和以太坊主網之間,存在廣泛的兼容性問題。以ZK係為例,目前主要存在兩種障礙:

ZK係有不同技術路徑,zk-SNARK和zk-STARK是較為主流的兩種,不同實例之間的互操作性缺乏統一標準;

L2會選擇自研語言,如StarkWare的Cairo等,和以太坊使用的solidity有所區別,需要互相編譯才能互通。

在統一預編譯層實施後,以太坊所接受的消息格式將進行統一,任何傳入的L2數據類型需要進行預先轉換,從而節省L2和主網間的傳遞--等待--響應時間。

EIP-5988提案統一預編譯:L2互操作性的另一種解決方案

目前,在統一預編譯層生效前,L2之間的通信有三種方式:

  • CEX/DEX:首先將代幣傳遞至兼容兩種以上L2的交易所。但是只能進行資產轉換,無法直接進行消息傳遞;
  • 通用跨鏈橋:在傳統的L1之間的跨鏈橋之上疊加L2網絡。可進行資產轉換,部分借助主網可進行消息傳遞;
  • L2跨鏈橋:以Orbiter Finance為代表,主要是在各類Rollup間進行跨鏈,可以視為特定領域的跨鏈橋模式。

EIP-5988的統一預編譯,是直接將各類L2的數據格式進行標準化,而非直接提供一種跨L2的資產互通模式,其仍然是以太坊主網的一種升級和擴展,不會損害以太坊主網的安全性。

借助以太坊主網而來的兼容性,並且會極大提升各類L2的互操作性,也更為符合以太坊未來模塊化的升級方式。

波塞冬Poseidon神力有待檢驗

但是在優勢之外,仍然需要注意到統一預編譯的問題所在,主要集中在其使用的“Poseidon”(波塞冬)哈希算法之上,這也是目前社區討論的集中點。

EIP-5988提案統一預編譯:L2互操作性的另一種解決方案

本質上,EIP-5988的工作流程是引入了一個新的預編譯合約,實現了Poseidon加密哈希算法中使用的函數,可以實現EVM和ZK / Validity rollups之間的互操作性,以及為EVM引入更靈活的加密哈希原語。

哈希算法的主要作用是將各類傳入的數值和非數值型(文字、圖片等)數據轉換為規格一致的編碼,便於計算機識別和調用,而在密碼學領域,最為人所熟知的是默克爾樹證明,其本質是二叉樹的哈希化表達變種,被廣泛用於各類節點通信,比如錢包和交易所資產證明之中。

EIP-5988提案統一預編譯:L2互操作性的另一種解決方案

波塞冬算法並非是全新方案,至少Vitalik之前介紹過其主要作用,並且其具備和各類ZK算法的良好兼容性,這也是此次更新以波塞冬為題的主要原因。

Poseidon哈希函數於2019年正式推出,與流行的"傳統"哈希函數(如SHA256和Keccak)相比,其未經嚴格有效性和安全性測試。在以太坊網絡和其他區塊鍊網絡中,已經有部分L2或其他應用使用,到目前為止,波塞冬算法未出現嚴重錯誤。

已經或計劃使用波塞冬算法的區塊鏈案例:

  • StarkWare計劃使用Poseidon作為StarkNet的主要哈希函數,並承諾在Cairo語言中增加內置Poseidon函數功能。
  • Filecoin採用Poseidon進行不同的默克爾樹(Merkle Tree)證明,並用於雙值提交場景(two-value commitments)。
  • Dusk Network使用Poseidon為交易建立一個類似Zcash的隱私協議。
  • Sovrin使用Poseidon進行基於Merkle樹的撤銷交易。
  • 路印協議(Loopring)使用Poseidon在以太坊上進行隱私交易(Private Trading)場景。
  • Polygon將Poseidon用於Hermez ZK-EVM中。

Poseidon算法的安全性並非出於設計上的缺陷,而是缺乏大規模實用化高價值場景的檢驗,如果此次最終被納入以太坊主網之上,則將是其在整個以太坊,乃至加密生態上的最重磅應用。

結語

以太坊和Layer 2擴容方案之間的縱向分層已成定局,但是各層之間的安全性和兼容性依然存在問題,因此各類L2都在“利用以太坊主網安全性,和增強自身對主網的兼容性上”進行廣泛的嘗試,但是在造就L2生態繁榮的基礎上,也變相引發了L2分裂危機。

這種生態的破碎並不利於以太坊和EVM的長遠發展,各類L1之間的競爭仍在進行,如何彌合各類生態碎片,也成為以太坊主網需要主動為之的必要舉措,從主網出發進行改進,要求各類L2進行統一的格式轉換,是其最新動向。

無論EIP-5988最終是否會生效,這種繁榮和碎片都會長期存在,也需要更多的改進提案來修補。