Wisp:基於 ZK 的交叉匯總通信協議

本文為機器翻譯
展示原文

Wisp:交叉匯總通信協議

Daniel,LimeChain(區塊鏈開發公司)的架構師和 LimeLabs - 研發部門的一部分。

抽象的

以下旨在描述一個用於匯總之間數據傳輸的 Cross-Rollup-Communication 協議,它完全符合以太坊以匯總為中心的未來並支持以太坊社區。

草案文件6詳細闡述了對參與協議的參與者的經濟激勵,提出了 CRC 消息流,並審查了協議的安全性和可擴展性影響。

怎麼運行的

Wisp 是 (1) 基於 SNARK 的鏈上輕客戶端和 (2) 用於存儲Rollup的驗證機制。鏈上輕客戶端確保目標Rollup可以信任和推理以太坊 L1 特定高度的特定執行狀態根。基於這個根,智能合約可以推斷在任何與以太坊 L1Rollup中包含(或不包含)某條信息。數據包含推理髮生的方式將特定於每個源Rollup。

所提議的系統包括作為參與者的中繼器,他們將數據從源Rollup傳輸到目標Rollup。成功的數據傳輸需要:

  1. 發佈在 Destination Rollup上的以太坊executionStateRoot
  2. Source Rollup root的 Merkle 包含證明(來自以太坊 L1)
  3. Merkle Inclusion Proof(來自 Source Rollup)必須證明的storage槽和 Destination Rollup以驗證數據傳輸的完整性。

證明 L1 執行狀態根
CRC 協議包含一個遵循以太坊同步協議1 的鏈上輕客戶端,並通過使用 ZK-SNARKs 更新其頭部。 ZKP 證明大多數 SyncCommittee 已經簽署了給定的塊頭。

證明Rollup狀態根
Source Rollup的root發佈在 Rollup 的 L1 合約地址上。保存 Source Rollup狀態的存儲密鑰的 Merkle Inclusion Proof 被提供給目標網絡上的 CRC 合約。使用上一步已經證明的executionStateRoot ,合約驗證源Rollup的狀態根。

證明要傳輸的數據
保存源Rollup中數據的存儲密鑰的 Merkle 包含證明被提供給目標網絡上的 CRC 合約。使用已經證明的源Rollup狀態,合約驗證必須傳輸的原始數據。

Alpha版

該協議有一個實時Alpha版本,它使用類似於共識證明1SNARK 來證明 L1 執行狀態根(步驟 1)。

這與其他倡議有何不同?

  • Ethereum Rollup centric - Wisp 特別專注於以太坊生態系統及其匯總。它認識到以太坊以 rollup 為中心的願景的細微差別,並非旨在也無意成為一項“跨鏈”計劃。
  • 開源公益。交叉匯總通信協議應該是 1) 開源(不可協商),2) 公共利益,理想情況下 3) 由不同團隊的貢獻(或至少輸入)開放構建。公共物品不排除擁有可持續的收入流,但不排除尋租行為、集中化和優化利潤(而不是影響)。
  • 安全。絕對關鍵。理想的 CRC 解決方案必須提供超越加密經濟學和激勵機制的安全性。這裡一個更好的方法是加強 L1 以太坊的安全性,並用額外的密碼學(zk 證明)補充它。 Wisp 通過 SNARK 而不是經濟激勵來做到這一點。
  • 權力下放。沒有多重簽名控製網橋。任何人都可以作為中繼者參與 Wisp 協議。沒有演員是特殊的或許可的——任何人都可以承擔任何協議角色。如果協議的決策成為生態系統的關鍵部分,它也應該隨著時間的推移去中心化。
  • 中立。該協議應促進以太坊生態系統中的互操作性,並避免以犧牲他人為代價為某些匯總或應用程序提供服務。

永遠開放的加入和貢獻邀請

Wisp 旨在完全無需許可且內置公共。我們通過 Flashbots 計劃的工作對我們的方法進行了建模 - 成為一種公共產品並且完全符合以太坊。要使 Wisp 成為無許可和中立的,它需要多個不同的參與方加入該計劃。以下是一些最重要的加入和貢獻方式。

反饋和支持

我們仍處於開發初期,希望從以太坊社區和以太坊思想領袖那裡得到反饋。歡迎和讚賞任何重要的反饋和改進建議。歡迎在此處發表評論或在discord 1中聯繫我們。

進一步探索和合作的主題候選清單

以下是 Wisp 的一些未開發或未優化的方面。我們很樂意在協議的這些或任何其他方面看到合作者和建議。

  • 快速追踪以太坊最終確定性——如何不需要等待 12 分鐘的區塊最終確定性
  • Dealing with rollups finality - 如何處理Rollup的(未)最終狀態。
  • 優化和組合狀態中繼證明——如果需要的話,這可能意味著完全擺脫 Circom 和 Groth16。
  • 優化多個 Merkle 包含證明- 用於以太坊執行根或Rollup中的存儲包含
  • 離開同步協議委員會並基於更廣泛的驗證者集——這是必要的和有益的嗎?

支持匯總

我們很樂意支持所有匯總。目前我們支持 Optimism Bedrock 風格的匯總。我們已經探索了其他幾個 rollups,但需要與 rollups 團隊更密切的合作來支持他們。這主要是由於大多數 ZK rollup 的狀態管理存在差異。我們想邀請任何感興趣的 rollups 與我們聯繫 - 我們很樂意與您保持一致並添加盡可能多的 rollups。

建立在 Wisp 之上

沒有應用程序的協議一文不值。我們已經開始探索在它之上構建示例應用程序(很像演示應用程序)。如果您有興趣成為交叉匯總應用程序開發人員,請聯繫我們。我們很樂意做到這一點,讓您的Dapp能夠非常方便和輕鬆地進行多重匯總。

來源
免責聲明:以上內容僅為作者觀點,不代表Followin的任何立場,不構成與Followin相關的任何投資建議。
喜歡
收藏
評論