从一开始，我们的核心论点就是认为现代区块链的最佳方式是作为一种能够运行特殊程序的新型计算机。这些程序有时被称为智能合约，它们与普通程序的不同之处在于它们有自己的生命。他们是独立的，一旦写出来，他们就乖乖地执行自己，不受任何人的权威。由于这一特性，智能合约具有独特的赢得信任的能力。 

但是今天的智能合约有两个很大的限制：（1）它们在设计上是完全透明的，因此不允许隐私（2）它们不能扩展到数百万（更不用说数十亿）的用户。存在这些限制是因为信任需要验证。区块链上的交易需要透明，以便每个人都可以验证它们是否正确。而且，它们往往不会扩展，因为网络上的所有计算机都需要时间和精力来执行该验证。

但是在称为零知识证明的密码学前沿领域的研究有望为隐私和可扩展性问题提供一个优雅的解决方案。我们花了很多时间研究各种方法和团队致力于此。Aleo的解决方案既优雅又务实。

进入Aleo

我们第一次见到 Aleo 的创始人 Howard Wu 是在 2018 年。他在密码学和分布式系统方面的知识深度以及他对加密潜力的愿景给我们留下了深刻的印象。他与来自伯克利、康奈尔和其他机构的一些著名学者在零知识证明研究方面密切合作。那年晚些时候，霍华德在这个领域与许多相同的合作者发表了一篇开创性的论文，题为“ Zexe：实现去中心化私人计算”。它描述了如何改变区块链上的交易被验证的方式，以便可以更有效地私下完成。诀窍在于使用加密原语，该原语允许网络中的任何参与者创建一个简短的数学证明，证明交易已正确处理，但不会透露有关交易本身的任何细节。使这成为可能的神奇原语称为零知识证明（或 zk 证明）。Zexe 的结果是一个完全私有的区块链模板，其规模远远超出了当今大多数区块链。

这个想法的含义比它们最初看起来的要深刻。隐私作为一项功能很重要，不仅因为它保护用户的个人数据，还因为它从根本上扩展了应用程序的设计空间。有些东西可以用私人智能合约构建，而透明合约根本不可能构建。例如，一个将牌面朝下分发给不同玩家的简单游戏需要某种方法来确保这些牌不会立即对所有玩家可见。在当今的区块链上构建这样的游戏根本不可能——玩家通过检查区块链和查看彼此的牌来作弊太容易了。另一方面，使用 Aleo，构建这样的游戏将很简单。当然，这只是一个玩具例子，

几个月前，当我们与霍华德和球队重新建立联系时，我们立即清楚地看到，他所组建的球队是世界级的。即使按照加密标准，他们的执行速度也是我们见过的最令人印象深刻的之一。他们现在不仅拥有协议的实时测试网，而且还为 Aleo 构建了一个完整的编程语言Leo和一个名为Aleo Studio的开发环境；这两者共同构成了出色的开发人员体验。我们也很高兴我们的前合伙人 Alex Pruden 现在是 Aleo 的首席运营官。  

鉴于突破性的技术、伟大的想法和这个团队，我们很高兴地宣布，我们正在领导 Aleo 的 A 系列，与 Howard 和团队合作，帮助他们实现他们的愿景。

* * *

此处表达的观点是引用的个人 AH Capital Management, LLC (“a16z”) 人员的观点，而不是 a16z 或其关联公司的观点。此处包含的某些信息是从第三方来源获得的，包括来自 a16z 管理的基金的投资组合公司。虽然取自被认为可靠的来源，但 a16z 并未独立验证此类信息，也不对信息的持久准确性或其对特定情况的适用性做出任何陈述。此外，该内容可能包含第三方广告；a16z 未审查此类广告，也不认可其中包含的任何广告内容。