Aleo 公链｜零知识隐私 L1 全景
Aleo 是 2024 年 9 月 19 日主网上线的零知识隐私 L1,采用 AleoBFT(DAG-PoS + coinbase puzzle PoW)共识、snarkVM 执行层与 Leo 合约语言,把 zkSNARK 嵌入每一笔交易的执行过程,而非像 Zcash 仅做转账屏蔽。理论吞吐上限 20000 TPS,原生代币 ALEO,地址格式 Bech32m aleo1 前缀。
如果你在评估隐私公链,Aleo 与 Zcash 是当前 AllSwap 数据库内仅有的两条同类链,但它们解决的是不同问题。Zcash 给你私下转账,Aleo 给你私下跑整个程序——这是技术架构层面的根本差异。Aleo 把零知识证明(zkSNARK)直接放进虚拟机 snarkVM 的执行层,开发者用 Leo 语言写智能合约,编译产物是算术电路,证明在客户端本地生成、链上仅验证,这意味着合约的输入、输出与状态都可以默认隐藏。共识层 AleoBFT 是 Bullshark/Narwhal DAG-based PoS 叠加 coinbase puzzle PoW 的混合设计,理论吞吐量上限 20000 TPS,但典型 TPS、出块时间、最终性秒数等关键运行数据 Aleo 团队尚未一致公布,本页所有空缺均诚实标注。生态当前仍处主网初期:DefiLlama 收录的 TVL 极小,只有 Pondo Protocol 一家液态质押协议,钱包侧由 Leo Wallet、Puzzle Wallet、Avail Wallet 三家主导。Aleo 适合谁?适合面向 2-5 年隐私基础设施叙事的开发者、机构、研究者,而非追求即时 TVL 与短期空投的散户。
关于 Aleo
Aleo 是 2024 年 9 月 19 日主网上线的隐私优先 L1 公链,由 Howard Wu 等具备 UC Berkeley 与 Cornell 密码学研究背景的团队主导研发,核心命题是把 zkSNARK 零知识证明嵌入到每一笔交易的执行层。它不像 Zcash 把隐私限制在一个独立的「shielded pool」内仅做转账隐藏,而是面向通用智能合约,任何在 Aleo 上部署的应用——DeFi、身份、游戏、链上博弈——都可以默认获得「输入、输出、状态」三段全隐藏的能力。这是它与同类隐私链最根本的差异。
Aleo 的执行环境叫 snarkVM,开发者使用专属语言 Leo 编写合约。Leo 是一门类 Rust 的静态类型语言,编译目标不是字节码而是算术电路(arithmetic circuits),最终由 snarkVM 在客户端生成证明、链上验证证明。这意味着用户的隐私数据从未离开本地——「client-side proof generation」是 Aleo 的核心架构选择,也是它能宣称「zkSNARK-based privacy by default」的技术基础。代价是开发者需要重新学习电路友好的编程模型,门槛高于 Solidity。
共识层 Aleo 采用 AleoBFT,这是一个基于 DAG 的混合机制:一方面用 Bullshark/Narwhal 这套学术界近年最受认可的 DAG-based BFT 算法做交易排序和最终性,另一方面叠加 coinbase puzzle 形式的 PoW 用于公平的代币发行与算力激励。这种 PoS+PoW 双轨设计在主流公链中并不多见,目标是把 PoS 的快速最终性与 PoW 的无许可参与门槛结合起来。理论吞吐量上限来自 AleoBFT 升级时官方披露的 20000 TPS,但典型 TPS、出块时间、最终性秒数等指标 Aleo 团队尚未一致公布,本页所有空缺数据均如实标注「暂未官方基准化」。
经济模型上,原生代币 ALEO 同时承担 gas、质押、coinbase puzzle 奖励三种角色,地址采用 Bech32m 格式带 aleo1 前缀,与 EVM 地址完全不兼容。生态方面,Aleo 仍处主网初期阶段:DefiLlama 收录的 TVL 极低(2025 年仅 Pondo Protocol 一家液态质押协议,锁仓约 2.24 万美元),钱包生态以 Leo Wallet、Puzzle Wallet、Avail Wallet 为主。当前 Aleo 的真实价值不在 TVL 数字,而在它为零知识隐私计算提供的通用平台底座——它面向的是未来 2-5 年「隐私即基础设施」叙事的开发者与机构用户,而不是当下短线撸毛玩家。
Aleo 技术参数
评估 Aleo 的技术栈,要先看清它的三层堆叠:共识层 AleoBFT、执行层 snarkVM、合约语言 Leo。三者绑定在一起服务同一个目标——让零知识隐私成为公链的默认属性,而不是 Zcash 那样的可选屏蔽池。
| 共识 | 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 是一种学界少见的混合共识。底层用 Bullshark/Narwhal 这套 DAG-based BFT 算法做交易排序与最终性确认——Bullshark 与 Narwhal 出自学界 DAG-BFT 研究脉络,Sui 早期版本(被 Mysticeti 取代之前)曾采用同一套算法做共识,Aptos 走的是另一条路径(Jolteon/DiemBFT v4)。Bullshark 把传统线性区块链的 propose-vote 流程改造为多个 leader 并行扩展的有向无环图,理论上能显著提升吞吐量。Aleo 在 DAG-PoS 之上叠加 coinbase puzzle 形式的 PoW,用算力竞赛的方式分发 ALEO 出块奖励,目标是同时获得 PoS 的快速最终性与 PoW 的无许可参与门槛。这种「DAG-PoS 主权 + PoW 激励」的双轨设计在主流公链中独此一家——但代价是协议复杂度高,客观上需要更长的实战周期才能验证安全模型在敌对环境下的鲁棒性。
性能解读
Aleo 团队披露的吞吐量上限是 20000 TPS,这个数字来自 AleoBFT 升级公告,代表理论峰值而非生产环境数据。作为对比,同样标注理论峰值的高速 L1 中:Sui 上限 297000 TPS、Solana 65000 TPS、Hyperliquid L1 200000 TPS、TON 104715 TPS——Aleo 的 20000 在数字上并不突出,但它是唯一在每笔交易都执行 zkSNARK 证明验证的链,这个开销是其他链没有的。最关键的诚实表述是:Aleo 的典型 TPS、出块时间、最终性秒数三项核心运行指标官方均未持续公布,在做选链或集成决策时,这些缺口必须被显式纳入风险评估。
Aleo 生态地图
截至 2026 年 6 月,Aleo 主网上线不足 21 个月,DefiLlama 收录的协议数量与 TVL 均处早期阶段,生态密度远不及成熟 L1。下述协议与基础设施为当前真实可查的核心入口。
Liquid Staking
Pondo Protocol(pondo.xyz)是目前 Aleo 链上 DefiLlama 唯一收录的液态质押协议,锁仓约 2.24 万美元。它承担将 ALEO 质押收益代币化的角色,是后续 Aleo DeFi 乐高的潜在底层资产。
Wallet
Leo Wallet 由官方团队孵化,Puzzle Wallet 与 Avail Wallet 为第三方非托管钱包,三者均原生支持 Aleo 地址、record(私有 UTXO 模型)、Leo 程序签名,是开发者与终端用户与 Aleo 交互的基础设施。
Infrastructure
snarkVM 与 snarkOS 是 Aleo 整个网络的执行与节点层开源代码库,由 ProvableHQ(原 Aleo Systems)维护。开发者可基于 snarkVM 在客户端为 Leo 程序生成 zkSNARK 证明,实现链下计算、链上验证的隐私范式。
Infrastructure
AleoScan(aleoscan.io)与官方浏览器 explorer.aleo.org 是当前查询区块、程序、record 公开元数据的主流入口。由于 Aleo 默认隐藏交易输入/输出,浏览器能展示的資訊天然少于 EVM 链——这是隐私模型的副作用,不是产品缺陷。
| # | 协议 | 类别 | TVL |
|---|---|---|---|
| 1 | Pondo Protocol | Liquid Staking | $22.38K |
Aleo 与同类链对比
在 AllSwap 数据库的「隐私链」分类中,Aleo 的同类对照只有一条——Zcash(ZEC)。这两条链虽然同属隐私赛道,但底层路径几乎完全不同,理解差异比并列两个名字更有价值。
| 链 | 出块 | 终结 | TPS | TVL |
|---|---|---|---|---|
| Zcash | 1.3 min | 37.5 min | 5 | $1.47M |
| Aleo当前 | — | — | — | $0.00 |
对比洞察
- 代际差异:Zcash 2016 年 10 月 28 日上线,是隐私公链的开山项目,已运行近 10 年;Aleo 2024 年 9 月 19 日才完成主网启动,主网寿命不足 2 年,二者代际差约 8 年,生态成熟度与抗攻击经验完全不在同一量级。
- 隐私范围:Zcash 是 UTXO 模型 + Halo2 zkSNARK 屏蔽池,隐私仅覆盖转账;Aleo 是 snarkVM 全栈零知识执行,任何 Leo 合约的输入/输出/状态默认隐藏。简单说,Zcash 让你私下转账,Aleo 让你私下跑整个程序。
- 共识:Zcash 沿用 Bitcoin 系的 PoW Equihash 算法,出块 75 秒、最终性约 2250 秒、典型 TPS 仅 5;Aleo 采用 AleoBFT(DAG-PoS + coinbase puzzle PoW)混合机制,理论吞吐上限 20000 TPS,典型数据暂未官方基准化——架构上 Aleo 面向更高吞吐,但实战数据待验证。
- 智能合约能力:Zcash 没有通用智能合约层,无法部署 DeFi 协议;Aleo 通过 Leo 语言 + snarkVM 提供完整可编程隐私环境,理论上可承载隐私 DEX、隐私身份、隐私链上博弈等通用 dApp,这是它与 Zcash 最大的市场差异化点。
- 生态规模:Zcash 当前 DefiLlama TVL 约 147 万美元,主要为屏蔽池存款;Aleo TVL 仅一家 Pondo Protocol 约 2.24 万美元——两条链都不是 TVL 叙事的赢家,真实价值都在隐私底层基础设施而非短期资金沉淀。
Aleo 历史时间线
Aleo 的源头可以追溯到 2019 年,创始团队 Howard Wu、Michael Beller、Collin Chin、Raymond Chu 主要来自 UC Berkeley 与 Cornell 的密码学研究背景,商业实体最初名为 Aleo Systems,后改名 Provable(以及对应的 GitHub 组织 ProvableHQ)。2020 至 2023 年间项目处于研究与测试网阶段,陆续发布多个测试网迭代(Testnet I、II、III、Beta 等),期间核心工作集中在 snarkVM 性能优化、Leo 语言稳定性、AleoBFT 共识设计上。 2024 年 9 月 19 日是 Aleo 的核心里程碑——主网正式上线(Mainnet Launch),这是项目历史上唯一被官方明确标注 type 为 launch 的关键事件。主网启动同时引入了 AleoBFT(Bullshark/Narwhal DAG + coinbase puzzle PoW)作为共识层、snarkVM 作为执行层、Leo 作为合约语言。 截至 2026 年 6 月,Aleo 公开历史上尚未出现已被广泛报道的安全事故、链中断或重大漏洞事件——这一点与同类高速 L1 中的 Solana(多次出块停滞)或 EVM L1 中的 BSC(2022 年跨链桥被盗 5.7 亿美元)形成对比。但需要诚实指出:这种「无负面记录」更多源于 Aleo 主网时间短、生态规模小、攻击面有限,而不能直接等同于安全性已被长期实战验证。隐私链的真正考验,是当 TVL 与用户量上升、攻击者预期收益变高之后,snarkVM 与 AleoBFT 在敌对环境下的稳健性,这部分历史还未到来。
- 2024-09-19launchAleo mainnet launch
开发者速查
Aleo 官方 RPC 端点为 https://api.explorer.aleo.org/v1,主区块浏览器 aleoscan.io,开发者文档集中在 developer.aleo.org。地址格式采用 Bech32m 编码并带 aleo1 前缀(例如 aleo1xxx...),与 EVM 的 0x 体系完全不兼容,不存在跨 EVM 共用钱包私钥的可能。智能合约语言为 Leo,语法近似 Rust 但目标产物是算术电路而非字节码,编译器和 SDK 入口在 GitHub 的 ProvableHQ/snarkVM 与 ProvableHQ/leo 两个仓库。钱包侧主流支持 Leo Wallet、Puzzle Wallet、Avail Wallet 三家,均为非托管浏览器扩展。证明在客户端生成,需要注意本地算力开销——这是 Aleo 隐私模型的设计取舍,开发者在做交易体验设计时需要为证明生成时间留出 UX 容忍度。
Aleo 到账速度横向对比
条越短代表确认越快。实际到账还受网络拥堵影响，仅供参考。
Aleo 资产覆盖度对比
条越长代表该链上可兑换的资产越多。
Aleo 常见问题
01Aleo 是去中心化的吗?
Aleo 共识机制 AleoBFT 是 DAG-based PoS 加 coinbase puzzle PoW 的混合设计,验证者集合通过质押 ALEO 加入,出块算力面向所有矿工开放,理论上具备无许可参与门槛。但主网上线不足 2 年,验证者数量、Nakamoto 系数等去中心化关键指标尚未达到 Ethereum、Solana 等成熟公链的规模,客观上仍属早期阶段。
02Aleo 的最终性时间是多少?
Aleo 采用 Bullshark/Narwhal 系 DAG-BFT,理论上可在数秒内达成确定性最终性(deterministic finality),但官方文档与升级公告至今未公布稳定状态下的 typical block time 与 finality seconds 数值——本页因此如实标注为「暂未官方基准化」,任何来源声称固定数字都需谨慎核验。
03Aleo 与 Zcash 隐私机制有什么区别?
Zcash 是 UTXO 模型 + Halo2 zkSNARK 屏蔽池,仅支持转账隐私,无通用智能合约能力;Aleo 把 zkSNARK 直接放进 snarkVM 执行层,任何用 Leo 编写的合约都默认隐藏输入、输出、状态。简言之,Zcash 隐私是一个独立池子,Aleo 隐私是整个 VM 的默认属性。
04Aleo 上能跑 Solidity 合约吗?
不能。Aleo 合约语言是 Leo,编译目标是算术电路(arithmetic circuits)而非 EVM 字节码;地址格式 Bech32m aleo1 前缀,与 0x 地址完全不兼容。开发者需重写合约逻辑,无法直接 fork EVM 项目代码迁移。
05Aleo 钱包推荐哪个?
目前主流非托管钱包是 Leo Wallet、Puzzle Wallet、Avail Wallet 三家,均为浏览器扩展形态,原生支持 Aleo record、Leo 程序签名与 aleo1 地址。选择优先看安全审计记录与你常用 dApp 的钱包适配名单,而非品牌知名度。