上周，通过发布部署和执行功能，Aleo在通往mainnet的道路上达到了一个重要的里程碑，对于零知识行业来说也是如此。Aleo现在是Web3中第一个推出分散的私人计算。
分散式私人计算(DPC)是智能合约的一种加密原语，它使用零知识证明来证明交易的正确性，而不会公开透露用户操作的细节。它扩展了以前的隐私保护交易模型(如Zerocoin和Zerocash ),使任何人都可以在未经许可的情况下私下部署和运行任何程序。它结合了ZCash的隐私保护特性和以太坊灵活的智能合约模型。这种原始人在一篇名为Zexe，由六位合著者于2018年出版，其中四位是我们的团队成员(包括我们的创始人霍华德·吴)。五年后，这一关键功能在Aleo上上线。

随着DPC和deploy & execute的发布，Aleo开启了力量上的零知识证明分散的体系结构开发人员期望在Web3中，同时确保用户隐私被保存下来。具体来说，基于Aleo构建的开发人员受益于无限运行时间和完全的数据隐私，全部在一个未经许可证明环境。让我们进一步考察这三个方面。

01

无限运行时间

对于典型的区块链，开发人员在应用程序运行时方面受到限制，这通常通过“gas”的概念来实施借助Aleo，开发人员可以创建不受气体限制的应用，使用户能够执行任何程序无论运行时间有多长。这是因为Aleo事务只是具有统一验证时间的零知识证明，与程序运行时间无关，因为运行应用程序的计算发生在链外。
这开启了许多以前在Web3中不可能的新应用，比如机器学习。在使用气体的区块链(像以太坊)，即使一个微小的线性回归也会超过气体极限。但有了Aleo，交易可以廉价地证明需要几分钟或几小时运行的大型ML模型的执行。这开启了Web3应用的新功能，从可验证的凭证/自我主权身份到医疗保健到量化交易。

02

数据保密

今天的区块链应用才刚刚开始触及其潜力的表面。这是因为应用程序建立在传统的区块链之上必须默认情况下和设计时都是公共的。但Aleo确保用户可以保留对共享哪些信息以及与谁共享的控制权。这种模式为任何交易增加了固有的安全性，并将创造一系列新的使用案例。
Leo提供了一系列工具来帮助用户和开发人员确保他们遵守适用的法律和法规，同时确保消费者数据得到保护。Aleo支持查看键允许用户选择性地与选定的第三方共享交易内容，以及图形键，它允许用户有选择地分享他们已经互动过的一组当事人。至关重要的是，这种透明性可以针对给定的应用程序进行微调，从而确保更好的用户体验和更好的合规工具。

03

无许可证明

通过部署和执行，开发人员现在可以将程序部署到Aleo程序注册表。我们将在以后的博客文章中讨论技术细节。现在，理解注册表是programID到Aleo字节码的映射就足够了(编译目标来自狮子星座，我们针对ZK的特定领域语言)。

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

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

04

展望未来

今天标志着去中心化计算的突破。Aleo 首次实现了原始 Zexe 研究论文中描述的去中心化私有计算原语。随着这项技术的出现，开发人员现在可以将应用程序部署到 Aleo 的 Testnet 3。利用零知识证明的力量，用户可以在无需许可的情况下，在链下执行这些程序，并保证他们的数据受到保护。
这是我们迈向 Aleo 主网发布的重要一步。但这远不是使 Aleo 与 Web3 中使用零知识密码学的其他项目区分开来的唯一令人兴奋的功能。在接下来的几周里，我们还会有更多！
如果您是开发人员并且想开始：请在此处查看我们的 Leo 开发人员文档：https://developer.aleo.org/getting_started/
要将程序部署到我们的测试网，请在此处参阅我们的特别指南：https://developer.aleo.org/testnet/getting_started/deploy_execute_demo/