[ @alignedlayer 一探究竟，想看看他們是怎麼做的。 ] 現在大家都說 ZK 很棒。 計算在鏈下進行， 只把證明上鏈， 以太坊只需驗證這個證明即可， 聽起來確實很乾淨利落。 但實際問題正從這裡開始。 製造證明本身就很困難， 驗證證明的成本又很高， 因為驗證成本高，所以無法頻繁上鏈， 無法頻繁上鏈，使用者體驗就變慢了， 結果「使用 ZK 就能擴展」這句話雖然沒錯， 但問題是：誰來以低成本、快速地驗證這些 ZK 證明？ Aligned 就是專注於解決這個痛點的專案。 簡單來說， 它是一個讓 ZK 證明能在以太坊上更便宜、更快驗證的 ZK 驗證層（ZK Verification Layer）。 官方文件將 Aligned 描述為 建構「可驗證網際網路」的垂直整合堆疊， 聽起來有點誇張， 但實際上意思是： 建立 ZK 證明驗證層， 提供證明聚合服務， 透過 RaaS 讓部署 ZK rollup 更簡單， 提供 wallet-as-a-service、 meta proving、 跨鏈互通等功能， 目標是讓想打造「可驗證應用」的團隊， 不必每次都從零開始重複造輪子。 個人認為，看 Aligned 的核心不在於 代幣如何、空投如何， 而在於：隨著 ZK 應用越來越多， 證明驗證必然會成為瓶頸。 現在大家常談 zkVM、 zkML、 zkTLS、 ZK rollup、 ZK identity 這些詞， 但證明做得再多有什麼用？ 如果驗證成本太高，無法上鏈， 那這些證明最終只會變成服務內部流轉的檔案而已。 Aligned 希望透過兩種方式解決這個問題： 第一種是 Proof Verification Layer。 這項技術利用 EigenLayer 的 restaking 機制， 讓部分以太坊驗證者（精確來說是 operator）來驗證證明， 並以 BLS 簽名對結果簽署， 當超過 2/3 的 operator 同意時，就將結果上鏈至以太坊。 使用者透過 CLI 或 SDK 傳送證明， batcher 收集這些證明， operator 進行驗證， aggregator 收集簽名後， 將結果記錄到以太坊上。 聽起來複雜，但重點是： 別在 EVM 上花大錢用 gas 驗證證明， 直接在原生環境快速驗證， 再只把結果上鏈到以太坊。 根據文件，Aligned 聲稱能支援 以太坊原本難以處理的證明系統， 並降低驗證成本對特定證明系統的依賴性。 它支援 Groth16、Plonk、SP1、Risc0、Circom 等驗證器， 並已在測試網支援 Mina 相關驗證器， Jolt、Nexus 等也已列入開發路線圖。 這點很重要， 因為開發者選擇證明系統時， 不再需要煩惱： 「這個系統能在以太坊上驗證嗎？」 「gas 費用負擔得起嗎？」 「如果沒有 precompile 怎麼辦？」 過去，不同證明系統的鏈上驗證成本各異， 有些甚至大到在以太坊上驗證根本不現實， 若要新增新的 proving system，還得等 gas 優化的智能合約或 precompile 出現， 而 Aligned 希望讓這一切變得更靈活。 第二種是 Proof Aggregation Service。 這是一種將多個證明壓縮成單一遞歸證明的方法， 最終只在以太坊 L1 上驗證一個證明。 如果 Proof Verification Layer 是追求快速、低成本的驗證， 那麼 Aggregation Service 則更偏向於 在以太坊 L1 上直接驗證、具備強大最終性的方案。 因此文件也建議根據情境選擇： 若重視快速 UX、低延遲、大量證明量 → 選 Verification Layer； 若重視完整 L1 最終性、最高安全性、想將多個證明合併為最終檢查點 → 選 Aggregation Service。 兩者也可以同時使用。 例如： 使用者體驗透過 Verification Layer 快速處理， 再定期透過 Aggregation Service 在 L1 上建立最終檢查點。 這種架構非常適合多種應用場景： ZK rollup 需要持續產生證明； 橋樑需驗證來源鏈的狀態證明； zkTLS 需在無原始資料的情況下證明銀行餘額或 KYC 資訊； zkML 需證明 AI 推論正確執行； 身份協議需在不洩露個人資訊的前提下驗證年齡或資格； 鏈上遊戲需持續證明分數或防作弊邏輯。 這些都需要證明。 但當證明數量增加時， 驗證成本就成了問題。 Aligned 的觀點是： 「當我們進入『創造證明』的時代，也必須建立『驗證證明』的基礎設施。」 這一點比你想像的更重要。 當前市場把 ZK 說得像一種炫酷技術， 但對實際應用來說，最終決定一切的還是成本與使用者體驗。 若驗證一個證明的成本過高，就無法使用； 若確認過程過於緩慢，使用者就不會使用；如果開發者花幾個月才加上 verifier，產品發布就會延遲。 最終，再好的技術， 如果昂貴、緩慢且難以使用， 也只會停留在研究論文裡。 Aligned 的目標似乎是將這一切帶向產品化。 RaaS 也是同樣的脈絡。 在 Aligned 的文件中，他們說明將 RISC-V zkVM、Ethrex execution client 和 ZK Verification Layer 結合，提供一鍵式 ZK-rollup 部署。 特別強調 based rollup。 Based rollup 的架構不依賴獨立的中心化 sequencer，而是利用 Ethereum L1 的 proposer/builder 進行 sequencing。 簡單來說， 就是讓 rollup 更直接地使用以太坊的區塊建構基礎設施。 如果能做到這點， 就能減少流動性碎片化、sequencer 風險、審查抵抗性以及以太坊可組合性等問題。 當然，這仍是整個市場正在實驗的領域， 不能簡單認為「一定會成功」， 關鍵在於 Aligned 能否真正吸引客戶與流量。 但其方向非常明確。 Aligned 不是只打造一個 L2 就結束的項目。 在官方 FAQ 中，Aligned 明確表示自己不是 Ethereum L2。 相反地， 它更接近一個整合了 ZK 驗證、證明聚合、rollup 部署、錢包、證明生成與互操作性的 Ethereum 原生 ZK 基礎設施堆疊。 因此，看待 Aligned 時， 不該問：「這是什麼鏈？」 而該問：「在 ZK 證明將大量增加的未來， 誰來負責驗證？」 如果 ZK 應用不會增加， 像 Aligned 這樣的基礎設施自然無從談起。 但若 rollup、bridge、zkTLS、AI 證明、身份、oracle、遊戲等領域都紛紛採用證明， 那時，比起製造證明的一方， 提供低成本、快速驗證的一方，反而可能成為更重要的瓶頸。 最終，Aligned 是試圖回答這個問題的項目： 「證明已經製造出來了，但現在該在哪裡驗證？」 市場一旦看好， 大家自然都會貼上 ZK、AI、Ethereum alignment、restaking、based rollup 之類的標籤，熱熱鬧鬧地推廣， 但真正能存活下來的， 不會是貼了最多漂亮標籤的那一方， 而是讓開發者省錢、用戶少等待、應用能更頻繁上傳證明的那一方。 Aligned 至少是正視這個問題的項目。 單單說「這是 ZK 基礎設施」就輕輕帶過， 其實它精準觸及了相當關鍵的瓶頸。
