UIP:ZK 赛道融资最大的项目 Aleo 研究报告_SuiPad

来源：Web3CN

一、项目简介

Aleo是第一个采用零知识证明技术、提供完全私有应用程序的Layer1区块链，为用户提供具有绝对隐私的无限计算。Aleo通过构建一个默认为私有、开源的区块链，解决区块链隐私保护的缺点。用户使用Aleo，可以访问真正个性化的Web服务世界，在得到隐私保障同时又可以管理自己的数据，并且享受高效、安全的网络服务。

兼顾隐私性和可编程性是Aleo最大的创新之处。

二、项目愿景

Aleo团队认为，在下一个十年，Web服务将无处不在，它将不再只是局限于浏览器，还存在更多的地方，并且对人们生活的每个私密细节都在进行智能计算。而人们的个人生活已经成为一种“公共商品”，不论生活在哪里都随着网络服务的发展变得更加个性化。因此，人们和自己的数据的关系，人们如何管理自己的数据是未来每个人都应思考的问题。

信息泄露、数据隐私问题是当前互联网频繁看到的现象，Aleo的愿景就是解决这一问题，同时构建真正个人的和隐私的网络用户体验。Aleo大力倡导区块链生态系统中的隐私技术，并提供在网络应用程序中体现隐私技术的服务平台，以此增加世界各地的数字自由和访问。AleoCEOAlexPruden称：为世界提供安全和可扩展的应用程序。

三、特色和优势

Aleo和其它公链的不同且独特之处在于对隐私的保护和链上可扩展性。当前区块链搭载的智能合约有两个很大的限制：

V神：ZK Rollup可能是以太坊顶级Layer2扩展武器:8月8日消息，以太坊创始人Vitalik Buterin在2022韩国区块链周KBW 2022峰会中就以太坊的各类问题进行发言，他表示，由于Layer2 Rollup，以太坊网络的交易成本将很快降至1美分，在将来所有效率改进后交易成本可能降至0.05美元，甚至可能低至0.02美元，随着成本的下降，区块链实际上可以启用和解锁全新的场景用例，这将完全改变游戏规则。另外，下一个十年对区块链技术至关重要，区块链应用需要证明它们的实用性， 所以ZK Rollup很可能是以太坊的顶级Layer2扩展武器。Vitalik还表示，量子计算将是未来的重要考虑因素，以太坊需要升级以保护自己免受未来的量子计算攻击，并考虑转向“新形式的密码学”，以抵抗潜在的攻击，但可能需要几十年的时间。[2022/8/8 12:10:08]

它们在设计上是完全公开、透明的，因此不允许隐私的存在；

它们不能扩展到数百万、更不用说数十亿的用户，意味着无法支持亿万用户级别的线上实时游戏或活动。

针对上述现象，Aleo网络基于零知识证明密码学，解决当前公链既保护隐私又支持处理海量数据的难题。

既解决当前互联网数据泄露的困境，又完善当前区块链数据信息公开透明的缺点，同时还实现和当前互联网平台相媲美的海量数据实时处理及丰富的可扩展性，这是Aleo项目为市场关注的特别之处。

下图能够更直观、清晰地了解Aleo网络的特色：

ZK Rollup扩容方案StarkNet Alpha上线以太坊主网:11月29日消息，StarkWare推出的以太坊Rollup扩容方案StarkNet Alpha今日上线以太坊主网。StarkNet是一个无需许可的以太坊L2网络去中心化Rollup扩容方案。StarkNet允许任何dApp实现其计算规模，而不会影响可组合性和安全性，它依赖于安全和具可扩展性的加密证明系统——STARK。StarkNet建立在Cairo编程语言之上，Cairo和STARK均由 StarkWare内部开发，并为生产级应用程序提供支持。除其他功能外，StarkNet Alpha支持通用计算智能合约，支持与其他StarkNet合约以及通过 L1<>L2 消息与L1合约的可组合性。StarkNet Alpha在Rollup模式下运行，所有状态差异数据都在链上发送。

StarkNet Alpha上线以太坊主网意味着开发者可以在StarkNet上部署他们的合约，用户可以向这些合约发送交易，每个StarkNet区块都在链上被证明和验证，应用程序获得无限扩展并保持L1安全性。这是一个Alpha版本，该网络仍在开发中。团队不断添加功能、修复错误并对其进行改进。在接下来的几周和几个月内，团队将在以下功能上升级Alpha：合约升级机制；收费机制；添加系统调用（get_block_number、get_block_timestamp 等）。[2021/11/30 12:39:57]

四、发展历史

StarkWare推出ZK Rollup扩容方案StarkNet Alpha2版本:金色财经报道，据官方消息，StarkWare推出ZK Rollup扩容方案StarkNet Alpha2版本。StarkWare发布了一个测试框架，开发人员现在可以在本地有效地测试他们的合约。新功能包括可组合性，支持智能合约之间的交互；本地测试框架，将允许开发人员通过在本地测试其StarkNet合约部署和交互来加快dApp开发，此版本仅包L2交互，下一版本将扩展功能和易用性；性能提升，改进了StarkNet的设计，支持更高的吞吐量和更短的验证生成时间，允许创建更大的区块，从而降低每个交易的成本。添加了一个内置函数来支持StarkNet合约中更高效的按位运算（文档）；以及StarkNet正在从Ropsten迁移到Goerli。[2021/9/1 22:53:12]

2019年，Aleo成立

2020年8月19日正式对外官方宣布，推出开发者版本

2021年年初，推出官方AleoDiscord服务器

2021年4月20日，A轮融资2800万美金

2021年6月3日，获得财政部100万美元拨款，推出Aleo社区奖励计划，Leo编程大赛

2021年8月16日，正式开始Aleo设置，同时Testnest1上线

2021年12月6日，正式上线激励测试网Testnet2，节点超10000个，产生了数百万个零知识证明

StarkWare推出ZK Rollup扩容方案StarkNet Alpha 1版本:StarkWare推出ZK Rollup扩容方案StarkNet Alpha 1版本，该版本更新包括实现了L1、L2交互功能、实现了L1链上数据可用性，可通过L1数据构建StarkNet的状态等，此外，StarkNet还发布了StarkNet操作系统的代码，包括合约部署、交易执行等细节。[2021/7/20 1:03:37]

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主网上线。

五、团队背景

Aleo由HowardWu、MichaelBeller、CollinChin和RaymondChu于2019年正式成立，其中HowardWu是Aleo的创始人。该团队由来自谷歌、亚马逊和Facebook等公司以及加州大学伯克利分校、约翰霍普金斯大学、纽约大学和康奈尔大学等研究型大学的世界级密码学家、工程师、设计师和运营商组成。2022年9月20日，AlexPruden被提升为Aleo的CEO，他此前在A16Z、coinbase工作。

以太坊ZK Rollup扩容方案Hermez上线USDT:Hermez Network上线USDT稳定币。通过在Hermez上推出USDT，以太坊上的Gas费压力有望减轻。此前消息，以太坊ZK Rollup扩容方案Hermez Network正式上线。这意味着Hermez的主网已经启动，用户现在可以以更低的Gas成本转账。（Cointelegraph）[2021/4/19 20:36:52]

目前Aleo整个团队括财务和法律方面专业人才在内有30多人。

六、融资信息

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轮融资是零知识证明赛道有史以来规模最大的一轮融资

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网络在现实应用场景时处理海量数据是否优于其它网络、费用如何平衡，这些都有待市场验证。

标签：SUISUIPUIPPADsui币最新消息SuiPadSUIP币PADX价格

BNB价格热门资讯