JZL Capital | Aleo 零知识证明创新者

一、项目介绍

Aleo Network是一个主打安全性的Layer 1链条，Aleo利用Zero-Knowledge Proofs的技术理念创造出了属于自己的“Zexe”零知识验证方式，实现了线下计算，线上验证的运作方式，同时利用ZKP保证数据的隐私性。Aleo的主要核心特点是在于将复杂的ZKP简易化，任何开发者可以利用Aleo自有的编程语言完成利用ZKP运行的Dapp部署。

( h1 E$ \$ b+ A4 l+ G( G$ h

8 A, }2 n* O; U6 z" y

二、团队介绍

/ F' P) q0 ?6 G0 }

Aleo项目于2019年创立，有四个联合创始人。

Howard Wu为四位Co-founders当中在媒体界最为活跃的代言人，与媒体相关的发言都是由Howard出面。Howard Wu在UCB完成自己的本科和硕士学位，就读CS和Math专业。本科毕业后Howard在Google担任SWE一年，随后回UCB完成了他的硕士学位，硕士毕业后创立了Aleo。

5 V0 M- a+ i* W w1 t8 J4 L# v9 y

Howard一直以来都对Crypto有着浓厚的兴趣，据Howard在采访中说到，他在高中迷恋上了Bitcoin，在上大学后了解到Zero Knowledge的相关内容，从而对Privacy领域产生了兴趣。于此同时，Howard一直与美国最大的大学Crypto社团 UCB的Blockchain Club联系紧密。Howard自己也参与了一个小型VC fund的管理当中。Dekrypt Capital目前网络披露有5个全职员工，曾在2018年募资到3M USD。

- [ P2 |$ x S0 w

另外一个创始人Collin Chin也是与UCB本科毕业，学习ECE和CS，Collin主要负责Aleo的编程语言Leo的开发。在加入Aleo之前，Collin曾从事Crypto项目代码Audit的工作。

: X) d# [/ m* g' b$ u

+ V' Y# r$ g. X

另一名创始人Raymond Chu也是从UCB的CS专业毕业，在校期间曾在Amazon和IBM实习，毕业后直接加入Aleo。

, f7 e; `- e# R. ]: x& m

最后一位联合创始人为Michael Beller，Michael目前为Aleo的CFO，他本人在VC和金融行业有着较多的经验，并于1984年从Cornell毕业。

" C; P& _, Q2 G

三、Aleo技术概览

2 ]0 c' o; S) V V) |4 n0 ?6 S

Aleo的技术核心在于“Zexe”和“Leo”两个核心板块，“Zexe”共识协议在原有的ZeroCash上的zk-snarks技术上进行更新改革，不仅可以使单一的Token Transfer被加密，Dapp的互动也可以被加密。“Leo”作为Aleo生态的编程语言，则将“Zexe”共识协议的zk-snarks设置模块化，使得任何在Aleo平台上运作的Dapp都可以使用zk-snarks。但是，要理解“Zexe”为什么不同，我们需要了解一下ZeroCash的技术背景。

问题背景：

3 A8 x" G/ W1 U: J! A, [8 g' M N, T

ZeroCash是一个可以提供点对点交易加密的项目。在传统的Bitcoin或者ETH交易中，每一笔交易的信息都是公开的。公开的内容包括了发送者的地址、接受者的地址、和交易的数量和币的种类。这些信息需要被用来共识计算，无法达到隐私化。

ZeroCash的不同点在于，它对共识需要的信息进行了优化和加密。在ZeroCash当中，它的ZK proving机制，可以对发送者发出的信息进行加密。

% E A% P$ u9 M2 l1 d, u/ `. l, }

发送者发出的信息收到加工后，公开的信息只会有新的ZeroCash tokens的总数和每一笔交易的编号，交易参与的双方和交易的数量是不公开的。

但是ZeroCash不能够隐藏是哪一个Dapp在进行交易，这就导致了ZeroCash的模式不能被延伸到以太坊上。对于ZeroCash来说，它只有一个token和交易货币的功能，所以不涉及到Dapp信息的加密。但是对于以太坊来说，它有着不同的Tokens和不同的Dapp。即使交易的数量被加密了，任何人可以通过追溯被交易的Dapp和被交易的Token种类，从而获取交易者的信息。

