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