主网之路进展-5月
2024年5月
有一天，我们预计 Aleo 网络将保护数十亿交易和数据点。这意味着协议的某些方面（特别是与价值相关的加密逻辑和共识）必须从第一天起就做好准备。该团队与数十个生态系统参与者一起努力实现一套验收标准和测试方法，以帮助保证最高的安全标准。
自三月份的上次更新以来，我们已经朝着主网启动的最终目标迈出了一大步。首先，我们在社区合作伙伴 StorSwift、Demox Labs 和 Puzzle 的帮助下实现了 ARC-0037 和 0038 。这些提案极大地提高了验证者和委托者的安全性和可用性，并创建了一个新的、基于程序的代币委托或“质押”系统。
此外，底层协议也已更新，以纳入之前的审计修复，其中包括将完全同步的 BFT 假设纳入我们的 Narhwal-Bullshark 实施中、更新基础的 Credits.aleo 程序以及改进的客户端同步性能。
我们已经在多个测试环境中验证了超过 90% 的先前指定的测试用例，包括封闭的“DevNet”和半开放的“CanaryNet”。此外，我们已经在 Devnet 上完成了 Coinbase Puzzle 的测试，并为公共交易、私人交易和部署创建了大炮，以便于自动化测试。
ARC-0020 测试正在进行中
我们已经开始测试新的 ARC，ARC-0020。 ARC-0020 是一种代币标准，可实现无缝的公共/私人转账到合约，这对于在 Aleo 网络上实现安全的 DeFi 应用程序非常重要。它增加了几个关键功能，包括应用链下签名的一步式审批流程、将私有代币发送到智能合约的能力，以及使用数字签名将代币合约连接到公司网站的能力。
有些人可能熟悉流行的 ERC20 标准，ARC-0020 在一些方面既相似又不同。两者都定义了各自区块链上代币交互的框架，具有类似的代币转移、余额查询和第三方交易批准机制。然而，ARC-0020的独特之处在于强调操作的安全性和效率，使用链下签名代替链上审批，减少区块链上公开记录的数据量。与ERC20完全公开的交易和审批记录相比，这种方法旨在增强数据安全性。
经过各个社区和生态系统利益相关者的多次讨论，我们达成了 ARC-0020 的当前设计。围绕 ARC-0020 的评论和投票将在此处的Aleo Governance 平台上进行。我们添加了单元测试，并与生态系统构建者一起尝试了初步实施，并希望尽快实施。
主网测试计划
两周前，我们宣布致力于围绕 Aleo 主网的标准和进展进行透明更新。我们坚信每个人都享有在线隐私权，这让我们走到了这一刻：创建并启动一个真正设计为零知识的网络。
今天，我们准备分享我们的主网启动计划、使其成功所需的功能以及您对未来的期望。
可编程的。私人的。未经许可。
我们致力于推出一个满足 Aleo 核心原则的主网 — — 可编程、私有和无需许可。我们会见了几个生态系统合作伙伴，并建立了一组对每个人来说最重要的基线功能，并从中定义了自信的主网启动所需的最低接受标准。
我们共同努力概述了不能妥协的功能。为了验证这些功能及其各自的验收标准，不仅 Aleo 基金会的成员，而且更广泛的 Aleo 利益相关者社区都定义并同意了测试用例。下面详细介绍的每个功能都具有三个特定的测试用例，其压力越来越大，以满足最低验收标准并确保网络准备好启动。
aleoBFT 共识
AleoBFT是我们新颖的共识机制，它将权益证明的最终性与工作量证明的强大激励机制结合起来。这种混合架构帮助我们实现区块确认的即时最终确定，同时利用“coinbase 谜题”来奖励证明者并激励开发更好的零知识加密硬件。
我们的目标是建立一个安全且有弹性的共识系统，最大限度地减少停机时间，具有强大的拜占庭容错能力，并确保验证者可以快速同步到最新的网络状态，从而保持整体系统的完整性和性能。
客户端同步
客户端同步对于网络的正常运行至关重要，因为它确保所有参与者对全局状态有一致且准确的了解。我们专注于确保客户端节点可以从账本历史记录中的任何点进行同步，以快速可靠地进行提示。
这涉及优化两个关键方法：
- CDN 快照以实现快速更新
- 点对点八卦，实现节点之间高效、直接的数据共享
私人和公共交易
公共和私人交易都是我们主网启动的组成部分，是我们正在严格测试的独特但相互关联的功能。用户可以生成零知识证明，通过记录模型来转移价值，如《ZEXE：实现去中心化隐私计算》中所述。对于公共交易，用户能够使用 Finalize 语句透明地更新状态。
程序部署
在 Aleo 上开发应用程序是我们使命的关键，其中程序部署发挥着至关重要的作用。用户将能够创建新的 Aleo 程序，利用执行和完成语句来实现他们的应用程序。此功能是扩展我们的生态系统并帮助开发人员在 Aleo 的安全和注重隐私的环境中进行创新的基础。
Coinbase 谜题
coinbase 难题是一种工作量证明类型的难题，旨在激励开发更快的软件和硬件以生成零知识证明。证明者可以向 coinbase 难题提交有效的解决方案以获得奖励。
我们正在整合 coinbase 难题，以推动零知识证明技术的进步，以维持网络稳定性和可持续代币经济的方式奖励证明者。
质押 ( ARC 0038 )
用户可以将 Aleo 积分抵押给验证者。我们的社区合作伙伴Demox Labs将领导在程序级别实施 ARC-0038 的工作，并对实施情况进行审核以确保该方法的安全。 Demox 还将实施流动质押协议，为质押提供更大的灵活性。
验证者/工作人员分离（ARC 0037 ）
我们的社区合作伙伴Provable已在 ARC-0037 上发挥带头作用，并发布了实施和设计规范，该规范正在由我们的另一位社区合作伙伴Puzzle进行审查和测试。
ARC-0037 旨在通过提供单独的提款地址来减轻验证者的安全负担。为了解决安全问题，在 bond_public 期间，验证者和委托者会指定一个不可更改的提款地址，以在“热”密钥受损的情况下保护验证者资金。执行 Claim_unbond_public 后，未绑定的积分将定向到此地址。
进行稳健的网络测试
来自生态系统的几个团队，即Demox Labs、Monadicus、Supranational、Puzzle和Kryha，与我们合作扩展测试协议，以确保网络为启动做好准备。为了实现这一目标，我们推出了一系列测试工具。这些工具包括创世区块生成器、提前（AOT）交易和区块历史生成以及节点拓扑管理系统。此外，我们还与这些生态系统成员合作推出了金丝雀网络。这些测试工具帮助我们检查网络共识机制的工作情况、客户端同步的顺利程度以及交易处理的速度。
为了根据验收标准测试这些不同的功能，Aleo Network Foundation 团队将设置并运行一系列测试环境，从内部开发网络和“金丝雀网络”开始。 devnet 是一个内部测试环境，Aleo Network Foundation 和 Provable 正在其中管理测试网验证器的推出，并且在向上游发布之前对初始功能进行测试。金丝雀网络是一个更加去中心化的半开放网络，让我们可以在更现实的条件下测试网络。
我们还计划推出另一个测试网，该测试网将完全开放且无需许可，并且应该最接近 Aleo 主网的外观。
下一步是什么
我们的社区从一开始就是 Aleo 故事的一部分。当我们共同推出主网时，我们正在与整个生态系统的合作伙伴密切合作，以支持测试工作并验证我们的准备情况。我们的目标是确保网络满足用户的需求，不仅是在第一天，而且是之后的每一天。这确实是团队的努力，我们希望每个人都知道我们在完成每项重要测试方面的进展。
您可以参考这篇文章以获取更新，并查看 Discord以获取我们社区电话会议的定期更新。
