Aleo简介
Aleo是第一个提供完全私有应用程序的平台。Aleo利用去中心化系统和零知识密码学为用户提供具有绝对隐私的无限计算。通过构建一个默认为私有、开源且为Web构建的区块链，Aleo具有独特的优势来解决区块链采用的缺点。使用Aleo，用户可以访问真正个性化的Web服务世界，而无需放弃对其私人数据的控制。
Aleo团队
Aleo由HowardWu、MichaelBeller、CollinChin和RaymondChu于2019年正式成立。该团队由来自谷歌、亚马逊和Facebook等公司以及加州大学伯克利分校、约翰霍普金斯大学、纽约大学和康奈尔大学等研究型大学的世界级密码学家、工程师、设计师和运营商组成。
Aleo融资情况
目前Aleo官方公布的融资轮有两次，分别是A轮和B轮；
A轮融资金额：2800万美金
B轮融资金额：2亿美金
继公司于2021年4月由a16z领投的2800万美元A轮融资之后，Aleo的B轮融资是零知识证明赛道有史以来规模最大的一轮融资。
Aleo投资机构
A轮融资由AndreessenHorowitz(a16z)领投，PlaceholderVC、GalaxyDigital、VariantCapital和CoinbaseVentures参投。其他值得注意的投资者包括PolychainCapital、SlowVentures、DekryptCapital、ScalarCapital、a_capital、zkValidator、BalajiSrinivasan和由JosephLubin创立的新风险基金EtherealVentures。
B轮融资由KoraManagementLP和SoftBankVisionFund2领投，TigerGlobal和SeaCapital、三星Next、SlowVentures和AndreessenHorowitz(a16z)参投，最终对该公司的估值为14.5亿美元。
Aleo共识机制
Aleo采用Proof of Succinct Work的共识机制——简称PoSW。由一种基于SNARK的POW算法，用于激励开发SNARK加速的硬件。
Aleo的目标
Aleo利用去中心化系统SNARKS来保护网络上的用户数据。
LEO语言
Leo是一种受Rust启发的静态类型编程语言，专为编写私有应用程序而构建。它旨在让开发人员直观地在Aleo区块链上构建，为私有、去中心化的生态系统奠定基础。它是第一个为通用零知识应用程序引入测试框架、包注册表、导入解析器、远程编译器和定理生成器的已知编程语言。Leo旨在消除尽可能多的密码知识要求。
ZkCloud
zkCloud是点对点、去中心化、私有计算的新模型的基石，可以在本地运行或委托给专门的证明者。zkCloud实现了受保护身份之间的编程交互，这些身份可以是用户、组织、DAO或更多。这些交互是通过屏蔽交易发生的，这些交易提供了保证给定程序正确执行的加密证明。这些交易被提交到更新全球状态的Aleo区块链，并将活动锚定在zkCloud上，并提供去中心化和抗审查的数据可用性保证。
snarkOS
snarkOS的目的是保护分散网络中的数据——并验证代表状态转换/交易的证明。去中心化网络使任何人都可以以无需许可的方式部署部署在snarkOS上的应用程序或智能合约或与之交互。
snarkVM
Aleo执行模型的加密核心是snarkVM。与以太坊虚拟机不同，snarkVM使客户端能够在链下运行计算，仅发布链上计算的证明。此模型可实现更高的可扩展性和无限的应用程序运行时间。
Aleo Package Manager
Aleo Package Manager是第一个零知识电路的包管理器。它包括团队和组织等协作功能，可以轻松与朋友和同事在私人应用程序上合作。此外，Aleo包管理器与Aleo Studio集成，无需离开编辑器即可轻松导入和发布新包。
Aleo Studio
Aleo Studio 是第一个用于编写零知识应用程序的IDE。Aleo Studio是一个交互式开发环境，用于在Leo中编写零知识应用程序。对于开发人员，Aleo Studio旨在简化开发周期，让用户可以轻松地将个人的Leo项目作为一个包发布到生态系统。
ZEXE（零知识执行）
Zexe是零知识执行的缩写，默认情况下通过链上验证帮助进行链下计算，以实现可扩展性和隐私。根据a16z的说法，Zexe是一个“完全私有的区块链模板，其规模远远超出了当今大多数区块链”。
IDE（集成开发环境）
IDE（集成开发环境）是用于提供程序开发环境的应用程序，一般包括代码编辑器、编译器、调试器和图形用户界面等工具。集成了代码编写功能、分析功能、编译功能、调试功能等一体化的开发软件服务套。所有具备这一特性的软件或者软件套（组）都可以叫集成开发环境。
zk-SNARKs
通用简洁的零知识证明，又称为zk-SNARKs。所谓zk-SNARK，是指：可为生成特定输出的计算提供相应的proof证明，使得验证proof的速度远远快于执行相应计算的速度。而ZK(zero-knowledge)是附加属性：proof可隐藏计算的某些输入值。
零知识证明（ZKP）
零知识证明(Zero—Knowledge—Proof)，指的是证明者能够在不向验证者提供任何有用的信息的情况下，使验证者相信某个论断是正确的。零知识证明实质上是一种涉及两方或更多方的协议，即两方或更多方完成一项任务所需采取的一系列步骤。证明者向验证者证明并使其相信自己知道或拥有某一消息，但证明过程不能向验证者泄漏任何关于被证明消息的信息。
隐私交易网络
隐私交易网络主要针对链上交易数据（持有或交易的币种类型与数量）进行隐私化处理，通过零知识证明等技术原生支持用户进行隐私交易，支持在该协议开发更多类型的隐私应用。这一类项目主要基于通用零知识证明虚拟机、混币、网络混淆方案等方案。
Aleo通证经济模型
Aleo通证在前十年产出中，每三年通证产量减半，到第九年之后（即到第十年），最终减半将导致每个区块同时奖励12.5个Aleo信用积分的尾部释放。这之后每年的产量将固定在一个区块奖励12.5个Aleo的产出总量。
Tail emission(尾部释放)
尾部释放，Aleo区块奖励永远不会降为零，第十年开始进行尾部释放。此时，每区块奖励将恒定为每块12.5个。尾部释放确保了为执行保护协议的基本工作的区块开采者始终有可靠的收入来源。
在Aleo上挖矿
矿工通过处理待处理的交易并计算有效的随机数来解决简洁工作证明难题来产生块。为了确保Aleo继续前进，难度率会动态调整，以反映Aleo上的矿工每秒贡献的证明数量。
出块难度和出块时间
块时间是网络生成有效块所需的时间。这个区块时间是可变的，并且基于网络的哈希率，但受区块难度的限制。根据最近的出块时间调整出块难度，以调节和稳定网络的平均出块时间。
ZKHack
ZKHack是Aleo一个为期六周的虚拟活动，将开发人员研讨会与动手学习和解决挑战相结合。这是一个以有趣且实用的方式学习零知识证明的机会。
大使计划
Aleo大使计划旨在为技术和非技术社区成员提供宣传项目、创建内容和开发其他资源的机会。大使分为2个等级：大师与学徒，其中大师将选择23人，学徒将选择30—50人。
Testnet2
Aleo官方于2021年12月6日推出的激励测试网，在testnet2上获得的区块奖励将在主网启动时兑换成Aleo积分。官方原本准备分配1500万Aleo积分来奖励testnet2上的矿工，最终结果根据不完全统计，只用了1008万枚Aleo。
ZPrize比赛
ZPrize的目标是汇集研究和工程、硬件和软件交叉领域的最佳团队，为不同的应用程序/硬件平台创建最快、最有效的证明者和/或验证者。通过这一举措，Aleo将全力以赴地开发零知识密码学，以解决当今Web3面临的可扩展性和隐私问题。
