Aleo未来如何？Aleo积分如何分配？Aleo项目历程介绍

Aleo，这个在隐私公链赛道里持续引起热议的名字，究竟会走向何方？它的积分又是怎么分配的？咱们先梳理一下这个项目的前世今生。

Aleo 是一条专注于利用零知识证明技术实现隐私保护的 L1 区块链，其核心目标是为智能合约和去中心化应用提供高度隐私保障。这项密码学技术，简单来说，让网络中的不同参与方能够在无需透露具体信息的前提下，向对方证明自己确实知道某些事实。具体到 Aleo 的架构中，它允许应用在不泄露个人数据的情况下更新链上账本，而网络中的节点也无需查看原始数据，就能验证这些隐私数据的有效性和合理性。实现路径是：计算和证明的生成在链下完成，链上仅进行高效验证，以此保证交易的简洁性。

背后的团队堪称豪华。核心开发团队注册在 Provable 这家科技公司旗下，成员汇集了来自谷歌、亚马逊、Meta 等科技巨头的专家，以及加州大学伯克利分校、纽约大学、康奈尔大学等顶尖学府的研究人员。联合创始人 Howard Wu、Collin Chin 和 Raymond Chu 均是伯克利校友。

• Howard Wu 是 Provable 的联合创始人兼 CEO，在零知识证明和椭圆曲线密码学领域贡献卓著，其主导的 Zexe 和 DIZK 项目已被以太坊和 Zcash 等协议采用。他毕业于伯克利，拥有密码学、计算机安全和可验证计算的研究背景，也曾任职于谷歌。

• Collin Chin 和 Raymond Chu 同为联合创始人。Collin 主要负责 Aleo 编程语言 Leo 的开发，并兼任 Provable 的首席运营官。Raymond 则贡献了验证者节点运行软件 snarkVM 和 snarkOS 的开发。

• Aleo 现任 CEO Alex Pruden 毕业于西点军校，曾是美国陆军步兵和特种作战部队军官，后在 a16z 任职，并间接推动了 a16z 对 Aleo 的 A 轮领投。

• CFO Michael Beller 毕业于康奈尔大学，拥有资管类初创企业的连续创业经验，是团队中资历深厚的传统金融领域专家。

二、技术分析

Aleo 的技术栈由几个核心组件构成：

• Leo 语言
  ：Aleo 为开发者量身定制了一门名为 Leo 的编程语言，专门用于编写隐私保护的智能合约，在确保用户数据隐私的同时，也能保证数据的完整性。

• snarkVM 和 snarkOS
  ：这套组合拳负责执行和验证。snarkVM 允许计算在链下执行，链上仅验证计算结果，极大提升了效率；snarkOS 则负责保障数据和计算过程的安全，支持无需许可的功能执行。

• zkCloud
  ：这是一个安全、私密的链下计算环境，支持用户、组织乃至 DAO 之间进行可编程的交互。

2.1 共识架构

Aleo 的共识机制名为 AleoBFT，是一种将挖矿（工作量证明，PoW）与权益证明（PoS）巧妙结合的混合模式。具体来说，验证者遵循 PoS 共识，而 ZK 证明者则遵循 PoW 机制。这个 PoW 过程并非传统的简单哈希碰撞，而是由 Aleo 网络在每个 epoch（约20分钟）随机生成一个 ZK 电路。矿工需要在一个小时内，尝试不同的随机数作为电路输入，计算出电路中的所有变量（即 witness），并求解其 witness 的 Merkle root，最终判断结果是否满足挖矿难度要求。

权益证明部分则基于 DiemBFT 模型。共识形成需要多轮投票：领导者提出区块，验证者投票选出下一轮领导者，一旦达到法定人数，新一轮领导者便创建“法定人数证书”并包含在下一个区块提案中。权益持有者参与共识和区块生产，但 ZK 证明的生成过程则由专门的 ZK 证明者负责。

2.2 共识流程

在共识协议层面，证明者和验证者分工明确：证明者负责计算并生成解决方案（solution），验证者则负责出块并聚合打包这些 solution。流程如下：

• 证明者通过计算破解“谜题”（puzzle），生成解决方案（solutions），并将其广播到网络中。

• 验证者收集交易和解决方案，打包成下一个新区块，同时确保单个区块内的解决方案数量不超过共识限制（MAX_SOLUTIONS）。

• 解决方案的合法性由其 epoch_hash 与验证者维护的 latest_epoch_hash 匹配来确保；同时，证明者计算出的 proof_target 需要符合验证者维护的 latest_proof_target。此外，区块中包含的解决方案数量也必须在共识限制之内。

• 提供有效解决方案的证明者，将获得相应的共识奖励。

三、生态

Aleo 当前的生态项目主要分布在两个方向：结合零知识证明的 DeFi 应用（被称为 ZeFi）以及基础设施开发类应用。

在 ZeFi 赛道中，

是代表性的隐私保护交易平台。其中，Privx 采用了较为创新的“中心化限价订单簿”与链上智能合约结合的订单匹配模式，试图模拟传统交易所的用户体验；而 Arcane Finance 和 AlphaSwap 则基于常见的 AMM 模型来实现 DEX 功能。另外， 作为官方质押门户，为用户提供了一站式管理和监控质押资产的仪表盘，并能定期获取验证者的表现更新与详细报告。

基础设施方面，值得关注的有：

