Aleo项目详细介绍-一个兼顾隐私和可编程性的隐私公链

Aleo 最初是在 2016 年构思的，旨在研究可编程零知识。公司由 Howard Wu、Michael Beller、Collin Chin 和 Raymond Chu 于 2019 年正式成立。Aleo 是第一个采用零知识证明（ZKP）技术，提供私有、开源的Layer 1 区块链。Aleo 开发了一个默认交易隐私的应用程序构建平台，可实现区块链上的隐私。通过这个平台，开发者可以使用Aleo开发

慎思知行

3648人浏览 · 2024-01-25 21:56:01

慎思知行 · 2024-01-25 21:56:01 发布

Aleo上线在即，整理一篇项目的详细介绍，喜欢的收藏。有计划做aleo节点的可交流。

一、项目简介

Aleo 最初是在 2016 年构思的，旨在研究可编程零知识。公司由 Howard Wu、Michael Beller、Collin Chin 和 Raymond Chu 于 2019 年正式成立。

Aleo 是第一个采用零知识证明（ZKP）技术，提供私有、开源的Layer 1 区块链。

Aleo 开发了一个默认交易隐私的应用程序构建平台，可实现区块链上的隐私。通过这个平台，开发者可以使用Aleo开发的编程语言Leo来编写他们的应用程序，而无需使用密码学。

二、创始团队

Collin Chin、Raymond Chu 和 Howard Wu 是 Aleo 的联合创始人。

Colling Chin 毕业于加州大学伯克利分校，获得电气工程和计算机科学学位。目前，他是 Aleo 的联合创始人。

他的职业生涯始于 Sportvision。之后，他在 ConsenSys 担任智能合约开发。此外，他还担任过 Gnosis 的开发者倡导者、伯克利区块链顾问以及 Argus Observer LLC 的安全顾问。

Raymond Chu 在加州大学伯克利分校获得了计算机科学学士学位。他是 Aleo 的全职联合创始人和 Argus 的安全顾问。

他于 2017 年开始了自己的职业生涯，先后在 IBM 和 Amazon 任职。之后，他在伯克利区块链公司担任软件项目经理。

Howard Wu 在加州大学伯克利分校获得了计算机科学和应用数学学士学位以及电气工程和计算机科学硕士学位。

他是谷歌的软件工程师和伯克利区块链的顾问。目前，他是 Dekrypt Capital 的执行合伙人以及 Aleo 的联合创始人兼首席技术官。

2022年9月20日，Alex Pruden被提升为Aleo的CEO，他此前在A16Z、coinbase工作。

截止2023年4月，该项目拥有超过 55 名员工。

三、零知识证明简介

零知识证明是一种加密协议，其中一方（证明者）向另一方（验证者）证明某件事是真实的，但不透露它是如何真实的。

我们可以通过证明自己的身份来登录 Facebook，而无需透露我们的电子邮件、密码、位置、生日、母亲的婚前姓氏或最喜欢的披萨配料。

我们可以证明我们的信用评分使我们有资格获得贷款，而无需发起会损害我们信用评分的严格审查。

我们可以提交可以审查、验证和批准的保险索赔，而无需暴露我们的其余保险身份，这会造成索赔被拒绝的不道德原因。

这么实用未流行，主要是因为技术发展制约。

零知识证明最近才变得实用。与传统的做事方式相比，生成它们的成本仍然昂贵。现实情况是，很少有人会接受速度较慢、效率较低的系统。

Aleo提供了一个可编程零知识证明的高效方案。

四、主要特色

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

隐私性：

可编程性可类比于以太坊，但增加了隐私保护、高TPS的特点，基于Aleo的开发都可以使用零知识证明达到隐私保护的功能。

可编程性：

隐私性可类比于同赛道Zcash，但相比Zcash，Aleo具有良好的可编程性，且效率更高。

可选择退出隐私：

