关于Aleo 主网

2024年9月18日，我们很自豪地宣布 Aleo Mainnet 正式上线，使开发人员能够构建由零知识加密技术支持的下一代去中心化应用程序。 

如果没有你我们就不可能做到这一点。 

Aleo 网络是来自世界各地数千名贡献者多年辛勤工作的成果。从参与可信设置仪式的众多人员，到参与测试网 1-4 的证明者和验证者，再到创建了部署在 Aleo 上的 350 个应用程序的众多开发人员，这次发布是整个社区的成果。 

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

从研究到现实：Aleo 的起源

这是区块链技术和零知识加密技术近十年研究和开发的顶峰。 

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

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

解决互联网的最大挑战

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

Aleo 允许您只共享您想要的数据 — 而不共享其他任何数据。

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

安全身份验证

强大的数字身份解决方案仍然是 Web3 乃至整个互联网的一个未解决的问题。由 Aleo 提供支持的解决方案（如zPass和Bandio）允许个人证明自己的身份（例如国籍或年龄），而不会泄露其他信息，也不依赖集中式服务器。

可扩展、合规的付款

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

最小化信任的预言机基础设施

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

隐藏信息游戏

虽然传统的区块链游戏允许拥有游戏内物品，并以独特的机制实现互操作性，但以太坊等网络的透明度意味着扑克或 Battleship 等应用程序无法实现。这是因为这些游戏依赖于隐藏信息的机制。但 Aleo 的公共和私人状态模型使隐藏信息游戏成为可能，正如Puzzle所展示的那样，Puzzle 是一款用于玩 zkGames 和赚取奖励的移动和扩展钱包。

有用工作证明

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

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

区块链的演变

这些应用程序由 Aleo 的技术堆栈独特地支持，该技术堆栈在五年内经过反复开发。Aleo 主网代表了众多创新，反映了从以前的测试网以及其他生态系统中吸取的经验教训。

这些功能包括：

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

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

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

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

从测试网到主网及以后

Aleo 网络基金会旨在培养和支持 Aleo 网络不断发展和去中心化的开源生态系统，发挥重要作用。借助主网，我们正在打一场长期游戏，去中心化是逐步构建更加民主、以用户为中心的互联网的第一步。 

我谨代表 Aleo 网络基金会，该基金会的使命是管理和推动 Aleo 和零知识技术的采用，我要亲自感谢每一位为我们取得这一成就而付出的努力。但这只是故事的开始。我非常期待看到事情接下来会如何发展。

在主网上构建

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