来源：Web3CN
一、项目简介
Aleo是第一个采用零知识证明技术、提供完全私有应用程序的Layer1区块链，为用户提供具有绝对隐私的无限计算。Aleo通过构建一个默认为私有、开源的区块链，解决区块链隐私保护的缺点。用户使用Aleo，可以访问真正个性化的Web服务世界，在得到隐私保障同时又可以管理自己的数据，并且享受高效、安全的网络服务。
兼顾隐私性和可编程性是Aleo最大的创新之处。
二、项目愿景
Aleo团队认为，在下一个十年，Web服务将无处不在，它将不再只是局限于浏览器，还存在更多的地方，并且对人们生活的每个私密细节都在进行智能计算。而人们的个人生活已经成为一种“公共商品”，不论生活在哪里都随着网络服务的发展变得更加个性化。因此，人们和自己的数据的关系，人们如何管理自己的数据是未来每个人都应思考的问题。
信息泄露、数据隐私问题是当前互联网频繁看到的现象，Aleo的愿景就是解决这一问题，同时构建真正个人的和隐私的网络用户体验。Aleo大力倡导区块链生态系统中的隐私技术，并提供在网络应用程序中体现隐私技术的服务平台，以此增加世界各地的数字自由和访问。AleoCEOAlexPruden称：为世界提供安全和可扩展的应用程序。
三、特色和优势
Aleo和其它公链的不同且独特之处在于对隐私的保护和链上可扩展性。当前区块链搭载的智能合约有两个很大的限制：
Zeko Labs与O(1) Labs、dcSpark合作推出L2 ZK Rollup生态系统Zeko:7月27日消息，Zeko Labs 与 Mina 开发团队 O(1) Labs 和 dcSpark 合作，推出专门为零知识应用程序（zkApps）设计的 L2 ZK Rollup 生态系统 Zeko，由 Mina Protocol 进行结算，Zeko 将允许开发人员大规模构建具有可编程隐私性的去中心化应用程序。[2023/7/27 16:01:25]
它们在设计上是完全公开、透明的，因此不允许隐私的存在；
它们不能扩展到数百万、更不用说数十亿的用户，意味着无法支持亿万用户级别的线上实时游戏或活动。
针对上述现象，Aleo网络基于零知识证明密码学，解决当前公链既保护隐私又支持处理海量数据的难题。
既解决当前互联网数据泄露的困境，又完善当前区块链数据信息公开透明的缺点，同时还实现和当前互联网平台相媲美的海量数据实时处理及丰富的可扩展性，这是Aleo项目为市场关注的特别之处。
下图能够更直观、清晰地了解Aleo网络的特色：
四、发展历史
2019年，Aleo成立
2020年8月19日正式对外官方宣布，推出开发者版本
2021年年初，推出官方AleoDiscord服务器
2021年4月20日，A轮融资2800万美金
Polymer Labs推出Optimistic ZK IBC Connections，可降低延迟与成本:6月16日消息，专注于IBC协议的基础设施提供商Polymer Labs推出Optimistic ZK IBC Connections。该模型受到OSI模型启发，包含应用层、传输层与状态层。结合Optimistic与零知识证明验证两种技术可以提供具有理想特性的动态延迟：延迟的上限；当中继者受到适当激励时，可能会降低延迟；降低连接维护成本。[2023/6/16 21:42:32]
2021年6月3日，获得财政部100万美元拨款，推出Aleo社区奖励计划，Leo编程大赛
2021年8月16日，正式开始Aleo设置，同时Testnest1上线
2021年12月6日，正式上线激励测试网Testnet2，节点超10000个，产生了数百万个零知识证明
2022年2月7日，B轮融资2亿美金
2022年3月，Aleo推出大使计划，Testnet3准备上线
2022年8月19日，ALeoDiscord官方通告ALeoTestnet3三个测试阶段将延期
2022年11月10日，Aleo网络启动三测第二阶段
2023年1月24日，Aleo发布2023路线图?
预计2023年7月，Aleo主网上线。
CertiK：Zk Secure (ZK)遭遇闪电贷款攻击:金色财经报道，据CertiK监测，Zk Secure (ZK)遭遇闪电贷款攻击，目前共有7千美元被盗。请保持警惕。[2023/6/3 11:55:33]
五、团队背景
Aleo由HowardWu、MichaelBeller、CollinChin和RaymondChu于2019年正式成立，其中HowardWu是Aleo的创始人。该团队由来自谷歌、亚马逊和Facebook等公司以及加州大学伯克利分校、约翰霍普金斯大学、纽约大学和康奈尔大学等研究型大学的世界级密码学家、工程师、设计师和运营商组成。2022年9月20日，AlexPruden被提升为Aleo的CEO，他此前在A16Z、coinbase工作。
目前Aleo整个团队括财务和法律方面专业人才在内有30多人。
六、融资信息
Aleo官方公布的融资有两轮半，分别是A轮、B轮及B轮+。
A轮融资金额2800万美金，由AndreessenHorowitz(a16z)领投，PlaceholderVC、GalaxyDigital、VariantCapital和CoinbaseVentures参投，其他投资者包括PolychainCapital、SlowVentures、DekryptCapital、ScalarCapital、a_capital、zkValidator、BalajiSrinivasan和由JosephLubin创立的新风险基金EtherealVentures。
WEMIX宣布将推出具有EVM等效性的ZK Rollup扩容网络WEMIX Kanvas:金色财经报道，韩国游戏巨头WeMade旗下区块链游戏平台WEMIX今日宣布将推出WEMIX Kanvas，这是一款具有EVM等效性的ZK Rollup Layer2。
根据计划，从2023年第一季度开始，WEMIX Kanvas将分两阶段进行部署，先是从ZK Fault证明的Optimistic Rollup开始，随后发展至EVM等效的ZK Rollup。[2023/2/17 12:13:50]
B轮融资金额2亿美元，由KoraManagementLP和SoftBankVisionFund2领投，TigerGlobal和SeaCapital、三星Next、SlowVentures和AndreessenHorowitz(a16z)参投，最终对该公司的估值为14.5亿美元。Aleo的B轮融资是零知识证明赛道有史以来规模最大的一轮融资
B轮+融资7000万美元，SoftbankVisionFund2和三星Next对其进行了投资。
七、发展成果
从2019年立项至今，Aleo项目的发展成果如下：
Aleo项目于2月24日发布了Testnet3上的Deploy&Execute。这一发展成果对开发人员、ZK领域有重要意义：开发人员将Leo应用程序部署到Aleo网络，是ZK领域首次实现的成就。通过此版本发布，Aleo兑现了最初由AleoCTOHowardWu和团队其他创始成员共同撰写的ZEXE研究论文中所设想的创建零知识执行环境的终极承诺。
以太坊ZK Rollup扩容方案Hermez上线USDT:Hermez Network上线USDT稳定币。通过在Hermez上推出USDT，以太坊上的Gas费压力有望减轻。此前消息，以太坊ZK Rollup扩容方案Hermez Network正式上线。这意味着Hermez的主网已经启动，用户现在可以以更低的Gas成本转账。（Cointelegraph）[2021/4/19 20:36:52]
Aleo项目是和零知识证明紧密结合在一起的网络，如何在Aleo网络构建应用程序和生态是首要的事。一般开发ZK应用比较复杂和耗时，开发人员还需要零知识密码学知识，门槛较高。Aleo允许开发人员以尽可能简单的方式在其应用程序中使用零知识证明，为私有、去中心化的生态系统奠定基础。Leo编程语言是一种受Rust启发的静态类型编程语言，专为编写私有应用程序而构建。它是第一个为通用零知识应用程序引入测试框架、包注册表、导入解析器、远程编译器和定理生成器的已知编程语言。
Aleo创建了自己的虚拟机snarkVM，开发人员可以在其上用熟悉的Solidity编程语言构建应用程序。
Aleo不依赖于现有的共识机制，工作量证明或权益证明，而是使用两者的组合，并对PoW进行了有用的调整，称为简洁工作证明，使得ZKP在Aleo上比在以太坊上便宜得多。
Aleo测试网在Testnet3第二阶段的主要收获和成就，首先是验证了Aleo项目的假设，即将区块生产与coinbase生成分离可以使证明者以其所需的规模计算证明；其次是得出了大量的证明池可以为网络生成证明做出贡献，使得证明更加易于访问；最后是得出在网络上进行的证明相当分散。
八、经济模型
Aleo的代币经济学旨在以尽可能简单的方式调整Aleo系统中所有利益相关者的激励措施，为Aleo网络提供服务。其代币表示有意义的价值，为参与者提供的安全性给予奖励，促进生态系统的开发和使用及权力下放等。并且，团队保留在迭代主网时进行必要调整的权利。
在Aleo网络启动时，Aleo积分将在早期支持者、建设者和社区成员以及提供资助并确保网络持续发展的基金会或其它实体之间分配。从创世开始，新的积分将被铸造并通过区块奖励分配给Aleo网络上的矿工。表1总结了整体经济模型的细节。
表1
除了在Aleo团队、早期支持者和社区成员之间分配的代币起始供应外，还将留出一部分用于在Aleo主网启动后的某个时候进行更广泛的分发，目的是进一步分散控制并提高开源社区的质量，同时遵守适用的法律和法规。
同时为了实现网络的高度安全性，Aleo团队在开始时设定了一个相对较高的通货膨胀率，然后在第一个十年中减半两次。在第九年之后，最终减半将导致每个区块的尾部释放12.5个Aleo积分，以确保网络的安全性以及它将支持的经济稳定性。下表显示了Aleo头15年的通货膨胀曲线。
表2：Aleo通货膨胀时间表和总供应量
在积分分配上，随着时间的推移和新积分的铸造，分配会发生变化。表3描述了假设区块奖励的Aleo积分的分配。
表3：Aleo积分分配
九、基本面分析
Aleo项目目前处在测试网三，还没有进入第三阶段。根据其发布的2023路线图，预期4月将会进入测试网三第三阶段，并在5月结束测试网三第三阶段，在6月经过压力和审核测试、主网升级后，将于7月上线主网。
在当前火热的AI领域，Aleo团队近期表示Aleo网络是开发人员开始试验ZKML应用程序的绝佳平台。官方发布的指南介绍了如何使用Aleo的零知识领域特定语言——Leo语言运行神经网络的推理。出于Aleo无需许可的架构，任何人都可以在Aleo网络上的ML和ZK领域成为自己数据的证明者/验证者，“这为潜在用例的全新世界打开了大门”。
十、行业分析
分析Aleo项目所在的行业，可以从零知识证明领域和Layer1切入。
在零知识证明领域，随着硬件的加速研发和基础设施的完善，ZK技术会变得更加实用，并且在多个领域与其形成紧密的联系，如元宇宙、Web3、加密货币、金融和隐私等。零知识的发展还处在早期阶段，作为一项加密算法，它在一系列加密算法当中脱颖而出，离不开它优秀的算法特性和易用性。
ZK技术被应用在区块链领域，意味着更快速运行的区块链网络和开放、私有的应用程序。在某种程度上，它也已经成为区块链生态系统的核心和支持工具。在实现隐私保障的同时，还可实现可扩展性，这些都对区块链乃至web3的未来发展至关重要。这是零知识证明未来的应用前景，也是Aleo网络的前景。
在Layer1方面，和Starware、zkSync、Scroll等Layer2项目不同，Aleo网络具备自己的snarkVM、Leo编程语言、AleoStudio开发环境、PoSW共识机制等，意味在零知识领域，基于Aleo开发的应用和生态系统都大大地超过Layer2ZK项目，而应用生态和系统带来的海量市场和可观资本是超乎想象的。
十一、机会与风险
机会
在行业分析一节中，已论述零知识证明技术的重要性和潜力，这一点既是技术本身的潜在广泛使用前景，又是“搭载”了零知识证明技术Aleo网络的未来前景。Aleo项目也正是凭借采用零知识证明技术而获得资本的青睐。因此，可以说零知识证明领域的机会也是Aleo项目的机会，尤其对区块链Layer1来说更是如此。
从区块链Layer1来说，不同于Layer2，Layer1拥有自己的智能合约、开发环境、编程语言、共识机制、经济模型等，在规模和体量方面更能吸引潜在的市场生态，收获更多的用户和价值。这是Aleo项目定位在Layer1的机会和优势。
风险
Aleo项目的风险部分也来自于零知识证明技术。从历史上看，生成ZKP比仅在本地运行计算更昂贵，因为ZKP需要更复杂和计算成本更高的数学运算，依赖于更专业的硬件。这也是AleoCEO在谈到2023年ZK技术的发展时认为硬件的加速发展会推动ZK的发展。采用ZKP技术的Aleo网络在现实应用场景时处理海量数据是否优于其它网络、费用如何平衡，这些都有待市场验证。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。