Aleo——隐私赛道的未来

尊敬的用户您好：

欢迎来到Aleo中文社区，该系列是Aleo中文社区通过官方动态及外部资料整理的项目报告，希望帮助Aleo中国用户更深入的了解Aleo项目动态及信息。

如需转载或引用请标明出处。

---

前言：

2022年2月7日，Aleo在由KoraManagementLP和软银愿景基金牵头的B轮融资中筹集了2亿美元。 

TigerGlobal和SeaCapital参投、三星Next、SlowVentures和a16z最终对该公司的估值为14.5亿美元。继公司于2021年4月由a16z领投的2800万美元A轮融资之后，Aleo的B轮融资代表了零知识行业有史以来规模最大的一轮融资。

---

Aleo为什么会受到A16Z以及谷歌和软银等投资机构巨头的青睐？无疑是当前隐私赛道的火热造就。

加密行业不可避免的终点是最大程度的去中心化和最大化的隐私。隐私始终是保护用户和扩大加密货币使用的基本要求，也被认为是Web3.0的重要方向之一。

再从产业视角来看，隐私赛道已成为当下创投圈的热点话题，国内外众多互联网及科技巨头纷纷投身该赛道。

---

隐私计算：如何解决数据隐私之痛？

何为隐私计算？为数据价值而生，使数据可用但不可见。谈及隐私计算，绕不开密码学。

（一）古典密码学。

关于保密的需求，最早可以追溯到约公元前1500年的美索不达米亚。那时，人们主要使用笔和纸，或简单的机械辅助工具来进行加密，这个阶段，一般称之为经典密码学，或古典密码学。

 

密码棒——一种早期的加密工具

（二）近代密码学

进入20世纪，复杂机械和电动机械被发明出来，更有效和复杂的加密方法应运而生。最有代表性的，就是图灵领衔破解的Enigma密码机。 

Enigma密码机

Enigma的核心原理仍然是多表替代，只不过借助机械使得这个过程半自动化，更加高效。并且，三个转子、不同方向、不同相对位置、连接板上的字母换序等多种条件组合之下，共有一亿亿种可能性。

在图灵破译Enigma之前，雷耶夫斯基首次将严格的数学化方法应用到密码破译领域，他领衔的波兰三杰破解了大量德军密码，成为图灵伟大成就的基础。 

（三）现代密码学

19世纪40年代，现代信息学之父香农的《密码学数学理论》被认为是开启了现代密码学时代。

随后，香农证明了一次性密钥（cryptographicone-timepad）是无法被破译的。香农同时证明了一个无法被破译的密码系统的密钥必须有以下特征：完全随机；不能重复使用；保密；和明文一样长。

1976年Diffie和Hellman的公钥密码的思想提出，是现代密码学的里程碑。两位也在2015年因为提出公钥密码思想获得图灵奖。

 

公钥密码学也就是非对称密码学，在此之前，加密和解密一直使用同一个密钥（即对称加密）。

对称加密的问题在于，私钥一旦暴露，密文就不再安全，而假想一个场景，A和B想要针对一段文字进行加密，则必须把密钥通过不安全的通道进行传输。

当然，可以通过迪菲赫尔曼秘钥交换协议（没错，也是上面两位发明的）来交换私钥，但是仍然有可能被中间人攻击获取密钥。

非对称加密由于可以传输公钥，在传输密钥环节更加安全，但是由于算法更加复杂，运算效率比对称加密要低。有了非对称加密的基础，现代密码学开始飞速发展。

---

隐私计算发展现状

（一）隐私计算到底是什么

隐私计算是多种技术的统称，目的是为了让多个数据拥有者，在不暴露数据本身的前提下，实现数据的共享、互通、计算、建模，最终产生超出自身数据的价值，同时保证数据不泄露给其他参与方。

 

隐私计算是一套复杂的技术体系，包含了硬件、密码学、分布式机器学习等多种底层技术。目前大家基本的共识，是隐私计算包含三大技术路线：可行执行环境TEE，多方安全计算MPC，以及联邦学习FL。

 

（二）隐私计算赛道为何突然火热？

其核心是数字经济的发展，数据要素重要性的确立和数据基础设施、数据法律法规、数据交易生态不够完善之间的矛盾导致的。数据流通的价值巨大，而隐私计算可以让数据流通的顾虑更少。

