(本文非投資建議)
內容目錄
Aligned Layer 想解決什麼問題?
市場出現零知識證明的運算與驗證需求
各種 zk-rollups、zkEVM 與 zk 協處理器 (zk Coprocessor) 等應用不斷冒出,確實有望可以提升以太坊網路的使用場景與效率,但卻也因為區塊鏈架構的限制讓這些應用無法發揮到極致。計算與驗證零知識證明的成本仍然不低。
以太坊最初不為零知識證明所設計
以太坊於 2015 年推出時並不是為了 ZK 而設計的,但是隨著零知識證明技術對於 Web3 產業發展越來越重要,如何最有效率地提高以太坊納入這些技術的手段越來越受到社群重視。
為了使用零知識證明,而不斷將相關功能加入以太坊協議內以改善證明系統,本身就是一個緩慢且具有挑戰性的過程。
這可能會讓網路的安全風險增加。系統的安全性可能會因利用鏈中的任何驗證者而受到損害,整個系統的安全性取決於其最薄弱的環節。例如如果涉及基於配對的證明系統,則維持量子抗性是不可行的。
生成有人做了,但是驗證呢?
市場上開始出現了許多嘗試提升以太坊計算與驗證零知識證明的基礎設施。首先要知道,零知識證明分為生成與驗證量件事情,其中 zk 證明聚合層 (又稱為 zk 共享證明層) 嘗試解決了生成零知識證明的計算成本,但是將證明提交到以太坊後的驗證成本仍然緩慢,因此市場出現了代替以太坊驗證的基礎設施 —— zk 驗證層。
零知識證明生成後會被提交給主網進行驗證 (資料來源)
Aligned Layer 的目標是提供「提交零知識證明的個人或是專案」另一條更快驗證的方式,把零知識證明領域的最後一哩路「驗證」也做一條網路來擴容。
Aligned Layer 介紹
建構於 EigenLayer 之上
Aligned Layer 將是建構在 EigenLayer 之上的 AVS,使用再抵押系統打造零知識證明的驗證層。
快速驗證 SNARK 路徑
Aligned Layer 提供了一種減少時間與成本開銷的驗證解決方案,並允許開發人員選擇是否要等待證明在以太坊上得到驗證;或者可以選擇將證明提交給 Aligned Layer,進行快速的軟驗證,當以太坊主網完成經過 Aligned Layer 打包後的單一零知識證明的驗證,近一步獲得最終性確認。
Aligned Layer 運作架構 (資料來源)
團隊表示不贊成任何特定類型的 zk-SNARK 證明,將支持任何參與零知識技術的開發。Aligned Layer 的目標是使任何 SNARK 證明的驗證具有最高的效益,未來利用以太坊驗證器的安全性將不受到其技術限制。
另外,Aligned Layer 也可以使用其他資料可用性層 (DA) 來進一步降低證明儲存成本。
Aligned Layer 不採用 EVM
團隊表示 EVM 不是為 ZK 驗證而設計的,因此大多數驗證都很昂貴。且另一方面,目前 EVM 也無法處理每個區塊超過 30,000,000 Gas 的操作。
因此為了提升驗證效率,Aligned Layer 將採用節點本地端的虛擬機而非 EVM。
Aligned Layer 潛在使用場景
團隊認為藉由打造新的結算層,Aligned Layer 可以做到快速最終性 (軟驗證),可以為基於零知識證明許多服務提升運作效率。例如應用鏈 (基於zk-rollups)、快速跨鏈 (基於 zk 證明通訊)、預言機 (基於 zk 證明通訊)、協處理器 (基於提供 zk 證明)。
(Near 與 EigenLayer 打造快速結算層 SFFL 實現 Layer2 快速通訊)
(本文非投資建議)