近半年来新兴 Layer1 项目频出，其中Aptos 和 Sui 是市场讨论度最高的两大公链，其原因不仅在于这两个均来自 Facebook 的团队且都拿了高融资额，更在于他们都使用了新编程语言-Move进行协议搭建。而相对于过往只支持单纯的 token 加密转账交易的协议，有一个支持私有和可编程应用程序的公链新星-Aleo悄然出现在大家视野中。
一、项目介绍
Aleo项目成立于2019年，其要打造的是一个具有隐私性的公链网络，它主要解决的问题包括两个方面，分别是隐私性和扩展性。ETH在BTC的基础上增加了扩展性，可以通过智能合约来实现Dapp的开发运行，Zcash虽然有隐私性，但是可扩展性几乎为0，而Aleo的目标是在保护用户隐私的同时实现链上各类应用程序的开发。Aleo 是第一个为应用程序提供完整隐私权的平台。Aleo的隐私功能是基于零知识证明来构建的，在Aleo上用户数据私有，Dapp不能获取用户信息。
不同与其他公链，Aleo采用Proof of Succinct Work（PoSW）共识机制。由一种基于SNARK的POW算法。
Twitter：https://twitter.com/AleoHQ
Discord：https://discord.com/invite/AleoHQ
二、项目融资
2021年4月20日，Aleo 宣布获得 2800 万美元融资，a16z 领投，Placeholder、Coinbase Ventures、Galaxy Digital、Polychain Capital、Scalar Capital、Slow Ventures、Variant Capital、Balaji Srinivasan 和 Ethereal Ventures 等参投，投资者还包括Balaji Srinivasan（Coinbase的首席技术官）以及Joseph Lubin（ConsenSys 创始人）。
2022年2月7日，Aleo完成2亿美元B轮融资，Kora Management LP和软银愿景基金2领投，三星风投与老虎环球、Sea Capital、Slow Ventures和 a16z 参投。Aleo将利用这些资金支持开发者在其私有和可扩展的平台上构建应用程序。
可以看到Aleo除了圈内顶级VC的支持，还获得了传统VC支持，据悉，a16z 已经投资了多个隐私领域项目，包括NYM、Oasis Labs、Iron Fish、Keep和Orchid。Aleo的B轮融资是所有“零知识证明“项目中，规模最大的一笔融资。
值得注意的是，软银愿景基金将Aleo放在Fintech类，而这一类软银投资的项目并不多，几乎都是加密行业头部项目，比如：FTX, DCG ，Polygon、ConsenSys，可见软银对Aleo的认可。
三、项目团队
公司位于美国内华达州，团队目前总计47人，主要成员包括：
Howard Wu，Aleo的联合创始人，获得了加州大学伯克利分校的应用数学学士学位和计算机科学学士学位。其曾为以太坊和Zcash中使用的加密库做出了贡献，与来自伯克利、康奈尔和其他机构的一些著名学者在零知识证明研究方面密切合作，参与编写了开创性论文《zexe：实现去中心化私有计算》，还是Dekrypt Capital的管理合伙人。
Raymond Chu，Aleo的联合创始人，获得了加州大学伯克利分校的计算机科学学士学位。目前除了是Aleo 的联合创始人，还是argus热像仪的安全顾问。
Collin Chin，Aleo的联合创始人，曾在ConsenSys智能合约开发部门实习，目前是Aleo 生态编程语言LEO的主要开发者。
Alex Pruden, Aleo的首席运营官，是a16z的前合伙人。
四、项目产品
Aleo 的定位是支持智能合约的隐私型 Layer1，其技术核心在于 Zexe（零知识执行）和 Leo（编程语言） 两个核心板块，Zexe 共识协议在 ZeroCash 原有的 zk-snarks 技术上进行改进，不仅可以加密单纯的 token 转账交易，也可以应用层面的互动交易；Leo 作为 Aleo 生态的编程语言，可将 Zexe 共识协议的 zk-snarks 设置模块化，使得任何在 Aleo 平台上运作的 Dapp 都可以使用 zk-snarks。
4.1 Zexe零知识执行
Zexe是零知识执行的缩写，默认情况下通过链上验证帮助进行链下计算，以实现可扩展性和隐私。Aleo以Zexe作为系统基础，它扩展了之前单一应用系统单独实现的隐私和可编程。因此，它可以扩展到去中心化程序，包括DeFi、游戏、身份验证等，为其提供了一个理想的平台。在保证完整性和隐私性的前提下解决并发进程。
在 ZEXE 中，用户离线执行状态转换。这个过程产生⼀个证明，它被捆绑到⼀个链上交易中。该交易通过消费/ 创建链上记录来更新系统状态。因为交易仅包含证明，而不包含生成证明的输入，这为系统提供了强大的隐私保护。
4.2 Leo语言
Leo受到JavaScript、Scala 和 Rust等静态类型编程语言的影响，专为编写私有应用程序而构建，强调可读性和易用性。它旨在让开发人员直观地在Aleo区块链上构建，为私有、去中心化的生态系统奠定基础。它是第一个为通用零知识应用程序引入测试框架、包注册表、导入解析器、远程编译器和定理生成器的已知编程语言。
4.3 Aleo Studio开发环境
Aleo Studio 是第一个用于编写零知识应用程序的IDE。Aleo Studio是一个交互式开发环境，用于在Leo中编写零知识应用程序。对于开发人员，Aleo Studio旨在简化开发周期，让用户可以轻松地将个人的Leo项目作为一个包发布到生态系统。
*IDE（集成开发环境）是用于提供程序开发环境的应用程序，一般包括代码编辑器、编译器、调试器和图形用户界面等工具。集成了代码编写功能、分析功能、编译功能、调试功能等一体化的开发软件服务套。所有具备这一特性的软件或者软件套（组）都可以叫集成开发环境。
4.4 zkCloud交互环境
zkCloud是Aleo中交互的环境，是一个链下、去信任的计算环境，程序在其中以私密、安全、廉价的方式执行，并且运行时间不受限制。
通过zkCloud，Aleo不再需要网络中的每个节点都必须重新计算（并集体同意）给定程序的每个步骤，这不仅效率低下，还会降低速度并增加最终用户的成本；在 zkCloud，Aleo 通过将应用程序运行与区块链维护的状态分离来克服这些限制。在零知识证明的证明下，使Aleo能够实现完全的可编程性和隐私性。不仅如此，Aleo还会通过一系列递归的零知识证明隐藏交互的细节（参与者、金额、智能合约等）。外部证明只是呈现这个过程的最终结果。
4.5 Aleo包管理器
Aleo Package Manager是第一个零知识电路的包管理器。它包括团队和组织等协作功能，可以轻松与朋友和同事在私人应用程序上合作。此外，Aleo包管理器与Aleo Studio集成，无需离开编辑器即可轻松导入和发布新包。
4.6 snarkOS操作系统
Aleo 在名为 snarkOS 的去中心化操作系统上运行。snarkOS的目的是保护分散网络中的数据——并验证代表状态转换/交易的证明。去中心化网络使任何人都可以以无需许可的方式部署在snarkOS上的应用程序或智能合约或与之交互。Aleo的共识机制确保验证者计算零知识证明以检查链上的状态。
4.7 snarkVM虚拟机
Aleo执行模型的加密核心是snarkVM。与以太坊虚拟机不同，snarkVM使客户端能够在链下运行计算，仅发布链上计算的证明。此模型可实现更高的可扩展性和无限的应用程序运行时间。
五、项目发展
Aleo官方于2021年12月6日推出激励测试网，称为 testnet2。测试于2022年2月份完成，一共有超过10000个节点参与了长达10个星期的测试，对Aleo的技术架构和经济模型完成了一次深度评测，包括对Aleo的共识算法PoSW的测试，比如POSW是否能降低零知识证明的生成成本、提高生成效率，而测试结果是超出预期的，Aleo团队利用这次测试，也发现了共识机制存在的隐患，并修改了算法。在testnet2测试中，Aleo分配了1500万个Aleo积分，相当于起始供应量的 1.5%，用于奖励 testnet2 上的矿工，最终结果根据不完全统计，只用了1008万个Aleo积分。
在完成了 testnet 2测试工作后，8月2日，Aleo推出testnet3，目前已开启了第1阶段。
第 1 阶段 - 开发人员（2022 年 8 月）
开发人员可以开始编写、部署和执行程序。Aleo 团队使用创世信标引导网络。
第 2 阶段 - 证明者（2022 年 9 月）
证明者开始解决 coinbase 谜题 (PoSW) 以获得积分。Aleo 团队启动了 snarkOS 和 snarkVM 的漏洞赏金计划。
第 3 阶段 - 验证者（2022 年 10 月）
验证者开始生产区块并获得奖励。拥有 100 万 Aleo 积分的证明者才能够成为验证者。Aleo 团队将使用 AleoBFT（一种新的共识混合架构） 为第 3 阶段引导网络。
Aleo 团队计划在第四季度推出主网，届时其代币也将同步释放。
激励措施：testnet 3 的3个阶段Aleo将总计分配2500万个Aleo积分给开发者、证明者和验证者社区。
六、代币经济
Aleo中的原生代币单位被称为“Aleo积分”，这些积分额度用于支付交易费用，目前Aleo的出块时间约为20秒。
Aleo的作用包括：
- 矿工的区块奖励
- 支付Aleo网络的交易费用
- 证明人的预期付款方式
- 节点质押
- 治理
为了早日实现网络的安全性，在网络的早期通胀率更高。Aleo积分在前十年产出中，每三年通证产量减半，到第九年之后（即到第十年），最终减半将导致每个区块同时奖励12.5个Aleo积分的尾部释放。这之后每年的产量将固定在一个区块奖励12.5个Aleo的产出总量。尾部释放意味着Aleo区块奖励永远不会降为零，也确保了为执行保护协议的区块开采者始终有可靠的收入来源。
下面的表显示了 Aleo 前 15 年的通货膨胀曲线。
分配和去中心化
随着时间的推移，随着新积分的产生，分布会发生变化。下表描述了按照上述区块奖励的 Aleo 积分分配情况。此图表仅考虑了通货膨胀，并未考虑任何初始持有者出售其通证的情况。
上图可以看出，在早期Early Backers（早期支持者的范围未确认）的份额占比较大，而Public的占比较小，从比例来看对公众不利，不过这也需要参考后续Aleo的具体释放规则。
从Aleo的释放曲线可以看出，前三年的通胀率最高，每年释放的Aleo达到了1.6亿个，第一年的通胀率达到了16%。tesnet2和3的测试中，团队总计计划奖励4000万个Aleo积分（实际大概3500万个），占总供应量的4%，占第一年供应量的25%，先期加上投资人和项目团队的解锁份额，对二级市场会构成较大的抛压。
七、隐私赛道的项目对比
8月8日，美国财政部下属外国资产控制办公室 (OFAC)宣布对加密混合器（mixer）Tornado Cash实施制裁，这提醒人们，不可控的隐私可能有合规的问题。
在 Web2 时代，我们没有看到隐私应用程序达到龙头的位置。所有应用的隐私保护水平在不断提高，但龙头应用往往不是主打隐私的引用，而是易用性最强的应用。隐私是有代价的，大多数情况下牺牲了用户最关心的易用性。
即便如此，未来Web3的用户数据还是应该受到隐私保护，用户有权决定是否展示自己的数据，数据到底展示给谁看，并且在特殊情况下可以允许相关机构对信息进行合规检查。
这意味着，我们需要可持续的、可控的隐私网络来保障用户权利。
以下是目前隐私网络的聚合信息表：
