今天，我们很自豪地宣布 Aleo 主网正式上线，使开发人员能够构建由零知识密码学提供支持的下一代去中心化应用程序。

没有您，我们不可能做到这一点。

Aleo Network 是来自世界各地的数千名贡献者多年努力的产物。从参加可信设置仪式的许多人，到参与测试网 1-4 的证明者和验证者，再到创建部署在 Aleo 上的 350 个应用程序的众多开发人员，此次发布是整个社区的产物。

今天的发布开创了去中心化、保护隐私的计算的新时代，它可以通过保护用户数据和实现安全的在线体验来改变互联网。Aleo 将新的 Layer-1 智能合约区块链与零知识密码学的强大功能相结合，使开发人员能够编写在 Web2 和 Web3 之间无缝互操作的应用程序。

从研究到现实：Aleo 的起源

这一刻是区块链技术和零知识密码学十年研发的大部分时间的高潮。

这一切都始于 2018 年发布的 Zexe：实现去中心化私有计算。Zexe 由领先的零知识研究人员编写，其想法是将 Zerocash 模型扩展到更广泛的智能合约范式。2020 年，Zexe 的合著者 Howard Wu 决定与他的联合创始人 Raymond Chu、Collin Chin 和 Michael Beller 一起创建一家公司。

快进近五年，Zexe 的梦想在 Aleo Network 中成为现实，Aleo Network 是一个安全、可扩展的应用程序平台，为 Web3 和 Web2 领域的开发人员开辟了新的可能性。开发人员有史以来第一次可以访问一个保护隐私、无需许可且可编程的平台。

解决互联网的最大挑战

在一个数据泄露和侵犯隐私已成为常态的世界里，零知识对于恢复我们个人数据的机密性至关重要。想象一下这样一个世界，您可以选择只分享批准您的健康保险索赔所需的医疗记录部分，同时对其他个人详细信息保密。或者分享足够的财务信息以获得贷款资格，而无需透露您银行账户中过去 30 天内的每一笔交易。

Aleo 允许您只共享您想要的数据，而不能共享其他任何内容。

从今天开始，开发人员可以构建真正安全的应用程序和产品来解决实际问题，例如：

安全身份验证

强大的数字身份解决方案不仅对于 Web3 来说，而且对于整个互联网来说都是一个未解决的问题。zPass 和 Bandio 等 Aleo 驱动的解决方案允许个人证明他们的身份，例如他们的国籍或年龄，而不会泄露其他信息，也不需要依赖集中式服务器。

可扩展、合规的付款

稳定币在加密货币中发现产品与市场的契合度越来越高。但要真正取代现有的支付基础设施，稳定币交易必须保护个人财务信息。Aleo 的隐私保护智能合约基础设施在确保合规性的同时实现了这一点。

信任最小化的 Oracle 基础设施

零知识密码学的最新创新（如 zkTLS）都是关于在链上桥接现实世界的数据，同时使用零知识密码学来确保以信任最小化的方式实现。

隐藏信息游戏

虽然传统的区块链游戏将游戏内物品的所有权和互操作性作为独特的机制，但以太坊等网络的透明度意味着扑克或战舰等应用程序是不可能的。这是因为这些游戏依赖于隐藏信息的机制。但是Aleo的公共和私人国家模式使得隐藏信息的游戏成为可能，正如Puzzle所证明的那样，这是一个移动和扩展钱包，可以玩zkGames并赚取奖励。

有用工作证明

Aleo 的零知识证明技术可以通过为有用的工作提供可验证的奖励来激励用户解决大型计算问题。此模型允许参与者为复杂挑战提供解决方案，例如发现 Mersenne 素数或优化旅行推销员问题的解决方案，同时保护他们解决问题的方法。通过利用 Aleo 的隐私保护基础设施，用户可以以无需信任、加密安全的方式为他们的计算贡献获得公平的回报，从而为去中心化问题解决和 DeSci 解锁新的可能性。

而这只是冰山一角。在撰写本文时，已有 350 多个团队已经或正在 Aleo 上构建基础设施和应用程序。

区块链的演变

这些应用程序由 Aleo 的技术堆栈独特支持，该堆栈经过五年的迭代开发。Aleo 主网代表了许多创新，这些创新反映了从以前的测试网以及其他生态系统中学到的经验。

这些功能包括：

简洁工作量证明 （PoSW）PoSW 最初旨在成为 Aleo 的共识协议，它提供了一种加密经济机制，以激励对专用硬件的投资，以生成零知识证明。已经在主网上，超过 100,000 个 GPU 正在解决 PoSW 难题并从协议中获得奖励。

Leo 语言Leo 语言是一种用于在 Aleo 上编写程序的领域特定语言。与 Solidity 或 Move 等其他智能合约语言不同，Leo 为开发人员提供了独特的范式，使应用程序能够在直观、易于学习的包中同时使用公共和私有状态。此外，Leo 还支持程序之间的互操作性，这在零知识区块链中尚属首次。

阿利奥BFT我们的核心共识协议是在 a16z 加密研究团队的帮助下设计的，融合了分布式系统和加密经济安全方面的最新思想。

瓦鲁纳Varuna 是包含批处理的 Marlin 证明系统的迭代，它通过摊销生成许多单独证明作为单个函数调用的一部分的成本来节省证明生成步骤，使 Aleo 成为 zk-rollups 或证明即服务的理想基础层。

从测试网到主网及以后

Aleo Network Foundation 旨在在培育和支持 Aleo Network 不断增长和去中心化的开源生态系统方面发挥重要作用。而对于主网，我们正在进行长期游戏，其中去中心化是随着时间的推移构建更加民主、以用户为中心的互联网的第一步。

我谨代表 Aleo 网络基金会，其使命是管理和促进 Aleo 和零知识技术的采用，我谨此感谢每一位员工，感谢他们为我们实现这一目标所做的努力。但这只是故事的开始。我非常高兴看到事情从这里开始如何发展。

在主网上构建

我们最新更新的开发人员文档可帮助您启动下一个 ZK 项目。或者，您可以直接使用我们的在线Leo IDE创建程序。有想法但需要一点帮助？加入我们的 Discord。