在一个名为“区块链”的国家里有两个土豪，他们都觉得自己比对方有钱，现在他们遇到了这样一个难题：他们不想向任何第三方公开自己的财产，又该如何去证明自己比对方有钱呢？

其实以上问题改编自2000年图灵奖得主姚期智院士在1982年提出的“百万富翁”问题，是一个典型的“多方安全计算”问题。随着多方安全计算问题的提出，投入到多方安全计算研究的学者越来越多，隐私计算技术也逐步发展了起来……

再说回“区块链”国家，这个国家的设立本来就报着美好的想法——一个相对透明的世界。在这里，每个公民都不会面临数据孤岛、数据垄断等问题，数据的安全、隐私、确权等都得到了较好的解决。

然而，多方安全问题却在“区块链”国家升级了：有个公民遇到了劫匪，赶忙表示会交出所有钱财。但让他没想到的是，当他偷偷转了一部分钱给到劫匪时，劫匪却能看见他所有的资产！要知道，这件事在那个名为“Web2”的国家简直是无稽之谈！

以上事件说明了以eth为代表的公链虽具有去中心化和公开透明等特点，但公开透明、数据可验证导致了在交互的过程中极有可能被追踪到真实身份，自己的财产以及信息隐私很有可能泄露。

该怎么在“区块链”国家保证用户隐私？为了顾全隐私性，以XMR、Zcash为代表的匿名币诞生，它们只针对身份信息，无法扩展应用到智能合约上，牺牲了其可编程性。这意味着，上次被绑架的公民把钱都换成了匿名币，没有人能看见他有多少财富，甚至他转账出去别人都无法溯源。但是，他却无法用匿名币去构建任何东西！这在那个名为“Web2”的国家还是无稽之谈。

这时，一个叫“Aleo”的人打着“让应用程序变得私有”的口号，带来了前所未有的创新。为了帮助开发人员编写私有应用程序，Aleo 创建了一种名为 Leo 的编程语言。它的外观和感觉就像一门传统的编程语言，其语法抽象了低级密码学，使在 ZK 中表达逻辑变得简单直观。Leo 编译器是第一个经过正式验证的 ZK 证明编译器。此外，Leo 语言受到 JavaScript、Scala 和 Rust 等编程语言的影响，非常强调可读性和易用性。

Aleo的技术解决了扩展使用零知识技术构建的应用程序的关键问题，使任何开发人员或组织都能够构建和扩展真正私有的应用程序，同时兼顾了编程性与隐私性。这意味着，在Aleo这条链上建立的程序，就可以做到绝对的隐私，不会透露和业务无关的其他信息。

Aleo的出现打破了很多人的固有认知，也一跃成为较为火爆的赛道。Aleo提供了可选择退出隐私模式，确保最终的控制权属于用户，用户可以选择他们希望公开的信息。Aleo实现了之前无法实现的愿望：用户不需要交出他们的私人数据。

至此，“区块链”国家两个土豪问题也得到了解决。

WeChat1：victeam005

WeChat2：shijie20170405
Telegream：https://t.me/VICOINDAOCHAT
Twitter：@VICOINDAO