---

为什么是Aleo？——隐私赛道的未来

Aleo其目标是开发一个利用零知识证明（ZKP）的Web平台，将隐私应用于任何应用程序的最基本组件，即用户和交易。

简单地说：去中心化网络上的每个应用程序都是一系列用户（人或智能合约），它们以不同程度的复杂性相互交易。因此，任何隐私解决方案都必须确保任何应用程序的这两个原子组件都是私有的。

对于DEX，这意味着让交易对手匿名。这意味着用户的活动不能与Aleo区块链上的特定地址或帐户相关联。通过隐藏任何交易的细节，Aleo确保即使是广泛的金融活动轮廓或模式也不会泄露任何识别信息。 

当您在Aleo中的DEX上进行交易时，您会根据汇率计算更新后的链下账户余额。通过向Aleo网络提交零知识证明作为交易来完成交易，这表明已经发生了行动。单独的证明不包括有关操作是什么、在哪个交易所执行或涉及谁的任何信息。然而，底层密码学应该让所有参与者相信交易已经执行并且所有余额都正确更新。

Aleo使用零知识密码学来实现隐私和可编程性，并将其用作名为 ZEXE（零知识执行）的系统的基础。在 ZEXE 中，用户离线执行状态转换。这个过程产生⼀个证明，它被捆绑到⼀个链上交易中。该交易通过消费/ 创建链上记录来更新系统状态。因为交易仅包含证明，而不包含生成证明的输入，系统提供了强大的隐私保证。与以太坊⼀样，ZEXE 可以支持智能合约，使用户能够以预定义的方式交互或转移价值。

Aleo提供行业领先的基础架构和工具来编写零知识应用程序。

Aleo的目标是使用项目完整的可编程零知识工具集，为开发人员提供无缝编写、运行和部署私有应用程序的端到端管道，列举如下：

1. Leo -为了在Aleo上直观轻松地编写私有应用程序，Aleo开发了一种名为Leo的编程语言。Leo的外观和感觉就像一门传统的编程语言。然而，在幕后，Leo要复杂得多。Leo抽象了低级别的密码学概念，并可以轻松地将私有应用程序集成到您的堆栈中。Leo引入了一种高级语法，可以在零知识的情况下轻松编写和直观地表达逻辑。Leo语言受到JavaScript、Scala和Rust等传统编程语言的影响，强调可读性和易用性。在幕后，Leo将开发人员的高级代码转换为零知识电路。

2. AleoStudio -为了快速启动开发周期，Aleo构建了AleoStudio，这是第一个用于编写零知识应用程序的IDE。AleoStudio是一个交互式开发环境，用于在Leo中编写零知识应用程序。对于开发人员，AleoStudio旨在简化开发周期，让您可以轻松地将您的Leo项目作为一个包发布到生态系统。

3. Aleo包管理器-为了简化捆绑和共享您的工作，Aleo为Leo构建了一个包管理器。AleoPackageManager是第一个零知识电路的包管理器。它包括团队和组织等协作功能，可以轻松与朋友和同事在私人应用程序上合作。此外，Aleo包管理器与AleoStudio集成，无需离开编辑器即可轻松导入和发布新包。

4. snarkOS -Aleo在名为snarkOS的私有应用程序的去中心化操作系统上运行。它构成了状态转换的逻辑主干，并使应用程序能够以公开可验证的方式在Aleo区块链上验证和存储状态。snarkOS为所有程序和交易在Aleo上强制执行数据可用性保证。此外，我们的共识机制确保验证者计算零知识证明以检查链上的状态。

这些工具将使开发人员能够构建下一代智能合约。Aleo可以表达强大的DeFi原语，如稳定币或去中心化交易所。然而，所有交易都是完全私密的，让开发人员和用户处于控制之中。

---

隐私赛道对于吸引更多机构资本参与加密生态具有较强吸引力，确保重要财务数据与商业机密不被泄露，因此也是加密生态迎来下一波爆发的重要基础设施。

目前，大部分隐私基础设施及应用仍在开发与建设当中，它们在未来能否形成对通用智能合约平台的强力竞争，并在未来广泛的数据使用场景中赢得更多用户，让我们一起期待！

后续我们将持续更新关于Aleo的文章及动态，对Aleo感兴趣的用户可关注我们VX：AleoChina