Aleo 區塊鏈：以 zkSNARK 為核心的隱私公鏈
Aleo 是少數從第一行程式碼就把「預設隱私」寫進協定的智能合約公鏈。它在 2024 年 9 月 19 日啟動主網，採用基於 Bullshark 與 Narwhal 的 AleoBFT DAG 共識，結合 coinbase puzzle 的工作量證明機制激勵證明者；執行層則是自研的 snarkVM 配合 Leo 程式語言，將任何鏈上計算都壓縮成 zkSNARK 證明。對於想理解隱私公鏈當前格局的開發者與研究者來說，Aleo 是技術路線最完整的對照組。
Aleo 不走「隱私是可選功能」的路線。它從共識層、執行層到開發者語言全部圍繞 zkSNARK 重新設計：snarkVM 將 Leo 語言的程式碼編譯成零知識電路，所有交易內容（包含帳戶餘額、互動函式與輸入參數）預設都是 private records，只有持有對應 view key 的使用者才能解密與驗證。這讓 Aleo 在隱私強度上與 Zcash 同屬第一梯隊，但具備 Zcash 完全沒有的圖靈完備智能合約能力。共識層的 AleoBFT 採用 DAG 結構並行打包交易，理論吞吐量上限約 20,000 TPS；同時引入 coinbase puzzle 工作量證明，由 prover 競爭生成有效證明來獲得區塊獎勵，避免了純 PoS 在去中心化早期容易集中的問題。本頁針對的是想徹底理解 Aleo 與其他隱私方案差異的讀者——包含 zkSNARK 開發者、隱私協定研究員、以及在評估是否將敏感資料上鏈的應用團隊。我們不會在這裡教你怎麼把資產換到 Aleo 上，而是專注解析鏈本身：共識細節、效能定位、生態現況與發展軌跡。
關於 Aleo
Aleo 的故事可以追溯到 2019 年，由 Howard Wu、Michael Beller、Collin Chin 與 Raymond Chu 共同創辦，核心研究團隊出身於 Berkeley 與 zkSNARK 學術圈。團隊在 2020 年發表 ZEXE（Zero-knowledge EXEcution）論文，奠定了「鏈上不公開計算內容、僅公開正確性證明」的執行模型。主網於 2024 年 9 月 19 日正式上線——這是經過 testnet beta、testnet 3、incentivized testnet 多輪迭代後的成果，也是業內極少數從白皮書到主網花了超過五年沉澱的 L1 專案。延後上線的主因之一就是要把 zkSNARK 電路與 prover 流程做到「使用者可承受的延遲」，這部分在最新的 snarkVM 版本中已大幅優化。
AleoBFT 共識結合了 PoS 與 PoW 兩條路線。驗證者（validators）負責執行 Bullshark/Narwhal 衍生的 DAG 拜占庭容錯協定，將交易並行排序並打包；prover 則需要解開 coinbase puzzle——一個基於 zkSNARK 的工作量證明問題——獲勝者可獲得區塊獎勵。這種雙軌設計讓網路同時擁有 BFT 的快速最終性與 PoW 的去中心化抗審查特性。值得注意的是，Aleo 並未公開穩定的出塊時間與最終性數字，這在 DAG 共識中其實常見：交易確認不是按固定區塊間隔，而是依 commit 規則動態觸發。
執行層的 snarkVM 是 Aleo 最具技術辨識度的部分。它不是 EVM 也不是 Move 系，而是專門為零知識證明設計的虛擬機。開發者用 Leo 撰寫合約——Leo 語法上類似 Rust，但編譯目標是 R1CS 電路而非位元組碼；客戶端（client-side prover）負責生成執行證明，鏈上節點只需驗證證明而不需重跑計算。這帶來兩個直接效果：第一，所有輸入與中間狀態預設不公開；第二，鏈上驗證成本相對固定，與計算複雜度脫鉤。代價則是開發者要重新學習 Leo 與零知識思維，現成的 Solidity 生態無法直接遷移。
經濟設計上，ALEO 是原生代幣，承擔 gas、質押與 prover 獎勵三重角色。代幣分配與通膨曲線結合 PoS 質押收益與 PoW 區塊獎勵，前期釋放壓力較高，這也是社群在主網上線後持續討論的議題。目前生態 TVL 仍非常薄弱——top_protocols 中僅有 Pondo Protocol 一個流動性質押協議，TVL 約 2.2 萬美元——這反映 Aleo 在主網上線九個月內仍處於極早期，與 Zcash 同屬「技術完整但 DeFi 生態未成形」的隱私鏈狀態。
Aleo 技術參數
Aleo 的技術堆疊圍繞「零知識證明預設」這一條主線展開：共識用 AleoBFT、執行用 snarkVM、合約用 Leo、地址用 Bech32m，每一層都是為了讓「鏈上計算不外洩內容」這件事真的可商用化。以下分共識與效能兩個角度展開。
| 共識 | AleoBFT (Bullshark/Narwhal DAG-based PoS + coinbase puzzle PoW) |
|---|---|
| VM | snarkVM (zkSNARK-based execution, Leo language) |
| 出塊 | — |
| 終結 | — |
| TPS | — typical / 20k max |
| Gas Token | ALEO |
| 上線 | 2024-09-19 |
| 代幣標準 | Native records (private) + token program |
| 地址格式 | Bech32m (aleo1-prefixed) |
共識機制
AleoBFT 是一種 DAG（有向無環圖）拜占庭容錯共識，技術根源是 Aptos 與 Sui 早期使用的 Bullshark 與 Narwhal 論文。它與傳統鏈式共識最大的不同，是把「交易傳播」與「交易排序」拆成兩階段：Narwhal 層負責由所有驗證者並行傳播交易批次（batches），形成一張 DAG；Bullshark 層則在這張 DAG 上跑 BFT 投票，決定哪些區塊被最終確認。這種設計的好處是吞吐量可以隨驗證者數量線性放大，而不會被單一 leader 卡住。Aleo 額外疊上一層 coinbase puzzle——prover 必須持續嘗試生成滿足難度條件的 zkSNARK 證明，獲勝者把證明寫入區塊獲得獎勵。這部分形式上類似 PoW，但工作內容是「找一組能滿足電路約束的見證」，而非單純的雜湊碰撞。整體而言，Aleo 的共識在去中心化與快速最終性之間取得了少見的平衡，但代價是工程複雜度遠高於純 PoS 鏈，這也是它主網延後多次的主因之一。
性能解讀
Aleo 對外引用的最大理論吞吐量是 20,000 TPS（AleoBFT 升級公告數字），但截至目前，穩定的出塊時間、最終性秒數與實測 TPS_typical 都尚未由協定方公開穩定基準。這在主網上線不到一年的鏈中其實常見：DAG 共識下「一個區塊」的概念本身就比較模糊，吞吐量也高度受 validator 數量與網路拓撲影響。將其放到同類橫切看——Zcash 作為它在隱私鏈分類下的同行，是 PoW Equihash 鏈，每 75 秒出一個區塊、最終性約 2,250 秒、實測約 5 TPS——Aleo 在共識架構與吞吐量上的設計目標明顯領先一個世代，但實測數據要等到生態活動量上升後才能客觀比較。
Aleo 生態地圖
Aleo 主網才上線九個月，生態仍處在「技術堆疊已就緒、應用層尚未起飛」的狀態。DefiLlama 收錄的協議僅有 Pondo Protocol，TVL 約 2.2 萬美元，這是一個必須坦誠呈現的事實。但工具鏈與錢包基礎設施其實已具備可用度，以下是目前能在 Aleo 上找到的關鍵基礎設施。
Liquid Staking
Pondo Protocol 是目前 DefiLlama 收錄的唯一 Aleo 上協議，提供 ALEO 流動性質押服務，使用者質押 ALEO 可獲得流動性憑證 paleo。當前 TVL 約 2.2 萬美元——這個數字反映的不是協議品質，而是 Aleo 整體 DeFi 生態仍在極早期。
Wallet
Leo Wallet 是 Aleo 官方推薦的瀏覽器擴充功能錢包，由核心團隊 Demox Labs 開發，原生支援 Leo 合約互動、private records 管理與 view key 匯出。它是目前 Aleo dApp 開發者的預設整合對象。
Wallet
Puzzle Wallet 是 Aleo 生態中體驗較完整的第三方錢包，整合了 dApp 連線、records 查詢、跨應用授權與基礎 swap 功能。對非技術型使用者來說，Puzzle 的 UI 比 Leo Wallet 友善。
Wallet
Avail Wallet 主打輕量化與隱私導向使用情境，支援 ALEO 收發、records 管理與基礎合約呼叫。它在進階使用者中口碑不錯，但生態整合度仍弱於 Leo 與 Puzzle。
Infrastructure
官方 RPC 端點 https://api.explorer.aleo.org/v1 由 Aleo 基金會維運，是目前最穩定的公共節點；區塊瀏覽器 aleoscan.io 提供 records 解析、合約呼叫追蹤與 prover 排行榜，對開發者除錯極為實用。
Infrastructure
snarkVM 與 snarkOS 開源於 GitHub，是 Aleo 節點的官方實作；developer.aleo.org 提供 Leo 語言教學、電路最佳化指南與 prover 部署文件，這也是進入 Aleo 開發必訪的第一站。
| # | 協議 | 類別 | TVL |
|---|---|---|---|
| 1 | Pondo Protocol | Liquid Staking | $22.38K |
Aleo 與同類鏈對比
Aleo 在我們的分類中屬於「隱私鏈」，同類別只有兩個成員：Zcash 與 Aleo 本身。這兩條鏈代表了隱私公鏈兩個世代的設計哲學，差異極具參考價值。
| 鏈 | 出塊 | 終結 | TPS | TVL |
|---|---|---|---|---|
| Zcash | 1.3 min | 37.5 min | 5 | $1.47M |
| Aleo當前 | — | — | — | $0.00 |
對比洞察
- 路線差異：Zcash 是 2016 年上線的 PoW 鏈，採 Equihash 雜湊演算法，核心隱私機制是 Halo2 zkSNARK 屏蔽池（shielded pool）；Aleo 是 2024 年才上線的 DAG-BFT 混合 PoW 鏈，採 AleoBFT 共識。前者把隱私內建在資產轉移層，後者把隱私內建在整個執行層。
- 智能合約能力：Zcash 的 VM 是 UTXO + Halo2 shielded pool，沒有圖靈完備智能合約能力——它能做的就是私密轉帳。Aleo 的 snarkVM 與 Leo 語言則支援任意鏈上邏輯，所有計算都被編譯成 zkSNARK 電路。這是兩鏈最根本的世代差異。
- 吞吐量設計：Zcash 實測約 5 TPS，理論上限 25 TPS，每 75 秒出一塊、最終性約 2,250 秒——這是 PoW 鏈的典型數字。Aleo 對外引用的理論上限是 20,000 TPS，但 block_time、finality 與實測 TPS 目前都尚未由協定方穩定公開。設計目標差了三個數量級，但實測差距需要主網活躍度上升後才能驗證。
- 生態現況：Zcash 主網 TVL 約 147 萬美元，主要是 shielded pool 的歷史沉澱；Aleo 的 DefiLlama TVL 約 2.2 萬美元，僅有 Pondo Protocol 一個協議入榜。兩者都遠未達到 EVM L1 或高速 L1 級別的生態規模，這是「隱私鏈」這個賽道整體面臨的市場驗證問題。
- 啟動模式：Zcash 由 Zerocash 學術論文出身，2016 年從 ZEC 主網啟動；Aleo 從 ZEXE 論文出發，經歷了業內罕見的五年研發與多輪激勵測試網，於 2024 年 9 月才上線。Aleo 的「慢即是快」研發節奏在隱私公鏈這種對密碼學嚴謹度要求極高的賽道是合理的，但也讓它在市場注意力上錯過了上一輪 ZK 敘事的高峰。
Aleo 歷史時間線
Aleo 的歷史軌跡比多數 L1 都長。2019 年由 Howard Wu 等四位創辦人組建團隊，背景集中在 Berkeley 密碼學研究圈；2020 年發表 ZEXE 論文，這是「鏈下執行 + 鏈上驗證 zkSNARK」執行模型的學術根源。2021 年 Aleo 完成 a16z 領投的 2,800 萬美元 A 輪融資，2022 年再完成由 Kora Management 領投的 2 億美元 B 輪融資——這是當年隱私公鏈賽道最大規模的單筆募資之一。融資完成後，團隊進入長達兩年多的測試網階段：先後上線 testnet beta、testnet 3 與多輪 incentivized testnet，並在過程中持續迭代 snarkVM、Leo 語言以及 AleoBFT 共識。值得記錄的是，Aleo 在 2023 年曾啟動過 prover incentive 計畫，吸引了大量 GPU 算力參與測試網的 coinbase puzzle 競爭，這也成為主網啟動前驗證 prover 經濟的關鍵實驗。主網於 2024 年 9 月 19 日正式上線，是業內極少數選擇「徹底準備好再上」的 L1 專案。截至本頁更新，Aleo 主網尚未發生重大安全事件或長時間停機紀錄；但生態起步速度慢、TVL 規模極小，是它目前最常被市場批評的部分。隱私公鏈的監管壓力（特別是來自 OFAC 與 Tornado Cash 之後的政策環境）也是 Aleo 必須長期面對的結構性挑戰。
- 2024-09-19launchAleo mainnet launch
開發者速查
Aleo 對開發者來說是一個必須重新學習思維的環境。官方 RPC 端點是 https://api.explorer.aleo.org/v1，由基金會維運，是目前最穩定的公共節點；區塊瀏覽器主推 aleoscan.io，支援 records 解析、合約呼叫追蹤與 prover 排行榜。地址格式採 Bech32m，所有地址以 aleo1 為前綴，與 EVM 0x 系列、Cosmos 系與 Solana base58 都不相容，需在錢包整合時特別注意。開發語言是 Leo——語法類似 Rust，但編譯目標是 R1CS 電路而非位元組碼；client-side prover 由 SDK 負責，鏈上節點只驗證證明。SDK 與工具鏈包括 snarkVM、snarkOS、Leo Playground 與 Aleo SDK，官方文件入口在 developer.aleo.org。錢包整合首選 Leo Wallet（官方）、Puzzle Wallet 與 Avail Wallet。建議新進開發者先把官方教學跑一遍，理解 records 模型與 view key 設計，再開始實作。
Aleo 到帳速度橫向比較
條越短代表確認越快。實際到帳仍受網路壅塞影響，僅供參考。
Aleo 資產覆蓋度比較
條越長代表該鏈上可兌換的資產越多。
Aleo 常見問題
01Aleo 是去中心化的嗎？
從共識架構看，Aleo 採用 AleoBFT（基於 Bullshark/Narwhal 的 DAG-BFT）搭配 coinbase puzzle 工作量證明，理論上具備 PoS 與 PoW 雙重去中心化基礎。但實務上，主網才上線九個月，驗證者集合規模、prover 算力分佈與基金會的協定影響力仍是社群討論的話題。隱私公鏈的去中心化評估還需要考慮節點地理分佈與監管壓力，這部分 Aleo 仍在早期。
02Aleo 的最終性時間是多少？
截至目前，Aleo 並未由協定方公開穩定的最終性秒數。AleoBFT 是 DAG-BFT 共識，最終性的觸發依賴 commit 規則而非固定區塊間隔，這與鏈式共識的最終性概念不同。對外引用的最大理論吞吐量是 20,000 TPS，但實測 TPS、出塊時間與最終性目前都尚未由協定方穩定公開。
03Aleo 與 Zcash 在隱私機制上有什麼差異？
Zcash 把隱私內建在資產轉移層——shielded pool 用 Halo2 zkSNARK 保護轉帳隱私，但沒有圖靈完備智能合約能力。Aleo 把隱私內建在整個執行層——snarkVM 將任意 Leo 程式碼編譯成 zkSNARK 電路，所有交易輸入、中間狀態與帳戶餘額預設都是 private records。簡單說：Zcash 能做私密轉帳，Aleo 能做私密任意計算。
04Aleo 上有哪些 DeFi 協議可以用？
截至本頁更新，DefiLlama 收錄的 Aleo 協議僅有 Pondo Protocol 一個——一個流動性質押服務，TVL 約 2.2 萬美元。這反映 Aleo 主網上線九個月內 DeFi 生態仍在極早期。錢包與基礎設施已具備可用度（Leo Wallet、Puzzle Wallet、Avail Wallet 與官方 RPC/瀏覽器），但 DEX、借貸與穩定幣協議的填補仍待時間。
05Aleo 與其他 L1 相比，最大的技術差異是什麼？
Aleo 是目前主流 L1 中極少數把「預設隱私」寫進協定底層的鏈。EVM L1（如 Ethereum、BSC）、高速 L1（如 Solana、Aptos、Sui）與 Bitcoin 系預設都是公開透明的，隱私需要靠應用層或側鏈額外實作。Aleo 反過來——所有鏈上計算預設不公開，需要時才主動釋出 view key 給對方驗證。這是它與所有 EVM、Move 系、SVM 系鏈最根本的世代性差異。