共享證明層介紹,為何成為模組化發展的重要基石?
近期隨著零知識證明 (ZKP) 技術的需求逐漸增加,越來越多的專案需要相關證明計算資源,因此衍生出新的模組化領域 —— 共享證明器 (Shared Provers),本文將詳加介紹其需求來源與現有專案。
共享證明器網路想解決什麼問題?
ZK Rollup 解決方案的優勢是可極大擴展交易速度,將交易計算移至鏈下以加快處理速度,同時在以太坊上驗證零知識證明 (ZK-proofs) 以實現最終性。將計算與驗證分開最大化交易速度,因此零知識證明技術也被視為區塊鏈發展的重要關鍵。
不過要生成 ZK proofs,需要較高的計算能力。將會需要提升節點成本、並在此階段降低效率。中心化的證明器在網路巔峰時段,會使效能降低並增加用戶燃料費成本,而共享證明器層可能是解決此問題的一個好方法。
共享證明器網路介紹
證明器與排序器定位差異
雖然有部分專案未來有規劃,不過目前以零知識證明為基礎的 Rollups 包含 zkSync、Starknet、Scroll 都是以自身單獨的證明器、排序器 (sequencers) 處理用戶提交的交易,後者目前已經有許多去中心化與共享網路的發展,而證明器則相對沒有受到市場關注。
共享證明器 (Shared Provers) 網路又被稱為證聚合層 (Proof Aggregation),主要的工作是將計算零知識證明的過程去中心化,以提升效率。而共享排序器則是將交易排序的工作外包給去中心化網路,兩者雖然都與 Rollups 效率與安全性相關,但做的事情並不一樣。
推薦閱讀:觀點|Rollups 排序器去中心化將帶來更多鏈上生態機會
推薦原因:該文章說明排序器去中心化的技術與經濟難題,並展望排序器去中心化可以帶來的機會。可與本文章搭配閱讀,更清楚排序器與證明器差異與用途。
共享證明器網路運作流程
使用共享證明器層,理想的交易運作流程如下:
- Rollups 或是其他需求方提交證明請求。
- 匹配機制自動選擇一位或多位證明者。
- 該證明者生成證明以滿足請求。
- 若多個證明者參與,則將證明聚合。
- 將最終證明提交給 Layer1 進行驗證。
共享證明器網路優勢
共享證明器網路可以將 Rollups 所需要的證明資源外包,讓該網路其他專業供應商協助計算與生成,藉由專業分工,實現更好的效率並最佳化成本。
共享證明器網路可以依照架構,將運算量較大的證明需求拆分給多個證明者,進一步提升效率。另一方面,也可以藉由將批量的證明需求整合為一個證明,同時降低計算與上鏈的成本,讓需求量較小的 Rollups 也可以與其他專案分攤成本。
理想的共享證明器網路是無需信任的,代表可以作為模組架構的一部分,提供給各種專案使用其運算資源,可以幫助需要零知識運算支援卻沒有相關硬體與開發能力的團隊快速打造產品。
(Arweave 推去中心化運算網路 ao,打造創新智能合約運算環境)
共享證明器網路專案介紹
Nebra
Nebra 是一種通用型的零知識證明聚合層專案,藉由將多個基於零知識證明的服務的需求打包批量處理,以實現更便宜的證明與驗證成本。不過目前該專案仍是中心化架構,未來以去中心化為目標。
Nebra 安全性藉由機制保證。Nebra 具有類似於現有 Layer2 逃生艙口的機制,如果證明者審查交易內容或是延遲證明計算與提交,使用服務的專案方可以選擇繞過證明者,並在 Layer1 上強制執行證明結算。
Nebra 目前已經開放測試網路。
Avail Nexus
Nexus 是去中心化的資料可用性層專案 Avail 旗下的新專案,提供給有特定需求的 Rollups 專案零知識證明計算與排序器的服務,以完善 Avail 的生態系並最大化潛在市場。
Nexus 會定期向以太坊和 Avail DA 提交聚合證明以進行驗證。
AggLayer
AggLayer 是 Polygon 團隊所開發的聚合層,目標是藉由 unified bridge 技術提供所有區塊鏈網路的流動性,並打造共享證明器,聚合來自所有鏈的零知識證明,以向以太坊主網進行結算與驗證。
共享證明器網路將是模組化新領域
目前產業模組化的概念,通常聚焦在執行層、共識層、結算層與資料可用性層 (DA)。不過隨著 Rollups 與零知識證明技術的成熟,計算零知識證明的需求逐漸提升,未來共享證明器網路可能會是一個新的重要領域。
不過也有可能會演變成將排序器、證明器服務都整合起來的聚合層服務,就像是 Nexus 所建構的產品。
但不論產業如何歸類,零知識證明的計算需求,無疑將會是越來越大的市場機會。