https://messari.io/report/understanding-aleo-a-comprehensive-overview
Aleo 主网于 2024 年 9 月推出。Aleo 是一个专注于隐私的 L1 区块链，它使用零知识证明 (ZKP) 来增强隐私、安全性和可扩展性。
Aleo 采用一种独特的共识机制，称为 AleoBFT。AleoBFT 是一种使用 Narwhal + Bullshark + 动态委员会集的权益证明算法。
Aleo Provers 生成证明以获得谜题奖励。这激励了优化和 ZK 硬件开发。
ALEO 代币与主网同时推出。ALEO的初始供应量为 15 亿个代币，并将随着时间的推移而增加。
Aleo 拥有一种专门构建的零知识编程语言，名为 Leo，旨在使用零知识证明构建私人应用程序。
介绍
支持智能合约的区块链的兴起推动了独特的去中心化应用程序的开发，并提高了金融交易的透明度。然而，尽管透明度对某些用例有益，但对链上隐私的需求也在增长。这导致大量应用程序和区块链通过实施零知识证明、环签名和多方计算 (MPC) 等加密原语来优先考虑隐私。
Aleo是一个以隐私为中心的 L1 区块链，旨在通过零知识证明 (ZKP) 增强可扩展性和安全性。Aleo 结合其独特的 Coinbase Puzzle 和 AleoBFT 机制来验证 ZKP 和交易。这使验证者能够在不了解潜在敏感信息（例如交易涉及的地址或交易金额）的情况下验证交易的有效性。这些隐私组件为希望构建以隐私为中心的去中心化应用程序 (dApp) 的开发人员创建了一个有利的生态系统。
背景
Aleo 的想法是在 2018 年 Zexe 白皮书中提出的，该白皮书提议将零知识证明技术扩展到支持智能合约的区块链。白皮书的合著者 Howard Wu 与 Sean Bowe、Alessandro Chiesa、Matthew Green、Ian Miers 和 Pratyush Mishra 一起开发和推出了 Aleo Systems，现在称为 Provable Inc.
第一个 Aleo 测试网于 2020 年启动，当时推出了 Aleo Studio 和 Leo 编程语言。2021 年 8 月，Aleo 举行了一场设置仪式，超过 2,200 名全球参与者参加了类似于 Zcash 举办的 MPC 仪式。设置仪式为 Aleo 的通用、内部和外部设置奠定了基础。有关如何使用 MPC 仪式构建 zkSNARK 所需的随机性的更详细说明，请参见此处。
Testnet 2 于 2021 年启动，使证明者能够开始生产 ZKP 并获得 Aleo 积分。该团队还从原始 Nakamoto 共识过渡到 ASERT，解决了共识问题。
Testnet 3 于 2022 年开始，引入了 Aleo 独特的 AleoBFT 共识算法，并为证明者提供基于工作的报酬系统。它还支持开发和部署 ZK 程序（Aleo 的智能合约），供用户交互。Testnet 3 还引入了两个新的激励计划，即证明者激励计划（用 Aleo 积分奖励为 Coinbase Puzzle 生成 ZK 证明的证明者）和部署激励计划（奖励将应用程序部署到 Aleo 的开发人员）。
2023 年 12 月，Aleo 网络基金会成立，旨在帮助指导和支持 Aleo 独立运营。作为此次变革的一部分，Aleo 前首席执行官 Alex Pruden 转任 Aleo 网络基金会执行董事。该基金会的主要举措是通过资助计划和产品孵化来支持和教育开发人员。该基金会还旨在通过培养专门的技术顾问委员会和实施 Aleo 征求意见 (ARC) 系统来促进 Aleo 协议的治理。
2024 年 9 月，Aleo主网上线。在发布时，开发人员能够开始利用 Aleo 的原生隐私功能无需许可地部署应用程序。作为主网发布的一部分，ALEO 代币被部署。ALEO 用于支付 Aleo 上的交易和区块空间，激励和奖励证明者和验证者，并使代币持有者能够参与治理。超过 350 个团队已经开始在 Aleo 网络上进行构建，探索从私人身份验证到复杂的去中心化游戏的用例。
技术
Aleo 采用一种独特的机制，即简洁工作量证明(PoSW)，并结合拜占庭容错 (BFT) 共识协议 AleoBFT。在这个双重系统中，证明者负责解决加密难题以生成零知识证明 (ZKP)，然后由验证者进行验证。角色分离既通过零知识证明 (ZKP) 确保隐私，又确保网络安全，从而使 Aleo 能够在不牺牲用户隐私的情况下实现可扩展的去中心化共识。
简洁工作量证明（PoSW）
PoSW是 Aleo 对工作量证明 (PoW) 的全新改编，旨在满足以隐私为中心的区块链的特定需求。在比特币等传统 PoW 系统中，矿工通过解决加密难题来验证交易并保护网络。然而，PoSW 通过集成零知识加密技术扩展了这一想法，允许证明者解决难题并生成零知识证明，而无需透露底层交易数据。
证明者的作用
证明者负责生成零知识证明，以验证交易或计算的正确性。在 Aleo 的背景下，这些证明用于确保交易有效，同时将交易数据完全保密。通过解决计算难题（称为 Coinbase 难题） ，证明者将获得 ALEO 代币奖励，从而激励开发用于生成证明的高效硬件。每个时代（360 个区块），Coinbase 难题都会发生变化，要求证明者转向计算新难题以继续让网络接受解决方案。ZKP 的生成需要强大的计算能力，但证明者不需要质押或锁定任何 ALEO 代币。证明者通过 Coinbase Reward 生成和提交的每个有效证明都会获得 ALEO 代币作为补偿。Coinbase Reward 每年减少 10%，直到第 9 年，届时将设定为固定利率。
ZKP 和隐私
零知识证明(ZKP) 是一种加密方法，允许一方（证明者）向另一方（验证者）证明某个陈述是真实的，而不会泄露陈述真实性之外的任何其他信息。在 Aleo 的架构中，证明者生成加密证明来验证交易，确保其正确性，而不会泄露敏感细节，例如转移的金额或涉及的身份。此功能在 Aleo 的架构中至关重要，因为它支持隐私保护 dApp，可以在不暴露合约输入或输出的情况下验证智能合约的执行。
AleoBFT：共识层
AleoBFT 是一种拜占庭容错 (BFT) 共识协议。PoSW 负责生成证明，而 AleoBFT 负责协调验证者之间的协议，以维护区块链的完整性。要最终确定一个区块，绝大多数验证者必须同意该区块有效。
验证者的角色
验证者是 Aleo 共识流程中的重要参与者，负责生成区块、验证交易和保护网络。在证明者生成零知识证明后，验证者必须确认这些证明的有效性，然后才能将交易添加到区块链。Aleo 验证者需要运行 snarkOS 软件并自质押至少 100 个 ALEO。要被选为活跃验证者集，验证者必须拥有总计（自质押 + 委托）1000 万个 ALEO。验证者可以设定与委托人分享的奖励的佣金率。拥有最低要求10,000 ALEO 的质押者可以通过 “bond_public” 交易委托给验证者。拥有的委托数低于最低要求或缺乏运行验证者所需硬件的 ALEO 代币持有者可以通过 Pondo 和 BetaStaking 等流动质押协议将 ALEO 代币委托给现有验证者。验证者通过生成区块获得 ALEO 代币，形式为 23.8 ALEO 基本区块奖励以及 1/3 的 Coinbase 奖励和与生成区块相关的任何交易优先费用。Aleo 设定的验证者理论上限为 200 名。截至 2024 年 11 月 26 日，共有 16 名 ALEO 验证者，总持股量为 9.879 亿 ALEO（占代币总供应量的 61.7%）。
Leo 语言
Leo 是一种专门构建的零知识编程语言，旨在使用零知识证明构建私人应用程序。它默认关注隐私，确保数据保持机密，同时在 Aleo 网络上启用去中心化应用程序 (dApp)。Leo 基于 Rust 的编译器生成加密证明，将高级代码转换为零知识电路。该语言提供了命令式语法，便于开发复杂的加密应用程序，而无需深厚的加密专业知识。该语言提供了熟悉的命令式语法、内置测试框架和其他工具，便于开发复杂的加密应用程序，而无需深厚的加密专业知识。我们投入了大量精力来正式验证编译器，以确保程序正确且安全。Leo 简化了在 Aleo 上构建以隐私为中心的程序和 dApp 的过程。
Aleo 虚拟机
Aleo 虚拟机(AVM) 是一种专门的执行环境，专为 Aleo 区块链内的零知识应用程序而设计。它使用基于寄存器的体系结构来处理将高级代码转换为零知识证明的指令，确保隐私保护计算。AVM 的操作编译成 Rank-1 约束系统 (R1CS)，形成通过 zkSNARK 友好的 Varuna 算法处理的加密电路。Leo 编程语言是其中的基础，它将默认私有的应用程序直接编译成 AVM 字节码。AVM 是一个具有内置加密原语的无限寄存器机。根据设计，AVM 支持记录模型（参考 ZEXE 论文），该模型促进了私有和可扩展的智能合约，其中数据归用户地址所有并加密到用户地址，并且只能由地址的所有者访问。
为了在不泄露数据的情况下验证程序执行情况，Aleo 节点各自运行一个 Aleo 虚拟机实例。共识机制确保虚拟机状态同步。底层加密原语 (zkSNARK) 允许验证者在维护用户隐私的同时保护交易。每条指令都遵循以隐私为中心的约束，使 zk 应用程序在 Aleo 上可行，确保所有程序状态都得到维护，而不会损害用户机密性。
Aleo SDK
Aleo SDK 为开发人员提供了一套构建 ZKP 应用程序的工具。它包括 JavaScript 和 TypeScript 包，使 Web 应用程序能够与 Aleo 的 ZKP 协议交互。开发人员可以使用 Create-Aleo-App 通过 React 等流行框架快速设置零知识应用程序。该 SDK 还包括 Aleo-Wasm，它将 Aleo 程序编译为适用于浏览器和 NodeJS 环境的 WebAssembly。该 SDK 支持 Python 集成，允许开发人员将机器学习模型作为零知识程序运行。这使开发人员能够轻松地在 Aleo 上创建私有的、去中心化的应用程序。
ALEO 代币
ALEO 是 Aleo 的原生代币，与 Leo Wallet 和 Puzzle 等Aleo 原生钱包兼容。在 Aleo 源代码和链上程序中，ALEO 代币被称为信用。ALEO 于 2024 年 9 月 Aleo 主网启动时推出。Coinbase 支持 ALEO 代币的推出，为零售和机构客户提供托管和质押解决方案。这种支持值得注意，因为中心化交易所通常不愿意支持隐私保护协议。
ALEO 推出时的初始总代币供应量为 15 亿，随着 ALEO 代币的铸造以奖励验证者和证明者，供应量会随着时间的推移而膨胀，预计在前 10 年内将达到 26 亿。ALEO 代币奖励发行包括基本区块奖励（23.8 ALEO），该奖励颁发给被选中参与共识的验证者，以及谜题奖励，该奖励颁发给解决 Coinbase 谜题的证明者。总发行率将从第一年的 13.5% 降至第十年的 1.6%。
值得注意的是，ARC-42 计划于 2024 年 12 月实施，并将基本区块奖励从固定的 23.8 ALEO 更改为基于区块时间的可变数字。这旨在将通货膨胀率稳定在每个日历年的固定 5%，而不管平均区块时间如何。
代币经济学
ALEO 代币初始分配如下：
早期支持者： 5.1 亿 ALEO（初始代币供应量的 34%）。
Grants和教育： 3.75 亿 ALEO（初始代币供应量的 25%）。
员工和项目贡献者： 2.55 亿 ALEO（初始代币供应量的 17%）。
Aleo 网络基金会和可证明： 2.4 亿 ALEO（初始代币供应量的 16%）。
战略合作伙伴： 1.2 亿 ALEO（初始代币供应量的 8%）。
所有初始分配的接收者都必须接受 1 年的锁定期，其中早期支持者、战略合作伙伴和 Aleo 网络基金会的分配在 1 年锁定期之后有 2 年的归属期。
代币功能
ALEO 是该网络的原生货币，对于访问其计算资源至关重要。用户支付 Aleo 代币来处理交易，而证明者和验证者都会因其工作而获得 ALEO 代币奖励。在推出时，Aleo 的初始总代币供应量为 15 亿，预计由于奖励发行，未来十年将增长到 26 亿。
计算服务付款
ALEO 代币作为支付交易费用的媒介，促进了网络上去中心化应用程序 (dApp) 的执行。当用户提交交易或运行智能合约时，他们会使用 ALEO 代币支付。这些费用至关重要，因为它们可以补偿执行计算任务的节点，尤其是执行资源密集型 ZK 电路的证明者。网络的去中心化结构依赖于 ZK 证明，可确保计算任务可以私密且安全地完成，而代币则为这些活动提供了必要的经济激励。通过充当访问 Aleo 私人计算和数据隐私服务的本地货币，ALEO 代币可确保网络运行的可持续经济。
验证者和证明者奖励
验证者和证明者在保护 Aleo 区块链方面发挥着重要作用，ALEO 代币是他们服务的奖励机制。验证者确认交易的有效性并帮助维持网络内的共识。另一方面，证明者以零知识生成加密证明，这对于在不泄露敏感数据的情况下验证计算是必不可少的。验证者和证明者都以 ALEO 代币作为其工作的报酬，验证者获得 23.8 ALEO 区块奖励的一部分以及 1/3 的 coinbase 奖励和任何优先交易费用。此外，证明者因创建有效证明而获得 Coinbase Rewards。
值得注意的是，ARC-42 计划于 2024 年 12 月实施，并将基本区块奖励从固定的 23.8 ALEO 更改为基于区块时间的可变数字。这旨在将通货膨胀率稳定在每个日历年的固定 5%，而不管平均区块时间如何。该协议旨在平衡验证者和证明者之间的奖励，以激励去中心化参与这两项关键功能，确保随着更多用户与其隐私保护应用程序交互，网络既安全又可扩展。
质押
质押是 Aleo 代币的核心功能，允许用户通过将 ALEO 代币质押给验证者来为网络安全做出贡献。通过这样做，代币持有者将其 ALEO 委托给验证者，验证者随后使用这些质押的代币参与共识机制并验证区块。具有更高综合质押（自质押 + 委托）的验证者更有可能被选中来验证下一个区块，但是，活跃验证者集中的所有验证者都会从基本区块奖励以及 Coinbase Puzzle 奖励的 1/3 和与生成区块相关的任何优先交易费用中获得 ALEO 代币。拥有最低要求 10,000 ALEO 的质押者可以通过“bond_public”交易委托给验证者。未达到 10,000 ALEO 最低要求的质押者可以通过基于 Aleo 构建的多个第三方质押和流动质押协议质押任意数量的 ALEO，包括 Staking.xyz、Pondo.xyz 和 Betastaking。质押者根据其贡献获得奖励，减去选定验证者设定的佣金率。
治理
ALEO 代币赋予其持有者通过投票权积极参与 Aleo 网络治理的权利。成为 Aleo 征求意见 (ARC) 的提案将移至 Aleo 的投票平台，供 ALEO 持有者投票。代币持有者可以对网络协议的变更进行投票，包括升级、费用结构的修改或权益参数的变更。此外，投票权可以激励代币持有者的长期参与，因为网络的未来方向直接受到持有 ALEO 代币的人的影响。
融资
根据 Messari 融资数据，Provable 已在三轮融资中筹集了约 2.98 亿美元。
A 轮融资：2021 年 4 月 20 日，Provable 在由 Andreessen Horowitz 领投的 A 轮融资中筹集了2800 万美元，Coinbase Ventures、Dekrypt Capital、Galaxy Ventures、Placeholder VC、Polychain Capital、Scalar Capital、Slow Ventures、a_capital、zkValidator、Balaji Srinivasan 和 Ethereal Ventures 参投。
B 轮融资和扩展 B 轮融资：2022 年 2 月 7 日，Provable 在由 Kora Management 和 Softbank Vision Fund 2 领投的一轮融资中筹集了2 亿美元，估值为 14.5 亿美元。本轮融资的其他投资者包括 Andreessen Horowitz、Sea Capital、Slow Ventures、Softbank 和 Tiger Global。
治理
2024 年 5 月，Aleo 基金会治理平台启动，为用户提供提出想法、对 Aleo 征求意见 (ARC) 进行投票以及讨论网络改进的空间。Aleo 治理提案通过 Discord 进行讨论，然后通过 Aleo 的投票平台进行投票。随着治理平台的推出，Aleo 理事也随之推出，这是 Aleo大使计划中的一个新角色。理事负责审查提案是否符合 Aleo 的社区规则和指南，并管理 Aleo Discord 治理部分的所有频道。
Aleo 的治理 Discord 频道分为“Loose Thoughts”和“ARC Proposals”。Loose Thoughts 可由任何 Aleo 大使创建，并由理事管理。讨论完提案后，理事可以选择是否将该提案推进成为 ARC 或关闭该提案。
ARC 创建过程
Aleo 的治理系统依赖于 Aleo 征求意见 (ARC) 流程，该流程是提议和讨论网络变更的机制。ARC 是正式提案，概述了 Aleo 协议的潜在更新、功能或改进。任何人都可以通过“Loose Thoughts”Discord 频道创建 ARC，或者向 ARC GitHub 存储库发出拉取请求。
ARC 流程从初稿开始，初稿通常以拉取请求的形式提交到 Aleo GitHub 存储库。然后，社区和 Aleo 的技术顾问在 Discord 上进行公开审查，提供反馈、提出疑虑或提出改进建议。这个公开审查期对于确保从技术和经济角度彻底审查提案至关重要。
一旦 ARC 经过充分的审查和讨论，ALEO 代币持有者就可以通过 Aleo 投票平台对其进行正式投票。截至 2024 年 11 月 26 日，投票平台上有两个活跃的提案，其中包括 ARC-20，该提案旨在为 Aleo 创建一个可替代代币标准，类似于以太坊上的 ERC-20 标准。
过去经过投票并实施的值得注意的提案包括 ARC-100，它为开发人员、桥接器和验证器制定了合规最佳实践，以及ARC-21，它创建了一个新的代币标准来支持在 Aleo 上部署的不同代币。
Aleo 基金会的作用
Aleo 基金会在管理 Aleo 网络治理方面发挥着关键作用。成立的目的是以去中心化和透明的方式监督和指导 Aleo 的发展。它管理治理平台，促进围绕协议改进的讨论，并支持各种增强生态系统的举措，例如开发者补助金。
基金会的一项重要职责是策划和监督治理提案，其中可能包括协议升级、代币经济学变更或网络隐私和可扩展性功能的增强。基金会的方法是营造一个开放包容的环境，让所有利益相关者都能为塑造 Aleo 的未来做出贡献。重要的是，虽然基金会提供结构和指导，但最终的决策权在于社区，尤其是 ALEO 代币持有者。
除了治理职责外，Aleo 基金会还建立了一支多学科团队，他们在合规方面拥有专业知识，而合规是隐私保护项目的关键领域。Aleo 网络基金会的董事会包括经验丰富的专业人士，例如 Mike Mosier（美国财政部金融犯罪执法局前代理主任），他对监管框架和合规考虑有着深入的了解。合规专业知识对于以隐私为重点的项目尤其重要，因为它们必须在保持机密性和安全性的核心原则的同时应对复杂的监管环境。
ALEO 代币持有者的参与
Aleo 治理流程的最后一步是 ALEO 代币持有者的参与，他们负责对提议的 ARC 进行投票。所有代币持有者都有投票权，每次投票的权重取决于持有的代币数量。
投票过程本身在 Aleo 的专用治理平台上进行，提案在此列出以供审查。代币持有者可以对每个提案投赞成、反对或弃权票。提案要通过，必须达到特定的法定人数门槛，确保只有获得足够社区支持的提案才能实施。
Aleo 生态系统现状
Aleo 的生态系统正在迅速扩大，目前有超过 350 个团队正在开发各个领域的项目，包括隐私保护应用程序、游戏和可扩展的支付解决方案。随着 Aleo 主网的上线，开发人员可以部署零知识应用程序来解决安全身份验证和合规支付等现实挑战。
身份
zPass 是一款安全的身份验证工具，用户无需透露敏感的个人信息即可证明其身份。zPass 允许用户通过加密流程仅共享必要的验证数据（例如年龄、国籍），在确保隐私的同时增强安全性。通过消除存储和共享详细个人信息的需要，zPass 可最大限度地降低数据泄露和身份盗窃的风险。
Aleo Name Service 允许用户创建和注册 ANS 名称。ANS 名称可以附加到钱包地址，从而提高交易的可读性。截至 2024 年 11 月 26 日，已注册 575 个私有域名和 94 个公共域名。
Bandio 是一家由 Common Sense Media 和 Aleo Networks Foundation 共同创建的公益公司，它提供了一种简单、私密且通用的年龄确认工具。它使父母能够创建可重复使用的数字年龄段，将孩子的年龄范围传达给网站和应用，确保孩子获得适合其年龄的在线体验，同时又不损害个人隐私。
Compliance
Predicate 是一家区块链技术公司，通过允许用户、开发人员和社区定义和执行链上交互规则来简化交易前提条件。他们的平台将富有表现力的预交易逻辑集成到去中心化应用程序中，从而增强了区块链生态系统的安全性和合规性。
DeFi
AlphaSwap 是一个去中心化交易所 (DEX)，允许用户无权限交换代币并提供流动性。
Arcane Finance 是一家基于 Aleo 的 DEX，截至 2024 年 11 月 26 日，其 TVL 为 100 万美元。
ShadowFi 正在 Aleo 上构建一个去中心化的流动性中心。ShadowFi 将提供私人交易和项目引导流动性的平台。
质押
Staking.xyz 允许用户质押 ALEO 代币，而无需选择委托给哪个验证者。Staking.xyz 根据验证者的优化和多样化策略在验证者之间分配质押的 ALEO 代币。
Pondo.xyz 是 Aleo 上领先的流动性质押协议，总锁定价值 (TVL) 为 2670 万美元。使用 Pondo 质押 ALEO 代币的用户将获得 pALEO 代币作为回报，并获得约 24.6% 的年化收益。
Betastaking 是一种流动性质押协议，共有 513 万 ALEO 被质押。通过 Betastaking 质押 ALEO 的用户将获得 stALEO 作为回报。
LSP Finance 是一个质押平台，截至 2024 年 11 月 26 日，其 TVL 为 180 万，用户数为 430 万。
基础设施
Provable Explorer 是由 Provable 团队支持的 Aleo 区块浏览器，可显示实时网络交易以及验证器和程序数据。
Aleo SDK 允许开发人员在 Aleo 上构建和部署应用程序，并允许用户创建账户和进行转账。
Aleo123 是一个区块浏览器和数据分析平台，为用户提供 Aleo 的透明度。Aleo123 还提供有关 Aleo 上最常调用的程序等功能的数据。
Obscura 提供直接 RPC 端点、API 和 SDK，帮助开发人员在 Aleo 上构建和启动应用程序。Obscura 还通过其 SDK 简化了部署 ZK dApp 所需的工作。
Aleoscan 是 Aleo 网络的开源区块链浏览器，为用户提供全面访问区块、交易、验证器和已部署程序的信息的功能。它以前称为 Haruka 的 Aleo Explorer，提供证明计算器和程序注册表等工具，以支持开发人员和用户浏览 Aleo 区块链生态系统。
钱包
Puzzle Wallet 是一款移动和浏览器钱包，用户可使用它来保管自己的资产，并通过钱包内的游戏厅完成任务获得奖励。
Leo Wallet 是一款 Aleo 专属的自托管钱包，专注于隐私保护。Leo Wallet 的用户可以在钱包内选择公开或私人交易。
FoxWallet 是一个去中心化的自托管钱包，允许用户跨多个网络管理他们的资金，包括Aleo、Aptos、比特币、以太坊等。
Bridge
Verulink Bridge 允许用户在以太坊和 Aleo 之间桥接 ETH、USDC 和 USDT。
IZAR 是一种隐私保护互操作性协议，可促进以太坊和 Aleo 之间的安全跨链交易。它利用零知识加密技术，确保用户在这些区块链网络之间转移资产时的隐私和安全。
治理
zSociety 正在 Aleo 区块链上开发以隐私为导向的 dApp，包括用于创建私人 DAO 的 zVote、用于交易私人资产的 zMarket 和用于高级账户管理的 zSafe 等工具。他们的基础设施项目（例如 SnarkDB 和 Aleo DCP）旨在通过去中心化的零知识数据经纪建立私人数据所有权的新范式。
Grants
Aleo 的开发者资助计划已向基于 Aleo 的项目投入了超过 100 万美元。资助金额从 10,000 美元到 200,000 美元不等，具体取决于项目的复杂性和范围。该计划资助有助于 Aleo 生态系统的开源计划，例如隐私保护应用程序和工具。
用户或团队可以申请蓝图资助来开发 Aleo 生态系统所需的特定组件。蓝图资助金额范围为 1 万美元至 10 万美元。
Aleo 还为想要在 Aleo 上构建更大规模项目的团队提供启动资金。要获得资金，团队必须填写启动资金提案模板并获得 Aleo 基金会的批准。
审计
除了为 Aleo 的开发提供资助外，在主网启动之前，Aleo 基金会还对 snarkOS 和 snark VM 代码库进行了安全审计。审计由三家第三方审计服务机构进行，包括 Trail of Bits、NCC Group 和 zkSecurity。审计结果和解决方案的完整清单于 2023 年 12 月发布。
Aleo 漏洞赏金计划旨在通过鼓励道德黑客和安全研究人员识别和报告漏洞来增强 Aleo 核心协议的安全性。该计划与 HackerOne 和 Bugcrowd 合作，重点关注 Aleo 的 snarkOS 和 snarkVM 存储库。奖励范围基于发现的漏洞的严重程度，使用行业标准评分系统。Aleo 的初始奖励池为 500,000 美元，旨在确保平台在主网启动前的安全。道德黑客可以通过 HackerOne 和即将推出的 Bugcrowd 参与。
结束语
总之，Aleo 是一个无需许可、隐私保护且可编程的区块链，在主网上线。利用零知识证明，Aleo 为交易验证提供了可扩展且安全的解决方案，而其双重共识机制（结合 PoSW 和 AleoBFT）可确保网络完整性和用户隐私。
自主网启动以来，Aleo 已开发了 350 多个项目，凸显了该平台不断发展的生态系统。全面的代币经济结构、治理框架和开发者资助计划都有助于促进创新并确保网络的长期可持续性。Aleo 的目标是引领去中心化、合规、隐私保护的解决方案，以支持金融、身份管理等领域的实际应用。
ZKT Aleo ZPU 芯片机 ，现正式开启第一批头矿预售！
2024 年全球 ZK 峰会 Aleo-ASIC 最有竞争力品牌！
感兴趣请扫码联系，ZKT ASIC 仅对大客户和大渠道！
转载：ZKTo完成Aleo专用ZPU芯片FPGA与PooL联调测试
Aleo主网后PoSW数据全面分析汇总(10/28/2024)
什么是SNARK？什么是Varuna SNARK？与ZK-SNARK有什么区别？
ALEO 问答集锦 | 关于质押者、证明者和验证者官方最新解答
ALEO 问答集锦 | Aleo积分到底有什么用？区块奖励重大变化？
