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