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

一、项目介绍

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

( i' y' ~9 B! n# ^9 U

二、团队介绍

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

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

% _; f$ u. k1 o6 m1 q8 P5 M. P

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

t. \. G' A5 C9 I9 a8 s' f6 a

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

; ]3 V; R1 }- c( _+ {

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

: s% K$ B/ c% A! S; P. k: p k# N

' h1 K) X" ?1 O" ]7 P

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

: _. A+ G8 m9 Q; [' j2 s3 ^

三、Aleo技术概览

0 X9 G* c; g" [, L, K3 y1 g( |

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

问题背景：

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

2 d# x$ T# P% g# y

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

$ S: D R1 i3 ~* `) g

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

- G6 U8 z" w* e) Y

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

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

! o; L7 h$ |" c. M8 z2 E- T# |

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

0 K7 ~+ }0 U$ C' V- u) b7 @

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

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

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

- ?; M' @4 v8 J- {1 n: e, O

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

2 _( o( U) X5 N- Q

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

% G, N8 T# f. m2 r W

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

* i2 o1 E) J; o; E

0 W4 m' C; V r0 n$ Z: }0 d3 ~

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

四、融资历史

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

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

3 ?! H+ G. W0 S! ^- A4 v& I" M& y

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

五、代币经济

- U9 h7 O: S* K" \, h6 k

6 ^" o; K8 I( m' X

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

3 c( D& b5 R! j2 S8 |, }; ^- |

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

4 b, F. \9 m( K" O% ^. L

六、总结

( c7 ]7 C9 m# P3 x; W

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

4 K$ y4 o/ `7 V1 B# P5 Q* g

关于我们

6 u! ]6 A, A0 s+ k3 o

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

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

/ F- r% l# k$ Z

Website