可选择退出隐私(opt-outprivacy)，默认交易为隐私模式，用户可选择性公开想公开的信息。

五、Aleo共识机制与挖矿

当前区块时间约5s。

Aleo使用的是 PoSW（简洁工作证明）共识机制，该算法是基于 SNARK 的激励算法。PoSW 是一种类 PoW 的共识机制，是比特币基于 SHA 的难度调整算法的变体，主要区别在于底层计算不是任意散列函数，而是知识证明。使得 PoSW 解决方案不仅可以充当 PoW 以确保系统共识，还可以提供给定区块中包含交易的验证，让算力发挥实际运算的作用，且逻辑上来说也可以让性能更进一步优化。

Aleo由证明节点和验证节点构成，证明节点在链下执行交易并由矿工生成 SNARK 证明，提交到Layer 1，验证节点负责验证该证明有效性。类似于ETH2.0结构。而 Layer1 仍然采用的是 POS 质押模型。

Aleo目前主要是使用显卡机去挖矿，同时Aleo的挖矿算法也对CPU与GPU有相对应的要求。有兴趣参与节点建设的，私信我，主网上线临近，抢占早期红利。

Aleo采用的挖矿逻辑是：挖矿设备根据要求去完成快速傅里叶变换（Fast Fourier Transform, FFT）和多标量乘法（Multi-Scalar Multiplication ,MSM）算法的计算任务，挖矿者需要在规定时间内产生有效证明。

单位时间内完成有效证明次数的算力单位为PPS，这也个是衡量挖矿设备能获得多少Aleo 代币奖励的唯一标准，与传统比特币挖的统计算力单位 (H/s) 完全不同。

六、Aleo 发展历史

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个，产生了数百万个零知识证明
2022年2月7日，B轮融资2亿美金
2022年3月，Aleo推出大使计划，Testnet3准备上线
2022年8月19日，ALeo Discord官方通告ALeo Testnet3三个测试阶段将延期
2022年11月10日，Aleo网络启动三测第二阶段
2023年1月24日，Aleo发布2023路线图

Aleo主网将于近期上线，如果有想建节点获取节点奖励，可以联系我myto88，时不我待，抢占早期红利。

七、Aleo提供的产品

当前ALEO提供了一个全套的基础服务：

Aleo结合零知识提供了全栈解决方案，保证应用程序堆栈的每一层都可编程、可使用、可去中心化私有计算。并从Leo编程语言、Aleo Studio开发环境、工具端、RPC、隐私保护应用程序的开发、部署和可持续性等。即便不是密码学专家，开发人员也可以编写隐私保护很强的应用程序。

Aleo提供业界领先的基础设施和工具来编写零知识应用程序。

Aleo的目标是为开发人员提供一个端到端的管道，以便使用我们完整的可编程零知识工具集来无缝地编写、运行和部署私有应用程序，如下所示：

Leo - 为了直观、轻松地在 Aleo 上编写私人应用程序，我们开发了一种名为 Leo 的编程语言。Leo 的外观和感觉就像传统的编程语言一样。然而，在表面之下，狮子座要复杂得多。Leo 抽象了低级加密概念，让您可以轻松地将私有应用程序集成到您的堆栈中。Leo引入了高级语法，可以轻松编写并直观地以零知识表达逻辑。Leo 语言受到 JavaScript、Scala 和 Rust 等传统编程语言的影响，非常强调可读性和易用性。在幕后，Leo 将开发人员的高级代码转换为零知识电路。
Aleo Studio - 为了快速启动开发周期，我们构建了 Aleo Studio，这是第一个用于编写零知识应用程序的 IDE。Aleo Studio 是一个交互式开发环境，用于在 Leo 中编写零知识应用程序。对于开发人员来说，Aleo Studio 旨在简化开发周期，并让您可以轻松地将 Leo 项目作为包发布到生态系统中。

