来源：Web3CN
一、项目简介
Aleo是第一个采用零知识证明技术、提供完全私有应用程序的Layer1区块链，为用户提供具有绝对隐私的无限计算。Aleo通过构建一个默认为私有、开源的区块链，解决区块链隐私保护的缺点。用户使用Aleo，可以访问真正个性化的Web服务世界，在得到隐私保障同时又可以管理自己的数据，并且享受高效、安全的网络服务。
兼顾隐私性和可编程性是Aleo最大的创新之处。
二、项目愿景
Aleo团队认为，在下一个十年，Web服务将无处不在，它将不再只是局限于浏览器，还存在更多的地方，并且对人们生活的每个私密细节都在进行智能计算。而人们的个人生活已经成为一种“公共商品”，不论生活在哪里都随着网络服务的发展变得更加个性化。因此，人们和自己的数据的关系，人们如何管理自己的数据是未来每个人都应思考的问题。
信息泄露、数据隐私问题是当前互联网频繁看到的现象，Aleo的愿景就是解决这一问题，同时构建真正个人的和隐私的网络用户体验。Aleo大力倡导区块链生态系统中的隐私技术，并提供在网络应用程序中体现隐私技术的服务平台，以此增加世界各地的数字自由和访问。AleoCEOAlexPruden称：为世界提供安全和可扩展的应用程序。
三、特色和优势
Aleo和其它公链的不同且独特之处在于对隐私的保护和链上可扩展性。当前区块链搭载的智能合约有两个很大的限制：
Polymer Labs推出Optimistic ZK IBC Connections，可降低延迟与成本:6月16日消息，专注于IBC协议的基础设施提供商Polymer Labs推出Optimistic ZK IBC Connections。该模型受到OSI模型启发，包含应用层、传输层与状态层。结合Optimistic与零知识证明验证两种技术可以提供具有理想特性的动态延迟：延迟的上限；当中继者受到适当激励时，可能会降低延迟；降低连接维护成本。[2023/6/16 21:42:32]
它们在设计上是完全公开、透明的，因此不允许隐私的存在；
它们不能扩展到数百万、更不用说数十亿的用户，意味着无法支持亿万用户级别的线上实时游戏或活动。
针对上述现象，Aleo网络基于零知识证明密码学，解决当前公链既保护隐私又支持处理海量数据的难题。
既解决当前互联网数据泄露的困境，又完善当前区块链数据信息公开透明的缺点，同时还实现和当前互联网平台相媲美的海量数据实时处理及丰富的可扩展性，这是Aleo项目为市场关注的特别之处。
下图能够更直观、清晰地了解Aleo网络的特色：
四、发展历史
2019年，Aleo成立
2020年8月19日正式对外官方宣布，推出开发者版本
2021年年初，推出官方AleoDiscord服务器
区块链开发平台Alchemy启动对ZK Rollup StarkNet的支持:金色财经报道，区块链开发平台 Alchemy 启动对 ZK Rollup StarkNet 的支持，Starknet 现已在 Alchemy 上公开发布，通过向公众开放，Alchemy 正在为 Starknet 的开发者社区提供基础设施和工具，构建者可以创建功能丰富、突破性的 dapp，starknet 用户可以在本地使用智能合约账户，而无需将他们的钱包重新编程为智能合约。虽然新产品仅代表 Alchemy 支持的 39 个区块链之一，但该公司表示，StarkNet集成是关键，因为它的“快速发展的开发者社区”和该项目的“零知识rollups的开创性方法”。[2023/5/5 14:43:29]
2021年4月20日，A轮融资2800万美金
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三个测试阶段将延期
基于ZK Rollup的订单簿DEX DeGate正式上线主网Beta版本:5月3日消息，基于ZK Rollup的订单簿DEX DeGate正式上线主网Beta版本，此前DeGate进行早期采用者NFT通行证铸造活动，从主网Beta版本发布开始的首个星期，协议仅限DeGate NFT铸造者访问，之后将向公众开放。
此前报道，DeGate已通过Trail of Bits、Least Authority、Secbit多家审计机构的审计，同时与Immunefi合作推出的111万美元的漏洞赏金计划也正在进行中。[2023/5/4 14:40:52]
2022年11月10日，Aleo网络启动三测第二阶段
2023年1月24日，Aleo发布2023路线图?
预计2023年7月，Aleo主网上线。
五、团队背景
Aleo由HowardWu、MichaelBeller、CollinChin和RaymondChu于2019年正式成立，其中HowardWu是Aleo的创始人。该团队由来自谷歌、亚马逊和Facebook等公司以及加州大学伯克利分校、约翰霍普金斯大学、纽约大学和康奈尔大学等研究型大学的世界级密码学家、工程师、设计师和运营商组成。2022年9月20日，AlexPruden被提升为Aleo的CEO，他此前在A16Z、coinbase工作。
目前Aleo整个团队括财务和法律方面专业人才在内有30多人。
Syscoin宣布集成跨链ZK Rollups:金色财经报道，Syscoin是宣布整合跨链ZK rollups，与跨链网络ZKCross 合作。ZKCross的跨链ZK rollups结合了Layer 2和多链rollup方法来创建一个网络，该网络允许用户有效交易，同时保持对资产的控制，体验与中心化交易所一样。通过创建连接多个区块链的桥梁，Syscoin和ZKCross正在开发一个安全性、效率和可扩展性的DeFi社区。[2022/7/22 2:31:28]
六、融资信息
Aleo官方公布的融资有两轮半，分别是A轮、B轮及B轮+。
A轮融资金额2800万美金，由AndreessenHorowitz(a16z)领投，PlaceholderVC、GalaxyDigital、VariantCapital和CoinbaseVentures参投，其他投资者包括PolychainCapital、SlowVentures、DekryptCapital、ScalarCapital、a_capital、zkValidator、BalajiSrinivasan和由JosephLubin创立的新风险基金EtherealVentures。
B轮融资金额2亿美元，由KoraManagementLP和SoftBankVisionFund2领投，TigerGlobal和SeaCapital、三星Next、SlowVentures和AndreessenHorowitz(a16z)参投，最终对该公司的估值为14.5亿美元。Aleo的B轮融资是零知识证明赛道有史以来规模最大的一轮融资
StarkWare推出ZK Rollup扩容解决方案StarkNet:1月27日消息，零知识证明研发机构StarkWare表示，其二层扩容解决方案ZK Rollup“StarkNet”目前已经完成基础构建（阶段0），即图灵完备框架Cairo、STARK 软件堆栈和二层扩容引擎StarkEx，之后将进行构建阶段一至阶段三，其中，阶段一将支持单一应用Rollup“Single-App Rollup”，将使开发人员能够在StarkNet上构建和部署自己的可扩展性应用程序；阶段二将支持多应用Rollup“Multi-App Rollup”，支持在同一StarkNet实例上运行并访问多个应用程序，这将实现不同应用程序之间的互操作性，以及降低 Gas 成本；阶段三将支持去中心化Rollup“Decentralized Rollup”。
StarkWare预计将在近几个月内部署阶段一，并在2021年底之前顺利进入阶段二和阶段三。StarkWare构建的StarkNet是一种由STARK驱动的去中心化二层ZK Rollup，可支持以太坊的通用计算。[2021/1/27 13:37:48]
B轮+融资7000万美元，SoftbankVisionFund2和三星Next对其进行了投资。
七、发展成果
从2019年立项至今，Aleo项目的发展成果如下：
Aleo项目于2月24日发布了Testnet3上的Deploy&Execute。这一发展成果对开发人员、ZK领域有重要意义：开发人员将Leo应用程序部署到Aleo网络，是ZK领域首次实现的成就。通过此版本发布，Aleo兑现了最初由AleoCTOHowardWu和团队其他创始成员共同撰写的ZEXE研究论文中所设想的创建零知识执行环境的终极承诺。
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网络在现实应用场景时处理海量数据是否优于其它网络、费用如何平衡，这些都有待市场验证。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。