Aleo实现关键里程碑-启动部署和执行功能

本周，Aleo发布部署和执行功能，这不仅在通往主网的道路上迈出了重要的一步，对零知识领域来说也是意义非凡。现在Aleo是Web3中首个启动去中心化隐私计算的平台。

去中心化隐私计算（DPC）是智能合约的加密基元，它使用零知识证明来证明交易的正确性，而不公开披露有关用户操作的详细信息。它将隐私保护交易的先前模型（如Zerocoin和Zerocash）扩展到允许任何人在不需要权限的情况下私下部署和运行任何程序。它将ZCash的隐私保护特性与以太坊的灵活智能合约模型结合起来。这个基元最初是在一篇名为《Zexe》的研究论文中描述的，该论文于2018年由六位共同作者发表，其中四位是我们团队成员（包括我们的创始人Howard Wu）。五年后，这个关键功能已经在Aleo上实现。

随着DPC和deploy & execute功能的发布，Aleo在Web3中提供了开发者所期望的分散式架构中零知识证明的能力，同时确保用户隐私得到保护。具体来说，构建Aleo的开发者可以受益于无限的运行时间和完全的数据隐私，而且这一切都在一个开放的证明环境中完成。让我们进一步探讨这三个方面。

无限的运行时间
在典型的区块链中，开发者在应用程序的运行时间方面受到限制，这通常是通过 “gas “的概念来执行的。有了Aleo，开发者可以创建不受gas限制的应用程序，使用户可以执行任何程序，无论运行时间多长。这是因为Aleo交易只是零知识证明，具有统一的验证时间，与程序运行时间无关，因为运行中的应用程序的计算发生在链外。

这就释放了许多以前在Web3中不可能实现的新应用，比如机器学习。在使用gas的区块链上（如以太坊），即使是一个微小的线性回归也会超过gas的限制。但有了Aleo，交易可以廉价地证明大型ML模型的执行，而这些模型的运行需要几分钟或几小时。这为Web3应用释放了新的能力,如可验证的凭证/自我主权识别到医疗到量化交易。

数据隐私
今天的区块链应用远低于人们的预期。这是因为传统区块链上所建设的应用，无论是在默认情况下还是设计上，都必须是公开的。但Aleo确保用户可以保留对哪些信息被共享以及与谁共享的控制权。这种模式为任何交易增加了固有的安全性，并将创造一系列新的用例。

Leo语言提供了一系列工具，帮助用户和开发者确保他们遵守适用的法律和法规，同时确保消费者数据得到保护。Aleo支持view keys(可被看作公钥)，允许用户有选择地与选定的第三方分享交易内容；同时也支持graph keys，允许用户有选择地分享与他们互动过的对象。最重要的是，这种透明度可以针对特定的应用进行微调，确保更好的用户体验和更好的合规工具。

无权限证明
通过部署和执行，开发人员现在可以将程序部署到Aleo程序注册表中。我们将在未来的博文中讨论技术细节。现在，我们只需了解注册表是程序ID与Aleo字节码（来自Leo的编译目标，我们的ZK特定领域语言）的映射。

因为这个注册表存储在一个去中心化的账本上，对注册表的更新是抗审查的，从而减轻了开发者和用户的平台风险。此外，用户可以生成执行证明，而不需要依赖第三方把关。即使Aleo工具链的作者或任何部署的应用程序的开发者消失了，用户也可以继续运行已经部署在去中心化网络上的程序。

虽然有许多构建zkEVM的项目都以未来的去中心化为目标，但Aleo在今天就实现了。Aleo是唯一一个Web3协议允许开发者可以编写和部署，用户也可以执行任何零知识的应用程序，而不需要给商务团队发邮件或使用验证器API。

展望未来
今天是去中心化计算的一个突破。Aleo首次实现了Zexe原始研究论文中描述的去中心化隐私计算的基本原理。随着这项技术的出现，开发者现在可以将应用程序部署到Aleo的Testnet 3网络。利用零知识证明的力量，用户可以在链外无权限地执行这些程序，并保证其数据受到保护。

这是我们朝着Aleo主网推出的一个重要步骤。但这远远不是将Aleo区别于Web3中其他使用零知识加密技术的项目的唯一令人兴奋的功能。在接下来的几周里，我们会有更多的消息。

如果你是一个开发者并想开始使用：请查看我们为Leo编写的开发者文档

要部署一个程序到我们的Testnet，请参考我们的特别指南。

原文链接：https://www.aleo.org/post/achieving-a-critical-milestone-with-deploy-execute-launch