Aleo 包管理器- 为了简化捆绑和共享您的工作，我们为 Leo 构建了一个包管理器。Aleo Package Manager 是第一个零知识环路的包管理器。它包括团队和组织等协作功能，使您可以轻松地与朋友和同事在私人应用程序上合作。此外，Aleo Package Manager 与 Aleo Studio 集成，可以轻松导入和发布新包，而无需离开编辑器。
snarkOS - Aleo 在名为 snarkOS 的私有应用程序的去中心化操作系统上运行。它构成了状态转换的逻辑主干，使应用程序能够以可公开验证的方式在 Aleo 区块链上验证和存储状态。snarkOS 对 Aleo 上的所有程序和事务强制执行数据可用性保证。此外，我们的共识机制确保验证者计算零知识证明以检查链上的状态。

这些工具将使开发人员能够构建下一代智能合约。Aleo 可以表达强大的 DeFi 原语，例如稳定币或去中心化交易所。然而，所有交易都是完全私密的，让开发者和用户处于控制之中。

八、经济模型

Aleo经济模型采用采用微通胀模型，设置创始代币（积分）10亿，前三年的通膨率大概在12~16%（用于鼓励前期节点挖矿，目前Aleo的减少供给的方式只有作为网络的手续费销毁掉）。其中投资人占57%，团队占20%，公募15%，私募8%，具体锁仓和释放机制未公布。

创世区块维持10亿个币不变，其中包括投资人的5.7亿，团队的2亿，公售的1.5亿和激励池8000万，Testnet2的2500万奖励应该是来自于激励池。

区块奖励分发机制

Aleo流通量趋势

Aleo持有者分布（发行时和5年后）

九、融资信息

Aleo官方公布的融资有两轮半，分别是A轮、B轮及B轮+。

A轮融资金额2800万美金，由Andreessen Horowitz(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万美元，Softbank Vision Fund 2和三星Next对其进行了投资。

十、项目分析

Aleo所属领域：ZK零知识证明、Layer 1 公链。

在零知识证明领域，随着硬件的加速研发和基础设施的完善，ZK技术会变得更加实用，并且在多个领域与其形成紧密的联系，如元宇宙、Web3、加密货币、金融和隐私等。零知识（ZK）的发展还处在早期阶段，作为一项加密算法，它在一系列加密算法当中脱颖而出，离不开它优秀的算法特性和易用性。

ZK技术被应用在区块链领域，意味着更快速运行的区块链网络和开放、私有的应用程序。在某种程度上，它也已经成为区块链生态系统的核心和支持工具。在实现隐私保障的同时，还可实现可扩展性，这些都对区块链乃至web3的未来发展至关重要。这是零知识证明未来的应用前景，也是Aleo网络的前景。

在Layer1方面，和Starware、zkSync、Scroll等Layer2项目不同，Aleo网络具备自己的snarkVM、Leo编程语言、Aleo Studio开发环境、PoSW共识机制等，意味在零知识领域，基于Aleo开发的应用和生态系统都大大地超过Layer2 ZK项目，而应用生态和系统带来的海量市场和可观资本是超乎想象的。

零知识证明领域的机会也是Aleo项目的机会，尤其对区块链Layer1来说更是如此。

从区块链Layer1来说，不同于Layer2，Layer1拥有自己的智能合约、开发环境、编程语言、共识机制、经济模型等，在规模和体量方面更能吸引潜在的市场生态，收获更多的用户和价值。

而大多数zk领域的项目大多用在了以太坊Layer 2上，这是Aleo项目定位在Layer1的机会和优势。

十一、社区和工具

社区数据

统计日期：2023.12.9

媒体平台	地址	数据
Twitter	https://twitter.com/AleoHQ	17.8万
Youtube	https://www.youtube.com/@AleoLabs/featured	2150订阅，13视频
Github	https://github.com/AleoHQ	2.4k followers
Discord	https://discord.com/invite/aleohq	251265 成员，7711在线