Aleo：你能保守秘密吗？—创始人Howard和Alex为什么构建Aleo的背后故事及使命感
前言
前两天，蔚来汽车的用户数据遭黑客窃取，被勒索225万美元。又一起用户隐私数据泄露带来的巨额损失！正如我们上篇文章 Aleo 有可能为下一个牛市的到来打响第一炮吗？ 提及的，授权巨头获取我们的个人隐私实属无奈之举，而非心甘情愿被巨头们卖了（谁知道他们是不是监守自盗呢），还得替他们数钱。（问个问题，如果巨头不愿意交赎金，黑客就会泄露用户数据，用户永远是最终受害者，用户如何保障自身隐私数据的安全性呢？起诉能维护自身权益吗？胜诉的几率有多大？）
可以看出，保护隐私，任重而道远！有些企业是为了使命而革新发展，有些企业是为了利用数据躺赚而选择性停滞发展。能利用客户的数据赚钱，我又为什么去思考如何保护、不收集用户的数据甚至交还数据所有权给用户呢？
幸运的是，下一代互联网Web 3.0的叙事已然朝此方向做变革，期待新时代的到来！
套用马云的话来说，就是 旧互联网巨头不革命，那么新互联网模式就会革他们的命！让我们翘首以盼那一天的到来！
其中，Aleo 极具潜力的Web 3.0项目，是首个使用零知识证明解决隐私问题、同时保证可编程序特性的创新的区块链公链项目。Aleo可以打上 模块化 Web3.0 隐私公链 龙头 的标签。
上篇文章 Aleo 有可能为下一个牛市的到来打响第一炮吗？介绍了Aleo的投资机构及融资金额，均属于豪华梯队。
回过头来看看Aleo的创始团队，我们才会明白为什么会受到顶级风投机构的青睐。
Aleo 团队由来自谷歌、亚马逊和Facebook 等公司以及加州伯克利分校、约翰霍普金斯大学、纽约大学和康奈尔大学等研究型大学的世界级密码学家、工程师、设计师和运营商组成。
上图是最开始官宣的团队成员，现在Alex Pruden已经被提升为Aleo的CEO，而Howard Wu 为CTO，是联合创始人之一。他们为什么创立Aleo或为什么加入Aleo，都源自于他们背后的故事及使命感，了解他们，是我们了解Aleo作为一个新型互联网工具或应用其创立本身的初衷和伟大愿景。
文章回答了我一直以来关于Aleo的一些疑惑。例如，为什么选择重新搭建L1公链这条抵抗力最大的路径去走，而不是像其他项目一样，在以太坊L2开发或者兼容以太坊？当下互联网我们牺牲隐私而换取自由或效率，Aleo可以实现既有隐私又有自由或效率吗？......
以下为正文，enjoy! 内容很长，但是故事也很有趣。 坚持看下去，相信你会有收获！（充值信仰？）
Howard部分：从伯克利到区块链、DIZK & Zexe、Aleo:默认私有的区块链
Alex部分：隐私于自由
从伯克利到区块链
Howard Wu（霍华德吴）的故事就像许多加密货币企业家的故事那样：始于年轻的企业家精神和比特币开采。
Howard在高中时第一次触及了他的创业之痒，当时他通过开设 eBay 商店销售定制 PC 在网上赚了第一笔钱。当他在 2011 年读到一篇提到比特币的文章时，他发现了另一种方法来将他的自定义装置技能货币化并开始挖矿。那是开采比特币的好时机：“在 0.10 美元的价格，我实现了收支平衡。如果价格回到0.30 美元，那将是超级有利可图的，”他回忆道。剧透：价格确实突破了0.30美元。
我找不到可以追溯到 Howard 开始挖矿时的价格图表。CoinMarketCap 始于 2013 年 4 月，当时比特币的交易价格已经达到 134 美元, 比Howard的盈亏平衡价格高出1,340倍。不过，到那时，其他事情开始发生，比价格更能吸引Howard的注意力的是：其他代币开始涌现。Litecoin，Namecoin，Peercoin，Ripple(XRP)，Dogecoin(狗狗币)，Gridcoin，Primecoin，NXT。到 2013 年，这些币中的每一种都存在了，每一种都有自己独特的转折点，说明如何使用区块链来做一些新的事情。Howard开始阅读白皮书，研究协议，并学习共识和去中心化等概念。 Howard当时是加州大学伯克利分校的一名新生，修读计算机科学和应用数学，他决定将他的研究重点放在新兴的加密领域，并与那里的一位教授合作撰写关于股权证明和时间流逝证明的论文。
Howard以太坊开发人员的身份开始涉足可编程区块链，学习 Solidity 并为生态系统贡献密码库。不过，在偶然发现一位教授的简历中提到 ZKP（零知识证明）后，Howard很快找到了新欢。
从那时起，回头看，他所做的一切都朝着Aleo将来发展的模样而努力。
在伯克利，他还帮忙创办了区块链俱乐部，现在是顶级大学区块链俱乐部之一，Howard开始与 Alessandro Chiesa 教授合作，后者后来共同发明了 Zerocash，并共同创立了 Zcash 和 StarkWare。两人合作开发了 libsnark，这是第一个流行的 zkSNARKs 库（C++）。 Howard于 2017 年在 Github 上创建的首批公共存储库中有一个 zcash 钱包和一个 libsnark 教程，巩固了他作为 zkOG 的地位(编者注：OG是元老的意思，或老炮儿，zkOG指零知识领域的元老)。
毕业后，Howard在谷歌工作了一年，从事分布式系统方面的工作，但很快就被吸引回到伯克利，在那里他攻读了电气工程和计算机科学硕士学位，专注于零知识证明。
这段经历，再加上天生的能力，巩固了Howard的地位，用Kora Management创始人Daniel Jacob的话来说,，“ZKs 的领军人物之一，与普通人存在着偏离，是以一种好的方式。”
证据在论文中。在伯克利，他与 Chiesa 和其他人一起撰写了两篇论文，这些论文将被证明是零知识领域和Aleo的基础：DIZK 和 Zexe。
DIZK & Zexe
DIZK 和 Zexe 是迈向Aleo的两大步，尽管那时Aleo 在 Howard 的眼中根本算不上一个闪光点。
简而言之，DIZK 创建了一个系统来跨机器分发 ZKP 生成，以扩展和加速 SNARK 可能的计算，而 Zexe 使 DIZK 更进一步，实现了完全隐私和更高的可扩展性。
让我们深入研究 DIZK 和 Zexe。
在 DIZK 之前，zkSNARKs 已经在像 Zcash这样的系统中广泛使用，但证明是在单台机器上运行的整体过程，并且受到证明者运行机器的内存的限制。如果您将 zkSNARK 想象成一个电路，那么 DIZK 之前的系统“最多只能支持 10-20 百万个门的语句，每个门的成本超过 1 毫秒。” 虽然 1000 万个门听起来很多，但显然事实并非如此，而且门的数量限制了可以使用 zkSNARK 运行的应用程序类型以及它们可以运行的速度。每个门 1 毫秒的速度意味着使用 1000 万个门运行计算将花费近三个小时。除了较小的程序（例如发送 Zcash）之外，它的实际用途太有限且太慢。
在 DIZK：一个分布式零知识证明系统 (2018)，Howard和他的合著者找到了一个系统:
在计算集群中分发zkSNARK的执行, 从而使其能够利用聚合集群的内存和计算资源。这使DIZK支持以下电路 数十亿个门 (100 ×大于现有技术）在每门（100 ×的成本比现有技术）快10 µs。
虽然作者承认 DIZK 仍然有严重的局限性——“它的开销对于许多实际应用来说仍然令人望而却步”——但他们对该领域的进步速度感到鼓舞，写道“zkSNARKs 的最新进展简直是惊人的，这让我们对未来的进步将应对这些挑战感到乐观。”
这值得暂停一下。回想一下 Joe Weisenthal 的观察，即泡沫“通常会留下生产性基础设施”。就加密而言，zkSNARKs 和更普遍的 ZKPs 的进步就是这种生产性基础设施的一个例子。近40年来，ZKP（零知识证明）被认为是一种有用的技术，但在很大程度上局限于学术密码研究的范围内，与过去30年相比，ZKP在过去5年吸引了更多的聪明人才和资金。Jill和我在我们的文章中写了一个完整的部分，标题为“炒作的好处”，解释了这种现象。
但随着我们再次学习，当炒作消退时，重要的是要有真实的用例来展示工作。为此，本文介绍了DIZK实现的两个实际应用示例：证明编辑照片的真实性和机器学习模型的完整性。随着人工智能的进步让深度造假变得微不足道，并让我们越来越依赖机器学习模型，这些用例在今天比四年前重要得多。
DIZK代表了可扩展性的数量级改进，但仍然存在几个问题：
1. 它的可扩展性不足以运行我们认为理所当然的许多应用程序。
2. 它没有提供完全的隐私。
Zexe:启用去中心化私有计算，于2020年发布，更广泛地解决了那些问题以及相关的问题。我们会在这里深入，但这很重要，所以请坚持和我看下去。Zexe提供了以前区块链固有的可伸缩性和隐私问题的解决方案，包括以前的ZKP工作。
可扩展性。在论文中，他们称其为“简洁性”，写道，“交易可以及时得到验证，这与它所证明的正确性的离线计算成本无关。”
Howard在零知识播客上解释这个概念时说，当人们谈论可扩展性时，他们通常谈论的是每秒事务处理量 (TPS)，但 Zexe 最关心的是可以在协议上运行的应用程序的大小，或者应用程序运行时间。 “在以太坊上，有10秒的出块时间和gas（油气费），应用程序只能运行这么长时间，”他说。 “Zexe 通过在链下执行应用程序运行时并仅在链上验证证明来解决这个问题。”
验证者通过检查输出和证明的方式就能知道交易是正确的，而不是重新执行交易的方式，这些交易可能根据运行的应用程序而有不同的大小。
这提高了可扩展性，因为它允许矿工花费更少的时间检查每次执行，并且因为每次执行都需要相同的时间来检查。（这就是为什么 Aleo 不像以太坊那样需要油气费gas——我稍后会解释，别担心）这也意味着能够将更多的交易放入一个块中，并且应用程序可以运行比一个典型的链上应用程序，同时保持确保输出有效性的能力。
正如Alex告诉我, “它正在使用数学将枪放在你的头上”
隐私。在Zexe之前，选项是没有隐私（比特币、以太坊等……）或数据隐私（Zcash），但没有选项提供功能隐私。那是什么意思？
隐私有两层：数据隐私和功能隐私。
数据隐私意味着只有参与交易的人才知道交易的细节，比如交易中发送的金额或涉及的地址。但是通过数据隐私，人们确实知道使用特定令牌发生了交易或使用了特定应用程序。
功能隐私意味着所使用的应用程序或令牌也为公众所不知道。这几乎是常规互联网的工作方式。如果我使用Chase向某人汇款，那么公众显然不知道我向该人发送了钱或我发送了多少, 但他们也不知道有一笔Chase帐户的美元电汇发生。这就是Zexe支持的隐私类型。
Zexe 是在区块链中使用零知识证明的实用性和有用性的突破，但它仍然是一个学术练习。
与此同时，Howard 与 Jonathan Allen、Jack Baumruk 和 Ronen Kirsch 共同创立了一家专注于隐私保护技术的风险投资公司 Dekrypt Capital。Dekrypt资助的项目包括 ZK L2 zkSync 背后的公司 Matter Labs 和 Mina 协议的创建者 O (1) Labs。
在Dekrypt，Howard试图资助团队基于Zexe进行构建，正如他在零知识播客中解释的那样：“作为风险投资人，我们试图寻找团队将 Zexe 商业化，但我们发现的挑战之一是，对于这项技术来说，找到优秀的人选非常困难。”
挑战在于，您既需要业务方面的人可以创建业务模型和开发生态系统，又需要世界上为数不多的对 Zexe 有足够了解的人，不仅可以使用它构建，还可以构建一套允许任何开发人员使用它进行构建的工具。
事实证明，尽管他不打算自己构建它，但Howard是在开发人员端构建基于 Zexe 的协议的最佳人选，在 Dekrypt 团队的推动下，他决定这样做。
进入： Aleo
Aleo: 默认私有的区块链
对区块链进行分类的一种方法是在两个轴上：隐私 和 可编程性。
当Howard（Aleo 的CTO）调研区块链版图时,他看到了每个类别都有引人注目的区块链（应用）…
· 低隐私性，低可编程性：比特币
· 高隐私性，低可编程性：Zcash（大零币）
· 低隐私性，高可编程性：以太坊
… 除了一个类别: 高隐私，高可编程性。那这就是Aleo的机会。使应用程序能既有隐私性，又可编程的能力，是他（Howard）为什么首先开始研究Zexe的原因。
Howard为什么要关心具有隐私的和可编程的区块链呢? （他的答案是）给互联网打补丁。
当他告诉零知识播客（一个播客节目，Zero Knowledge Podcast）时,他问的问题是：“您如何才能为用户提供完全私密的体验，同时为服务提供商提供正确的信息以更好地服务他们？”
在很大程度上，当今互联网的运作方式是我们牺牲我们私人的数据来换取（服务提供商的）免费服务，服务（提供商）反过来使用这些数据来说服广告商给服务提供商付费，以便投放广告。
“如果你不为产品付费，那么你就是产品，”等等。 Howard将该模型描述为“激励不相容”，并认为我们可以利用更聪明的模型。
挑战在于，在大多数情况下，互联网还是非常棒的。人们喜欢免费的东西比他们喜欢付费的东西要多得多。但Howard注意到，随着质量和用户体验的提高，互联网上的自由度也在下降。如果你想想你在 Twitter 或 Facebook 甚至谷歌上的经历，你很难不认同他的看法。相关性不是因果关系，但在社交媒体出现之前，青少年更快乐，那时互联网的吸引力较现在低，而且很难发生上百万人因为你的错误想法，或甚至只是因为你看起来的样子而对你大喊大叫的情景（编者注：类似网暴）。
图表标题：美国青少年最快乐的时光是在2000年中后期。（峰值在06，07年）
但Howard也不认为区块链行业在解决这个问题上贡献了很多，他认为加密公司正在构建“寻找问题的解决方案”。
相反，他说，他从用户体验开始，然后倒推工作。如果您可以将应该私有的数据与应该公开的数据分开会怎么样？如果您可以允许服务商获取他们需要的数据，但前提必须获得用户许可，会怎样？如果你能改变网络的商业模式会怎样？
对Howard来说，完成所有这些事情的能力需要一个与现有互联网集成的新架构。他想构建一个互联网，使得服务存在于客户端这边（即与用户一起），服务会向你发送透明的算法，然后你将它在你的设备上运行，使用要您授予访问权限的数据，而不是（服务商）将你的所有数据发送到一个集中的服务。
这种架构将使双方受益:
· 用户不再被迫放弃所有数据以使用互联网服务。
· 提供商无需管理存储用户数据的风险和报告存储用户数据的的要求。
换句话说，基于此架构构建的应用程序不是默认打开的，而是“默认私有的”。
考虑到互联网是如何构建和发展的，这种模式实际上是不可能的（编者注：在互联网2.0时代），因此在 2019 年，他组建了一个由四位联合创始人组成的小团队——他自己、Raymond Chu、Collin Chin 和 Michael Beller——并开始构建 Aleo。
从头开始构建一个新的 L1 是一件非常困难的事情，所以最初，该团队研究了一系列不同的选择，从在以太坊之上构建一个 L2 开始。然而，当他们深入挖掘时，他们意识到他们无法在不是基于零知识证明而构建的区块链之上建立完全的隐私。
“您受所基于的L1的限制,”当我问及这个决定时，Howard告诉我。“以太坊不使用SNARK和ZK友好的哈希函数，并且在SNARK中模拟它们，速度很慢。此外，您需要支付10-100倍的成本系数才能兼容。”
具体来说，正如Alex（Aleo 的 CEO）向我描述的那样,在以太坊上实现Zexe都是 不可能 和 不切实际。
不可能的。 Zexe使用的是记录模型，将交易视为原子单元，并且不需要存储每个帐户的所有交易历史记录。以太坊使用的是账户模型，将每个地址视为原子单元，并且确实需要存储每个账户的所有交易历史记录。（还有更多细节，如果你好奇可以问问ChatGPT。）这其中的挑战是，以太坊的账户模型与 Zexe 的记录模型无法融为一体，而没有记录模型，如果不使用像 Tornado Cash这样的混币器，你就无法真正拥有隐私。（有趣的事实：这就是 Aztec、Starkware 和 zkSync 指向 L3 层以保护隐私的原因。）
不切实际的。由于以太坊上缺乏 SNARK友好的哈希函数、椭圆曲线和其他原语，验证链上证明的成本可能非常高。因为成本高，所以只有在较长的时间间隔内进行验证和结算才有意义。因此，虽然 zkRollups 和 zkEVMs 可以在执行级别扩展以太坊，但在考虑结算时，扩展优势就不那么明显了。Aleo 团队想要同时扩展执行和结算，所以以太坊出局了。（在Aleo上，交易结算每个区块，每 15 秒结算一次。）
Aleo 需要从头开始构建所有东西，他们承担的越多，他们就越需要 Howard和 Dekrypt（编者注：Dekrypt是Howard联合创始的风险投资机构，专注于隐私保护的科技）确定的团队的另一半：可以向更广泛的社区解释所有复杂性的业务人员，完善激励措施，并打造一个生态系统。
他找到了一个出于不同原因而相信自己所做的事情的人。
隐私于自由
Alex Pruden（亚克利斯 普鲁登，Aleo 的CEO）的加密之旅比Howard的巡回之旅更加迂曲。
当你想到“加密兄弟”时，Alex不是你想到的那种人。他比你更坏。他绝对比我更坏，更聪明。我强烈推荐观看他在这里分享他的故事：https://youtu.be/GrMKVy-RLEA
从西点军校毕业后，Alex在美国陆军担任中尉，先是在阿富汗，然后在伊拉克、土耳其、科威特和叙利亚担任特种作战员。在军队的一系列经历，首先是在阿富汗开展农作物多样化计划，然后作为绿色贝雷帽（编者注：美国陆军特种部队的称号）与伊拉克和叙利亚叛军合作，让他亲身体验了去中心化、无需信任的系统的价值。
具体来说，他回忆起一位叙利亚医生(Dr. Hussein)的故事，有一天他发现自己的银行账户因“疑似叛军同情者”而被冻结，于是召集家人逃往土耳其。在出境途中，在一个检查站，他不得不将他和家人的护照交给叙利亚士兵，最后非法越境（因为他放弃了证件）。一到土耳其，他的家人就搬进了难民营，那里的医生意识到他无权拿到钱，没有身份，因此无法为家人重建生活。将叙利亚医生的故事乘以数百万，这就是Alex在中东看到的情况。
当Alex回到家并反思他的经历时，他将他看到的许多问题追溯到该地区缺乏经济机会和值得信赖的机构。大约在那个时候，他阅读了比特币白皮书并找到了解决非常实际问题的潜在解决方案。
“如果Dr. Hussein和像他一样的数百万人拥有比特币而不是叙利亚的银行账户会怎样？如果他们将身份证件保存在公共区块链中而不是放在口袋里会怎样？好吧，他们本可以越过边界重新开始，而不必依靠他人的施舍来维持生计并度过他们已身处的可怕处境。
自由不仅仅是为了在难民危机中受苦的叙利亚人民。这是我能想到的最根本的美国政治价值观。”
当Alex在 2017 年离开军队并参加斯坦福 GSB 攻读 MBA 时，他学习了关于密码学、密码学、经济学和计算机科学的一切知识，并帮助创立了斯坦福区块链俱乐部。在那里，他作为首席运营官 Emilie Choi 手下的第一个商业实习生在 Coinbase 实习，毕业后，他作为交易合作伙伴加入了a16z crypto。
鉴于他在腐败、饱受战争蹂躏的国家，缺乏隐私意味着缺乏自由的国家的经历，Alex比其他人更被吸引到加密货币的一个特定领域也就不足为奇了：零知识证明。
当他深入研究时，他问他斯坦福密码学教授 Dan Boneh（偿付能力证明论文中的传奇人物），他在零知识领域应该结识什么人。 Boneh 告诉他必须去见 Howard。他们（Alex和Howard）相遇，一拍即合，并保持联系。
当Alex发现Howard正在创办 Aleo 时，他打电话给他并告诉他他想投资。Howard 寻求a16z的融资，据Alex说，a16z团队很喜欢这个项目，最终因为太早而通过了。（a16z）做出决定后，Alex打电话给Howard，让他知道他们将获得投资，并询问Howard是否愿意雇用他成为Aleo的一员。Howard同意了。
Aleo 是他一直在寻找的项目，而 Alex 则是 Howard 一直在寻找的团队的另一部分。他于 2020 年 11 月加入 Aleo 担任首席战略官（CSO），2021 年 4 月晋升为首席运营官（COO），最近于今年 8 月晋升为首席执行官（CEO）。（a16z 在 2021 年 4 月领投了 Aleo 的 2250 万美元 A 轮融资，弥补了失去的时间。）
了解 Alex 和 Howard 的背景对于了解他们正在建造什么以及为什么建造很重要。同样重要的是要了解他们为什么要按照自己的方式从头开始构建市场上最具隐私性的可编程区块链。
未完待续……关注我们，了解Aleo多一点！Part 2将于明日更新！
翻译：AleoAsia （转载请注明）
AleoAsia大中华社区是Aleo官方指定并指导创立的Aleo大中华区社群，旨在为大中华区社区的伙伴传递最权威、最快速、最全面的项目资讯；同时协助Aleo在大中华区举办各种活动，包括宣传、会议、AMA等，扩大Aleo在大中华区的知名度，获得更多人对Aleo的认同感，从而加入到Aleo，一起为Aleo生态的繁荣努力！
AleoAsia网站：https://aleoasia.notion.site/Aleo-Asia-Aleo-7138f4ed225a4f9c9c8e869d0fdc2e31
加入AleoAsia大中华社区请在后台回复 AleoAsia 。
【免责声明】市场有风险，投资需谨慎。本文不构成投资建议，用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资，责任自负。DYOR!】