• Obscura
  ：一个致力于简化隐私应用开发的平台，通过提供 RPC 端点、API 和 SDK，显著降低了在隐私区块链上构建应用的难度。其基础设施服务包括 Aleo RPC API 与 Mina 的 Graphql API。

• IZAR
  ：一个连接以太坊和 Aleo 的隐私保护跨链互操作性协议。它通过引入更多验证者、采用 zkSnark 多签设计，并计划在未来加入 Timelock 机制，旨在打造更安全、更注重隐私的跨链协议和治理模式。

• Puzzle Wallet 和 A vail Wallet
  ：是两款支持 Aleo 的钱&包应用。Puzzle 以 Chrome 浏览器插件为主，而 A vail 则支持手机与桌面客户端。

四、网络的参与方与网络奖励（矿工利益分析）

Aleo 网络中有三个明确的角色：质押者、证明者和验证者。

• 质押者
  ：通过锁定积分（Credits）来支持网络安全。类似于其他 PoS 网络，质押者将积分委托给验证者，协助共识验证，并由此获得相应的质押奖励。最低质押下限是 1 个 Aleo 积分，但获得质押奖励的最低门槛是 10 个积分。

• 证明者（ZK矿工）
  ：这是 Aleo 网络中特定的零知识基础设施参与者。他们通过解决 Coinbase 难题参与 PoW 共识，为网络提供支持。解决难题的效率越高、效果越好，获得 Coinbase 奖励（积分）的机会就越大。对于同一个 Coinbase 难题，多个证明者可以按照提交的有效谜题解决方案的 proof_target 量，获得对应比例的奖励。另外，证明者还需将获得的 Coinbase 解决方案奖励的 1/3 分配给验证者，以激励他们的参与。

• 验证者
  ：作为基础设施服务提供商，他们通过参与 AleoBFT 中的 PoS 共识机制，保障网络的安全性。验证者负责验证并确认交易区块，达成共识，并在创建区块时包含来自证明者的证明，同时获得相应的验证奖励。要成为一名验证者，门槛不低：必须持有 1000 万个 Aleo 积分，并使用 snarkOS 软件运行节点。

4.1 Aleo 积分分配

• 初始供应量为 15 亿 Aleo 积分。分配比例如下：早期支持者（35%）、面向大众分配（25%）、员工和贡献者（16%）、公司（10%）、战略合作伙伴（8%）和基金会（6%）。

• 主网启动后，网络将向 zk 证明者和验证者发放积分作为奖励。证明者和验证者获得的 Coinbase 奖励将在约 10 年内线性递减。

• 验证者可以获得永久的固定区块奖励，目前设定为每个区块 23 个积分。

流通供应

• 总流通供应量在 10 年内增长到 26 亿，随着奖励持续发放，大约在 21 年内翻一番。

通货膨胀

• 积分通胀率随时间推移显著下降，从第一年的约 12% 下降到第 10 年的 2%，此后将逐渐趋近于 0%。

图1：Aleo 积分发行时的分配比例图

图2：Aleo 积分10年内的通胀预期

4.2 PoS 与 PoW 奖励关系

在最新的 Beta 版本测试网中，Aleo 团队对 PoS 和 PoW 协议之间的奖励比例做出了调整。验证者分得的区块奖励，从原来的 1/2 调整为 1/3，而证明者则获得了 2/3 的解决谜题区块奖励。

这意味着，在主网最初发行后，PoW 将扮演重要角色。但随着时间推移，通过解谜释放的区块奖励会逐渐减少，而给予验证者的恒定区块奖励权重（一直保持每个区块 23 个积分）会相对提升。

下图展示了未来 10 年，Aleo 积分通过 PoS 和 PoW 共识释放的数量变化和比例关系：

以下是根据部分官方数据推演的，Aleo 积分在初始发行后 10 年内的年增长量和对应的通胀率：

Year	Emitted by PoW	Emitted by PoS	Total Credits	Inflation Rate
1	107,467,200	72,532,800	1,680,000,000	12.00%
2	96,720,480	72,532,800	1,849,253,280	10.07%
3	85,973,760	72,532,800	2,007,759,840	8.57%
4	75,227,040	72,532,800	2,155,519,680	7.36%
5	64,480,320	72,532,800	2,292,532,800	6.36%
6	53,733,600	72,532,800	2,418,799,200	5.51%
7	42,986,880	72,532,800	2,534,318,880	4.78%
8	32,240,160	72,532,800	2,639,091,840	4.13%
9	21,493,440	72,532,800	2,733,118,080	3.56%
10	10,746,720	72,532,800	2,816,397,600	3.05%

长远来看，Aleo 的积分分配格局会从早期向证明者倾斜，逐步转向更倾向于质押者与验证者。十年之后，PoW 共识将不再释放积分，网络收益将完全遵循 PoS 共识。

4.3 Beta 测试网相关数据

Beta 测试网是主网上线前的最后一个激励测试网。本次测试网的核心目标是通过证明者激励计划，验证新的 puzzle 机制。测试已于 7.1 至 7.15 日进行并结束。Aleo 网络基金会向证明者提供了 100 万个主网积分作为奖励池。每个证明者将获得与其在激励期间获得的测试网积分成比例的主网积分，最低奖励门槛为 1,000 个主网积分。

以下是 Beta 测试网期间，获得 Top 10 积分的 Aleo 地址与部分地址对应的矿池数据对比：