“Zexe”想要解决的问题就是不光要加密交易Token的数量，同时还要加密交易货币的种类和Dapp的信息（哪些Dapp Functions被征用过）

: Y( R5 }6 s o2 P2 V

“Zexe”的解决方式就是将可加密的信息进行了升级，不单单是对Token的数量信息可进行加密，而是对一系列的信息（包括Dapp信息）进行加密。从代码层面来看，ZeroCash是从对单一的整数（代表Token交易的数量）的加密，变成了一组数据（record）的加密（包括Dapp信息）。

) c' }4 J T8 W) W

Aleo对Record的加密步骤可以分为两步：

) ?1 \" I6 y- J/ v

1. 第一步，创建一个Birth Certificate（简称BC），BC用于说明一个资产创建的条件与地点

2. 第二步，创建一个Death Certificate（简称DC），DC用于说明当一个资产被消费或转移的时候的情况

通过这样的方式，Aleo对不同Tokens的使用和转移进行了加密和说明。举个例子：

5 A4 n5 Q, j! z" Z$ B

Alice想要交换100个BTC来换50个ETH，那么她将创造一个有着100个BTC的record，在这个record的DC里面会说明，任何人想要转走这100个BTC的时候，必须要制造一个只能被Alice使用的50个ETH的record。这样当Alice去交易这100个BTC的时候，只有愿意给她50个ETH的人才可以交换。

4 I4 u2 t {7 S

另一方面，Aleo的运行分为线下计算和线上共识两个层面，records的生成是在线下完成，records的证明则是在线上完成。与传统的BTC需要暴力破解hash function的验证方法不同，Aleo的验证者只需要验证records里面的certificates是否正确即可。所以验证速度极大提高，Aleo称这种验证方法为PoSW – Proof of succinct work。

+ v+ `/ T w, }0 V, _8 t

9 H$ o1 Z/ J' H# c# P" \

Aleo目前开放了Testnet的运行，PoSW的表现十分不错，目前平均TPS为10K，峰值TPS为20K。

: l$ ]( D/ _: j3 i% y

四、融资历史

目前Aleo公布的融资轮有两次，分别是A和B轮：

8 P0 Q+ s6 ^" ?3 v( L o

A轮融到了28M USD，由 Andreessen Horowitz (a16z) 领投，Placeholder VC、Galaxy Digital、Variant Capital 和 Coinbase Ventures 参投。

而B轮融资是在测试网的亮眼表现后，融到了200M USD，是目前零知识证明赛道中单笔最大的融资数额。由Kora Management LP和SoftBank Vision Fund 2牵头， Tiger Global、 Sea Capital、三星 Next、 Slow Ventures和Andreessen Horowitz (a16z)共同投资。

五、代币经济

. S" O0 j5 n" u- l$ \, b$ Q9 P4 \

" {0 }2 r% ?/ O, E/ Y1 U9 r F

Aleo计划在下半年推出自己的代币，主要负责支付交易费用支付。配置比例如下：

Aleo的代币整体会体现为通膨状态，初始的15%将是给ICO。

8 a# a# s3 V7 S6 F4 M. F( W4 e

* d) x3 L- H% {1 n, v5 r: p

六、总结

) T; z/ G A7 }" c1 ~1 S

Aleo目前做到了市场上比较完善的私密Layer 1生态，与其类似的提供Dapp功能的隐私链中PlatOn明显受到投资者的关注度没有Aleo高。同时，Aleo也证明了对于Dapp隐私化运行比较优的解决方式，以及Testnet展现出来的良好的运行状态。是个值得关注的隐私赛道项目。

关于我们

JZL Capital 是一家注册于海外，专注区块链生态研究与投资的专业机构。创始人从业经验丰富，曾经担任过多家海外上市公司CEO和执行董事，并主导参与过 eToro 的全球投资。

团队成员分别来自芝加哥大学、哥伦比亚大学、华盛顿大学、卡耐基梅隆大学、伊利诺伊大学香槟分校和南洋理工大学等顶尖院校，并曾服务于摩根士丹利、巴克莱银行、安永、毕马威、海航集团、美国银行等国际知名企业。

Website