本周，Aleo 通过发布部署和执行功能，在通往主网和零知识行业的道路上达到了一个重要的里程碑。Aleo 现在是 Web3 中第一个推出去中心化私有计算的。 

去中心化私有计算 (DPC) 是一种用于智能合约的加密原语，它使用零知识证明来证明交易的正确性，而无需公开透露有关用户操作的详细信息。它扩展了先前的隐私保护交易模型（例如 Zerocoin 和 Zerocash），使任何人都可以在未经许可的情况下私​​密地部署和运行任何程序。它结合了 ZCash 的隐私保护特性和以太坊灵活的智能合约模型。这个原语最初是在一篇题为Zexe 的研究论文中描述的，该论文由六位合著者于 2018 年发表，其中四位是我们的团队成员（包括我们的创始人 Howard Wu）。五年后，这一关键功能在 Aleo 上启用。

‍

随着 DPC 和 deploy & execute 的发布，Aleo在 Web3 开发人员期望的去中心化架构上释放了零知识证明的力量，同时确保用户隐私得到保护。具体来说，在 Aleo 上构建的开发人员受益于无限的运行时间和完整的数据隐私，所有这些都在一个无需许可的证明环境中进行。让我们进一步检查这三个方面。 

无限运行时间

对于典型的区块链，开发人员在应用程序运行时方面受到限制，这通常是通过“gas”的概念来强制执行的。借助 Aleo，开发人员可以创建不受气体限制限制的应用程序，使用户能够执行任何程序，无论运行时间有多长。这是因为 Aleo 交易只是具有统一验证时间的零知识证明，与程序运行时间无关，因为运行应用程序的计算是在链下进行的。

这解锁了许多以前在 Web3 中不可能实现的新应用程序，比如机器学习。在使用气体的区块链（如以太坊）上，即使是微小的线性回归也会超过气体限制。但是有了 Aleo，交易可以很便宜地证明需要几分钟或几小时才能运行的大型 ML 模型的执行。这为 Web3 应用程序解锁了新功能，从可验证凭证/自主身份到医疗保健再到量化交易。

数据隐私

今天的区块链应用才刚刚开始发挥其潜力。这是因为在传统区块链上构建的应用程序在默认情况下和设计上必须是公开的。但 Aleo 确保用户可以控制共享哪些信息以及与谁共享。该模型为任何交易增加了固有的安全性，并将创建一系列新的用例。

Leo 提供了一系列工具来帮助用户和开发人员确保他们遵守适用的法律法规，同时确保消费者数据受到保护。Aleo 支持视图键，允许用户有选择地与选定的第三方共享交易内容，以及图形键，允许用户有选择地共享他们与之交互的一组方。至关重要的是，这种透明度可以针对给定的应用程序进行微调，同时确保更好的用户体验和更好的合规工具。

无许可证明

通过部署和执行，开发人员现在可以将程序部署到 Aleo程序注册表。我们将在以后的博文中详细介绍技术细节。现在，了解注册表是程序 ID 到 Aleo 字节码（来自Leo 的编译目标，我们的 ZK 领域特定语言）的映射就足够了。

由于该注册表存储在去中心化的分类账上，因此对注册表的更新是抗审查的，从而降低了开发人员和用户的平台风险。此外，用户可以在不依赖第三方看门人的情况下生成执行证明。即使 Aleo 工具链的作者或任何已部署应用程序的开发人员离开了，用户也可以继续运行已部署在去中心化网络上的程序。

虽然许多构建 zkEVM 的项目都以未来的去中心化为目标，但 Aleo 今天已经实现了。Aleo 是唯一一个开发人员可以编写/部署的Web3 协议，用户可以执行任何零知识应用程序，而无需向 BD 团队发送电子邮件或使用证明者 API。

期待

今天标志着去中心化计算的突破。Aleo 首次实现了原始 Zexe 研究论文中描述的去中心化私有计算原语。随着这项技术的出现，开发人员现在可以将应用程序部署到 Aleo 的 Testnet 3。利用零知识证明的力量，用户可以在无需许可的情况下，在链下执行这些程序，并保证他们的数据受到保护。

这是我们迈向 Aleo 主网发布的重要一步。但这远不是使 Aleo 与 Web3 中使用零知识密码学的其他项目区分开来的唯一令人兴奋的功能。在接下来的几周里，我们还会有更多！

如果您是一名开发人员并且想开始：请在此处查看我们的 Leo 开发人员文档：

要将程序部署到我们的测试网，请在此处参考我们的特别指南。