aleo币最新官方消息2024（aleo最新社群）
• 币圈观点
• 阅读量 1666
aleo币最新官方消息2024（aleo最新社群）
本文主要介绍了Aleo的项目概要及最新进展，对市场十分关心的puzzle算法更新做了详细的解读。
aleo社群：免费注册联系客服进群
Aleo 是一个专注于隐私保护的区块链项目，通过零知识证明技术（ZKP）实现更高的隐私和可扩展性。Aleo 的核心理念是让用户能够在不泄露个人数据的前提下进行身份验证和数据处理。
最新算法抢先看
Aleo 网络每小时随机生成一个 ZK 电路；矿工在这一小时内需要尝试不同的 nonce 作为电路的输入，计算出 witness（即电路中的所有变量，这个计算过程也叫 synthesize），对 witness 求 Merkle root 后，判断是否满足挖矿难度要求。由于电路的随机性，这个挖矿算法对 GPU 并不友好，在计算加速方面存在很大的难度。
Aleo是什么？
Aleo 是一个开发者平台，用于构建完全隐私、可扩展且具有成本效益的应用程序。使用零知识密码学，Aleo 将智能合约执行移至链下，以实现各种去中心化应用程序，这些应用程序既完全隐私又可以扩展到每秒数千笔交易。ALEO在 Web3 社区中以 Layer-1 区块链开发者可用于构建更安全、更可靠的互联网而闻名。Aleo 网络允许非关联节点（个人计算机、手机和其他设备）协同更新账本。该账本用于维护记录：最终用户拥有的加密数据，以及映射、程序拥有的公共共享数据。这使得它与其他广泛使用且可证明安全的区块链账本（如以太坊）非常相似，但有一个重要的附加安全机制：Aleo 是专门为开发人员构建的，因此开发人员无需发布所有用户的数据即可完成所有这些操作。以太坊和其他网络使用实际存储和更新的数据来更新账本：例如，如果您在这些网络上分享您的出生日期，所有其他节点也可以访问它。由于区块链本质上是公开的，因此如果不进一步创新，就不可能完全保护个人数据。Aleo 使用零知识技术帮助公司和开发人员构建应用程序，这些应用程序可以在不与互联网上其他人共享个人数据的情况下更新账本。它为人们提供了一种方式来证明某事是真实的“证据”，而无需更广泛地透露任何无关信息。例如，您可以分享证明您已年满 21 岁的证据，而无需透露您的确切年龄。人们关心他们的数据如何在线存储和保护，但至少有 33% 的消费者成为承诺保护其数据安全的组织的数据泄露的受害者。 这些公共和私人机构需要在线验证关键信息。但是，通过持有这些数据，企业和政府都成为目标：2022 年，每 40 个组织中就有 1 个每周面临勒索软件攻击，而且此类攻击越来越普遍，而不是越来越少。 美国、欧盟和许多国家行为者都试图解决这一问题，欧盟的《通用数据保护条例》（GDPR）和《加州消费者隐私法案》（CCPA）等法规已成为常态。然而，尽管取得了一些进展，提供网络安全的成本和数据泄露的风险仍然高得令人望而却步。无论是使用在线服务的普通民众，还是提供这些服务的政府和企业，都在寻求更安全的数字现实。Aleo 让人们能够安全地提供访问在线服务所需的信息，同时使企业无需承担维护和保护这些数据的监管和财务风险。
其实现方式在技术上很复杂，但总体上很简单。人们在线下提供直接文件和信息，然后将其转换为零知识证明，并可在线与查询机构共享。这样，访问服务所需的证明就以值得信赖的方式提供，而不会暴露该证明背后的关键信息。这有点类似于用户如何用信用卡在线购物，同时使用加密技术将信用卡信息的共享范围降至最低，从而提供电子商务的功能，同时将信用卡被盗的风险降至最低。Aleo Network 能够以安全的方式生成和验证证明，这依赖于零知识技术。尽管提议的更新是“机密的”，但底层加密技术仍允许非关联节点确认其内容是“真实的”，而无需包含任何链下内容本身（从体育比分和天气报告到专有数据或个人身份证号码）。 开发人员可以构建应用程序来帮助将数据迁移到账本上。一旦完成，Aleo 网络就会允许这些信息以保密或公开的方式存储在账本上，具体取决于用途（例如，天气报告可以公开保存，而社会保障号码可以保密保存）。一旦这些数据被放到区块链上，它就可以被利用，并且可以验证其准确性，而不会泄露用户不想透露的信息。应用程序的开发者——无论是私营企业还是政府机构——还可以选择他们想存储和不想存储的信息，限制他们的数据存储，从而限制他们遭受网络攻击的可能性。
Aleo融资背景
2022-02-07
Aleo 完成 2 亿美元B轮融资，估值为 14.5 亿美
2021-04-20
Aleo 完成 2800 万美元A轮融资
Aleo项目概要
隐私性
Aleo 的核心是零知识证明（ZKPs）技术，这使得交易和智能合约的执行可以在保持隐私的前提下进行。用户的交易细节，如发送方和交易金额，默认情况下是隐藏的。这种设计不仅保护了用户隐私，还允许在必要时进行选择性披露，非常适合 DeFi 应用的发展。其主要组件包括：
- Leo 编译语言：基于 Rust 语言改编，专门用于开发零知识应用（ZKApps），降低了开发者对密码学知识的要求。
- snarkVM 和 snarkOS：snarkVM 允许链下执行计算，链上仅验证计算结果，从而提升了效率。snarkOS 确保数据和计算的安全，并允许无许可的功能执行。
- zkCloud：提供安全、私密的链下计算环境，支持用户、组织和 DAO 之间的编程交互。
Aleo 还提供了集成开发环境（IDE）和软件开发工具包（SDK），支持开发者快速编写和发布应用；此外，开发者可以在 Aleo 的程序注册表中部署应用，无需依赖第三方，如此便降低了平台风险。
可扩展性
Aleo 采用了 off-chain 的处理方式，交易首先在用户设备上计算证明，然后仅将验证结果上传到区块链。这种方式大大提高了交易的处理速度和系统的可扩展性，避免了类似以太坊的网络拥堵和高昂的费用。
共识机制
Aleo 引入了 AleoBFT，这是一种混合架构的共识机制，结合了验证者的即时最终性和证明者的计算能力。AleoBFT 不仅提高了网络的去中心化程度，还增强了性能和安全性。
- 区块快速最终性：AleoBFT 确保每个区块在生成后立即得到确认，提升了节点稳定性和用户体验。
- 去中心化保障：通过将区块生产与 coinbase 生成分离，验证者负责生成区块，证明者进行证明计算，防止少数实体垄断网络。
- 激励机制：验证者和证明者共享区块奖励；鼓励证明者通过质押代币成为验证者，从而提升网络的去中心化程度和计算能力。
Aleo 允许开发者创建不受 gas 限制的应用程序，因此尤其适用于机器学习等需要长时间运行的应用。
算法更新解读
Aleo 于近日公布最新测试网消息的同时，更新了最新版本的 puzzle 算法，新算法不再着重于 zk proof 结果的生成，移除了 MSM 和 NTT （二者是 zk 中生成 proof 大量使用到的计算模块，之前测试网参与者以优化该算法的效率来提升挖矿收益）的计算，着重于产生 proof 之前的中间数据 witness 的生成。我们在参考官方的 puzzle spec 和代码后，对最新算法做一个简单介绍。
共识流程
共识协议层面上，其流程中 prover 和 validator 分别负责产生计算结果 solution 和出块并聚合打包 solution。流程如下：
- Prover 计算 puzzle 构建出 solutions 并广播到网络中
- Validator 聚合交易和 solution 为下一个新区块，保证 solution 数量不超出共识限制（MAX_SOLUTIONS）
- Solution 的合法性需要校验其 epoch_hash 符合 validator 维护的 latest_epoch_hash，其计算出的 proof_target 符合网络中 valiator 维护的 latest_proof_target，同时该 block 中包含的 solution 数量小于共识限制
Synthesis Puzzle
最新版的算法核心称为 Synthesis Puzzle，其核心是针对每个 epoch 固定产生一个共同的 EpochProgram，通过为输入和 EpochProgram 构建 R 1 CS 证明电路，产生对应 R 1 CS assignment （即大家提到的 witness）并作为 Merkle tree 的叶子节点，计算出所有叶子节点后生成 Merkle root 并转换为 solution 的 proof_target。构建 Synthesis Puzzle 的详细流程和规范如下：1. 每一次 puzzle 计算称为 nonce，它是由接收挖矿奖励的地址、epoch_hash 和 一个随机数 counter 构建，每次需要计算新的 solution 时可以通过更新 counter 获得新的 nonce2. 每一个 epoch 中，网络中所有 prover 需要计算的 EpochProgram 是同一个，它由当前的 epoch_hash 产生的随机数从指令集中抽样出来，抽样逻辑是：
- 指令集是固定的，每一个指令（instruction）包含一个或多个计算操作，每一个指令有一个预设的权重和操作计数
- 抽样时根据当前 epoch_hash 生成随机数，根据该随机数从指令集中结合权重获取指令并顺序排列，累积操作计数到 97 之后停止抽样
3. 使用 nonce 作为随机数种子生成 EpochProgram 的输入4. 聚合 EpochProgram 对应的 R 1 CS 和 input，进行 witness （R 1 CS assignment） 计算5. 计算出所有 witness 后，这些 witness 将被转换为对应的 merkle tree 的叶子节点序列，merkle tree 是一个深度为 8 的 8 元 K-ary Merkle tree6. 计算 merkle root 并将其转换为 solution 的 proof_target，判断其是否满足当前 epoch 的 latest_proof_target，若满足则计算成功，提交上文中构建输入需要的 reward address、epoch_hash 和 counter 作为 solution 并广播7. 同一个 epoch 中可通过迭代 counter 的方式更新 EpochProgram 的输入进行多次 solution 计算
挖矿的变化和影响
经过此次更新后，puzzle 由生成 proof 转变为生成 witness，每一个 epoch 内的所有 solution 计算逻辑一致但是不同 epoch 计算逻辑有较大区别。从之前的测试网中我们可以发现很多优化手段着重于使用 GPU 对生成 proof 阶段的 MSM 和 NTT 计算进行优化从而提高挖矿效率，此次更新完全摒弃了这部分计算；同时由于生成 witness 的过程产生于执行一个跟随 epoch 变化的 program，其中的指令将存在部分串行执行的依赖关系，所以实现并行化具有不小的挑战。
当前进展
Aleo 将于 7 月 1 日启动激励测试网，以下是一些重要的最新信息：
ARC-100 为跨链操作制定最佳实践
- ARC-100 投票通过：ARC-100 （“Aleo 开发人员和运营商的合规最佳实践”提案，涉及合规方面、Aleo 网络上资金的锁定和延时到帐等安全措施） 的投票已经结束，并获得通过。团队正在进行最终的调整。
- 验证者激励计划：该计划将于 7 月 1 日启动，旨在验证新的 puzzle 机制。计划将运行至 7 月 15 日，期间将分配 100 万 Aleo 积分作为奖励。节点生成的积分百分比将决定其奖励份额，每个验证者至少需赚取 100 代币才能获得奖励。具体细则尚未敲定。
- 初始供应和流通供应：初始供应量为 15 亿代币，初始流通供应量约为 10% （尚未最终确定）。这些代币主要来自 Coinbase 任务（7500 万），将在前六个月内分发，同时包括质押、运行验证者和验证节点的奖励。
- Testnet Beta 重置：这是最后一次网络重置，完成后将不会添加新功能，网络将与主网类似。重置是为了添加 ARC-41 和新 puzzle 功能。
- 验证节点扩展计划：初始验证节点数量为 15 个，目标是在年内增加到 50 个，并最终达到 500 个。成为委托者需要 1 万代币，成为验证者需要 1000 万代币，这些数额将随着时间逐渐减少。
宣布测试网 Beta 版验证者激励计划
激励计划是 Aleo 未来发展不可或缺的一部分，它激励和鼓舞开发人员突破零知识技术的极限。证明者是Aleo 网络运作的关键部分，解决每个区块中的 coinbase 难题并生成零知识证明以换取奖励。
我们在主网之前的最终激励计划将于7 月 1 日至 15 日运行，并将针对 Testnet Beta 上的证明者。此激励计划的目标是验证 coinbase 奖励机制和底层谜题。 为此，Aleo 网络基金会将向证明者提供 100 万个积分。每个证明者将获得与其在激励期间获得的测试网积分成比例的主网积分。最低奖励为 1,000 个主网积分；任何获得低于此金额的证明者将没有资格获得奖励。
Cysic 以每秒超 5 亿个解决方案的成绩，登上 AleoHQ 测试网排行榜首位
据官方消息，AleoHQ 于7月1日至7月15日开放了其 Testnet Beta 测试网，专为证明者激励而设计。此次测试网的新谜题与之前的版本有所不同，主要集中在提升合成过程，即见证生成。在过去两周内，成功交付了该谜题系统的最新CUDA实现。得益于充足的GPU资源，Cysic在部署后不到24小时内便以每秒超过5亿个解决方案的成绩，登顶排行榜首位。
![[content:title]](/upload/brand/1741764802619074.png)
