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

一、项目介绍

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

# J2 H" o( V$ |- G0 j+ {. ~

二、团队介绍

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

% ?2 r( y8 K+ x3 Y

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

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

5 d. B( r- m, d+ ]. } y

: m) w: h8 { g; ?2 A1 [0 S

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

. O9 E* u& C0 U. \0 h; Y% p' k6 V

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

' F) W( |, z5 @/ q$ L) ~5 N1 D

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

3 F8 S* w9 ^3 m# t# }6 T9 c

三、Aleo技术概览

) \3 h+ o% W$ [' t( J/ {8 n0 _2 R

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

问题背景：

4 Y: H& x7 ^. u; P) y0 _- |

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

; i/ h3 W, `2 f) X1 L, W

+ f! I7 S2 z5 T6 U* j

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

8 ~ |/ l2 ~& u& A, L/ b- X& p/ s' F

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

. N. T6 n! ?8 X$ L

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

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

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

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

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

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

Z8 B- F1 V+ r8 t& P

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

' J- n7 d( l' e _

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

6 r9 l) F3 R0 S

3 W: L. n" [" N* Z5 B- |$ n+ J

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

' S% ~4 y- N" s$ l1 C, @" w

2 x0 _$ X: n3 S' N; _+ p9 h

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

四、融资历史

( e+ o8 V }# [8 P/ T

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

/ P& p- ]- B' C0 x

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

" c2 @. ~- l6 R1 I7 h

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

8 g( @5 X, t1 z

五、代币经济

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

8 Q! a) g. t3 i" w" p8 d5 p

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

; a5 d q7 J% h+ \6 N

! l) r6 [6 Z+ i+ m: E. J

六、总结

1 a5 c2 e+ O- O3 I; v6 a! ]

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

关于我们

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

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

Website