1.项目简介
-背景
2.项目详情
-产品架构
-经济系统
3.个人见解
项目简介
Aleo架构了用户体验良好，具备隐私性，良好可编辑性，高性能的区块链网络，并提供了完全隐私化的应用程序开发平台，以通过去中心化的系统和零知识证明网络来保护网络上的用户数据。用户就可以进入一个真正个性化的网络服务世界，而不必放弃对其私人数据的控制
1.2 背景
公司由 Howard Wu、Michael Beller、Collin Chin 和 Raymond Chu 于 2019 年正式成立
该团队由来自谷歌、亚马逊和 Facebook 等公司以及加州大学伯克利分校、约翰霍普金斯大学、纽约大学和康奈尔大学等研究型大学的世界级密码学家、工程师、设计师和运营商组成
目前Aleo公布的融资轮有两次，分别是A和B轮
A轮融到了28milion美金
本轮融资由 Andreessen Horowitz (a16z) 领投，Placeholder VC、Galaxy Digital、Variant Capital 和 Coinbase Ventures 参投。其他值得注意的投资者包括 Polychain Capital、Slow Ventures、Dekrypt Capital、Scalar Capital、a_capital、zkValidator、Balaji Srinivasan 和由 Joseph Lubin 创立的新风险基金 Ethereal Ventures
而B轮融资是在测试网的亮眼表现后，融到了200milion，是目前零知识证明赛道中单笔最大的融资数额
由Kora Management LP和SoftBank Vision Fund 2牵头的 B 轮融资中筹集了 2 亿美元， Tiger Global和Sea Capital参投、三星 Next、 Slow Ventures和Andreessen Horowitz (a16z)，最终对该公司的估值为 14.5 亿美元。继公司于 2021 年 4 月由 a16z 领投的 2800 万美元 A 轮融资之后，Aleo 的 B 轮融资是零知识行业有史以来规模最大的一轮融资
项目详解
2.1 Aleo产品结构
2.1.1 隐私网络结构
区块链协议面临的一个很大的挑战是隐私和可编程性之间的权衡。到目前为止，大多数进入市场的项目都遵循以下两个轴
而Aleo 通过构建的zkCloud 体系就满足了对可编程隐私的需求
在整个隐私网络中，最重要的就是屏蔽身份和屏蔽交易
而Aleo构建的一个叫zkCloud的链下环境就是在不牺牲计算性能的前提下做到以上2点
zkCloud描述了一种点对点、去中心化的隐私计算模式，在这种模式下，被屏蔽的身份可以直接（如资产转移）或以编程方式（通过智能合约）进行互动。在典型的公共区块链中，程序执行发生在由每个网络节点运行的全局“虚拟机”（VM）中的链上。因此网络中的每个节点都必须重新计算（并集体同意）给定程序的每个步骤。这不仅效率低下，而且会降低速度并增加最终用户的成本。而且由于此 VM 必须能够访问相关信息，因此隐私无法等到保护
zkCloud 通过将应用程序运行时与区块链维护的状态分离来克服这些限制。结合零知识递归证明Zeke，以及Aleo的共识机制PoSW，这使得 Aleo 能够实现完全的可编程性和隐私性，以及相对于链上 VM 模型的更高交易吞吐量（有点类似zk-rollup）
PoSW 是一种类PoW的共识机制，是比特币基于 SHA 的难度调整算法的变体，主要区别在于底层计算不是任意散列函数，而是知识证明。使得 PoSW 解决方案不仅可以充当 PoW 以确保系统共识，还可以提供给定区块中包含交易的验证，让算力不被浪费在没有意义的计算上且逻辑上来说也可以让性能更进一步优化
而在后续的测试网中，也证实了这个交易吞吐量是很不错的。测试途中，最快的矿工每秒计算是大概 10k 证明，整个网络哈希率达到每秒超过 20k 证明的峰值（意思就是TPS大概10k-20k）
但实际的TPS很可能与测试网的TPS有落差，因此还是需要主网上线了才能知道真实的性能
另外，zkCloud 中运行的程序是链下进行的，所以只要在计算结束时提交屏蔽交易就没有关系。与像以太坊这样的链上执行模型（其中程序运行时间受“gas limit”限制）相比，这为更多种类的应用程序打开了更多可能性，同时又不会消耗更多的交易手续费
因此总结下来，zkCloud通过将执行与状态分离成链下和链上，并通过屏蔽交易仅将执行过程的证明提交给区块链，以此zkCloud 使 Aleo 能够实现私有、可编程、高性能网络的目标
2.1.2 开发生态
Aleo为了让发者体验更好，所以构建了对零知识证明应用开发更友好的程序语言Leo，而Leo的开发环境叫Leo Playground，同时也开发了一个和Github一样的免费共享常用代码环境Aleo Package Manager (PM)以及隐私Web 应用程序的 IDE Aleo Studio（Leo的集成式应用程序开发环境）
Leo 是一种受 Rust 启发的静态类型编程语言，专为编写私有应用程序而构建，并且Leo 旨在消除尽可能多的密码知识要求，而且将有一个非常简单的学习曲线
而Aleo不只是让开发者的环境友好，它们也推出了开发者激励计划，赠款接受者不仅是生态系统的贡献者，而是在原始赠款范围之外继续在Aleo社区中发挥作用的人们
所以后续也推出了测试网的激励措施，奖励那些接受和合并的 snarkOS 和/或 snarkVM 存储库的任何PR
总而言之，Aleo对于最开始Builders和用户非常在乎，也实施了很多激励措施并且获得非常好的成绩，例如
- 社区总共在不同的时间点运行了超过 10,000 个节点，产生上百万个零知识证明
- 十几个人确定或提交了对各种错误的修复，并增加了对超出团队最初交付的附加功能的支持
- 识别并解决了与共识机制相关的问题。例如从 Nakamoto 共识转移到了一种称为 ASERT 的算法，并修复了作为 PoSW 的一部分如何生成证明的一个小但关键的错误
而以上种种措施为Aleo发展初期的生态带来巨大的帮助，因此Aleo 资助计划的资金从 100 万美元扩大到了 500 万美元，为2022年晚些时候推出 Aleo 网络的主网做准备。Aleo团队也表示他们正在努力开发新的工具和基础设施，以加速零知识证明生成的性能并与社区合作，测试零知识协议的新设计
2.2 经济系统
Aleo 的代币经济学旨在以尽可能简单的方式调整系统中所有利益相关者的激励措施，以服务于 Aleo 网络
Aleo中的原生代币单位被称为“Aleo积分”，这些积分额度用于支付交易费用（类似于以太币）
Aleo积分额度是可以访问零知识计算的关键计算资源，因此Aleo积分是市场为一个任意程序的零知识证明的价值定价的自然方式，该资产的价格应该大致代表对零知识计算的整体需求
另外，PoSW挖矿导致的Aleo与以太坊等其他网络的一个关键区别是，Aleo网络上的费用是可以事先计算的。在Aleo上，不存在 "Gas "的概念，这也是使程序在以太坊上运行的成本不可预测的原因。而在Aleo上，每个人都提前知道运行一个特定的程序需要多少Aleo积分
在启动时，Aleo信用额度将在早期支持者、建设者和社区成员以及一个基金会或其他实体之间分配，该实体将提供赠款并确保网络的持续发展。从启动时开始，新的Aleo积分将被铸造出来，并通过区块奖励分配给我们网络上的矿工
下表总结了整个Aleo积分的经济模型细节，每个区块时间约为20秒
Aleo积分将会被设计成通胀的模式，并且对于网络的早期采用者奖励更大，因为这将有助于确保我们尽早实现网络的高度安全性。Aleo在启动时设定了相对较高的通货膨胀释放率，然后在前十年每3年减半。第九年之后，最终减半将导致每个区块同时奖励 12.5 个 Aleo 积分释放，以确保网络的安全性以及它将支持的经济的稳定性
Aleo觉得可预测的低通胀率对经济是健康的，如果一项资产纯粹是通货紧缩，那么该资产的所有者就会被激励持有它而不是花费它。虽然对于纯粹的价值是好事，但对于解锁真实用例的交换媒介来说，是不切实际的，因为如果人们被激励持有（而不是花费）这些积分，那么对这些应用程序的需求就会下降，并且根据定义，提供进入这个生态系统的积分的价值也会下降
前期大部分Aleo都会分布在矿工手上，但预计Aleo积分会慢慢被换手到Aleo用户上
并且前三年的通膨率大概在12~16%（用于鼓励前期节点挖矿），目前Aleo的减少供给的方式只有作为网络的手续费销毁掉
个人见解
3.1 Aleo的产品价值捕获
一句话来说就是在保证了隐私性和网络性能的前提下，让区块链网络保持原本的可组合性，并且让用户和开发者体验更佳
而这一段话所蕴含的事情为什么那么有价值呢？你可以看看我下面的解释
随着我们待在网络的时间越来越长，整个网络的数据采集呈现指数型的增长，甚至未来我们还会发展成元宇宙的生活模式，而这些数据将会产生非常巨大的经济价值。但目前Web2时代的数据越来越集中形成数据量垄断，会对数据隐私和审查构成威胁，同时抑制了增长，抑制创新并损害消费者福利
而目前的区块链技术就可以做到默认透明的效果，所以用户都可以平等地访问网络内的数据，从而防止单一个体垄断用户数据，但它却会为其他网络参与者创造了从我们交易中披露的信息中获利的机会，如果只是良好地使用这种数据可访问性很好，但通常更多的是恶意使用，例如比较常见的DEX抢先交易和MEV攻击，因此完全透明的模式仍然会造成信息不对称，并对其中的用户产生成本
**DEX抢先交易：**机器人扫描区块链上的未决交易以寻找套利机会。例如，机器人可能会侦测到一个机会，通过在去中心化交易所的大宗交易之前购买或出售来获利。通过提供稍高的气体价格，这些机器人激励矿工在已经挂起的DEX交易之前执行他们的交易。这导致利润转移到前面的机器人，从而牺牲了最初的交易者
MEV攻击： MEV指的是生态系统矿工通过重新排序mempool来执行自利交易，可以从网络中提取的利润量。例如，矿工可能认识到，mempool中的待定交易包括DEX上一个代币对之间的相当数量的交易。有了这种认识，矿工就可以最优化地安排他们的交易。因为矿工负责订购交易，他们可以确保他们的交易在最有利可图的时间发生
但如果直接做到完全隐私的话，又会让开放网络最好的好处之一可组合性消失，这种可组合性正好是Defi生态，DAO生态或其他智能合约最核心最强大的功能
因此只公开特定需要的信息并且保证隐私性的零知识证明体系诞生了，零知识证明允许第三方验证某条信息的真实性，而我们不需要直接揭示它，但这又引发了一个问题就是生成的成本太高，毕竟很少人会接受一个效率低下并且成本高昂的系统
而Aleo 的特定零知识解决方案Zexe可以再解决上述所有问题的前提下，又确保我们不需要接受性能权衡的难题，可见Aleo产品的野心和其价值捕获
3.3 综合评价
Aleo目前是我看过隐私赛道里产品风格最接近我心里预期的，因为目前隐私项目中缺乏的绝对不是隐私性，而是其隐私带来的高成本和更复杂的流程带来的用户体验不佳，因而隐私赛道很难普及化
所以我认为目前的隐私赛道产品应该至少符合以下2点，才更有机会普及化
- 具备原生且可选择的隐私性（用户无须做任何额外操作来保护自己的隐私）
- 解决零知识证明体系造成的高成本和网络效率低下
因为老实说隐私这方面很难得到大家的关注，因为实在很难体感到隐私的重要性，所以用户们只有在不影响原有的体验下才选择保护自己的隐私，因为大部分用户心里更倾向的大概是成本>方便>效率>隐私
所以Aleo采用的zkCloud零知识证明体系目前来说完美解决了以上的问题，而且经过测试网的测试也被验证了能有10000~20000的TPS，所以以隐私产品的角度来说Aleo对我来说几乎是接近满分的
而Aleo目前明显走的是Layer1的隐私公链路线，所以撇开隐私属性，公链最重要的就是生态发展，而它自制的开发工具和程序语言以及生态发展的激励计划是会对生态开发有很大的帮助，但如果要选择像Solana或是Avax那样不走EVM兼容的路线，可能生态这方面将会是Aleo最大的挑战
所以老实说我个人更偏向于它走向EVM兼容的路线，可以直接能获得目前市面上最多用户基数的Dapp生态，再慢慢引流来自己公链里的原生生态，可能整个生态发展会快很多，不只是吸引了用户，也吸引开发者因为用户来开发Dapp，形成一个良好的网络效应
不过Aleo目前获得了200milion左右的B轮融资，背后有资本的推助其实对生态开发还是很有看头的
但目前Aleo其实也没有更多地表示他们生态发展方面的资讯，只有公开了生态激励和开发工具而已，所以可以持续关注Aleo这方面的资讯
总结来说，Aleo的赛道是处于Beta中的Alpha也就是公链赛道里的隐私赛道，并且隐私产品这方面对我来说做得几乎满分，并且经过测试网下来TPS和其他数据都表现得非常好，团队也积极地从测试中吸取经验改进，融资背景也相当地好，不需要担心生态开发钱不够的问题🤣，所以综合下来Aleo这个项目非常值得关注
但需要注意的是很可能发行价上来市值会非常高，融资都融了2亿了，VC们还给到了14.5亿的估值，所以大概率上所或是ICO的时候市值也是这附近了
参考资料
Aleo Blog：https://www.aleo.org/blog
Aleo Devoloper：https://developer.aleo.org/
Aleo Twitter：https://twitter.com/AleoHQ