近年来，零知识加密技术在区块链中的可扩展性和隐私方面取得了快速进展。研究的突破使得生成证明的成本更低、速度更快，而私人资金则为团队提供了围绕其构建应用程序和基础设施的财务资源。

1、介绍

Aleo是其中的一支队伍，他们已经从投资者那里筹集了超过2亿美元的资金，旨在使隐私成为区块链的默认设置。为了实现这一目标，Aleo正在构建一个新的第一层区块链，既具备隐私性又可编程。这使得开发者更容易构建和部署私有且去中心化的应用程序。

Aleo目前正处于测试网的最后阶段，计划在2023年晚些时候在主网上启动。Equilibrium Group（Equilibrium Labs和Eiger）已经与Aleo合作超过3年。我们支持他们的核心工程团队的各种工作，其中最引人注目的是节点基础设施（SnarkOS）、核心密码学和zkVM（SnarkVM），以及权益证明共识机制（Narwhal-Bullshark）。

2、区块链的演变

自从比特币引入去中心化信任和加密经济安全的概念以来，区块链经历了多次迭代。以太坊引入了通用可编程性和智能合约，催生了构建在以太坊之上的整个应用程序生态系统（DeFi、NFT、DAO……），随后是其他第一层区块链。

此后，开发向多个方向发展，每个方向都展示了自己的设计选择和权衡。今天，我们看到三个主要主题正在出现：

1、单分片可扩展性 = 旨在通过将单片堆栈推向极限并保持所有内容集成来实现高吞吐量和低延迟。严重依赖硬件加速来进一步提高性能和去中心化。

2、 模块化可扩展性 = 旨在通过专业化实现可扩展性和可定制性。模块化区块链专注于区块链典型任务的子集（执行、结算、共识和数据可用性），其余功能外包给其他网络。包括数据可用性服务、汇总、汇总即服务等等。

3、可编程隐私 = 旨在使隐私成为区块链中的默认设置，并消除编写私有应用程序的复杂性。这使得开发人员能够轻松地将隐私集成到他们的解决方案中，并且多个私有应用程序可以存在于同一个分类帐上。可编程隐私扩展了现有解决方案，为特定用例提供隐私，例如价值转移（例如 Zcash）。

请注意，此分类略有简化，可以分为更多子类别，例如 NEAR 和最近的 Linera 所演示的分片可扩展性。然而，我们认为这三个是关键主题。今天的争论主要围绕模块化与整体式，可编程隐私作为一个新兴主题。

3、为什么我们需要隐私？

如今，大多数区块链默认都是透明的，这会泄露许多有关用户的敏感信息。此外，隐私的缺乏阻碍了许多应用程序部署在区块链上，例如身份解决方案或某些游戏。任何头脑正常的人都不会希望自己的护照或驾驶执照被广播到整个网络，而当你提前知道对手船只的位置时，玩《IronFish》这样的游戏并不是很令人兴奋。

因此，虽然扩展性和可定制性对于使区块链更具吸引力很重要，但隐私是公司和个人的另一个关键要求：

· 出于监管、竞争和客户保护的原因，公司需要隐私。例如，将客户信息存储在公共区块链上是非常不负责任的行为，并且公开可用的合同可以让竞争对手进行低价竞争。

· 个人也应该警惕通过网络广播并开放给任何人查看的敏感数据，例如账户余额和交易历史记录。由于区块链的不变性，这些数据不仅现在可见，而且可以永远检索。

这自然会提出一个问题：如果隐私如此重要，为什么区块链今天是透明的？

简单的答案是，到目前为止，我们还缺乏使区块链私有化的技术。甚至中本聪也在考虑如何为比特币网络增加隐私性，但当时没有可行的选择。

透明度通常被认为是区块链的一项壮举，但实际上，这只是当今大多数区块链通过链上执行运行的结果。网络上的所有验证器都会重新执行计算以验证计算是否正确完成。这就需要交易数据和相关信息在链上公布。除了损害隐私之外，链上执行的效率也非常低，并且会导致大量冗余工作，所有验证器都重复相同的计算。

由于零知识密码学的进步，我们现在可以使用链下执行和零知识证明来验证计算的有效性并维护隐私。他们不是让每个验证者重新执行计算，而是简单地验证足以让验证者确信其已正确完成的证明。链下执行既更高效（“浪费”的计算更少），也更快（验证证明比执行程序更快）。隐私已启用，因为并非所有交易详细信息都需要发布在链上进行验证，并且无需透露所有输入即可验证证据。

原文：https://equilibrium.co/writing/privacy-blockchains-and-aleo-deep-dive