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

. [$ [1 C9 J* ]. A: v- S0 V$ s" z7 u

一、项目介绍

6 M) v b5 {) u- i

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

: V0 x5 C" K' `4 L2 N1 _) N9 o

! K+ y. i$ Y5 E% l/ ?

二、团队介绍

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

. q; M4 E* t( K

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

9 I. I& U4 z: X O

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

! Y3 V) [' n1 d' @$ R3 b9 P5 L

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

, {9 e6 R8 e, w7 R

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

9 P# Y. t# }& X* Z

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

: d% L( |- N7 i0 G1 I

三、Aleo技术概览

w* F( M# }2 k# j! m/ h

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

问题背景：

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

! M$ V- q/ y. t" c( l7 M! k; j& g

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

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

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

2 P% M3 {& A, o+ d& R, n: F

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

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

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

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

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

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

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

4 O7 u9 `% g+ D6 b7 T

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

/ h. e* ?' { C: a& ]$ @

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

四、融资历史

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

4 C2 w+ g4 v8 Y% s9 W

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

9 I5 E8 Q( s: @: X1 D$ y+ ?( l" K; j

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

1 L# J! G( m5 u4 _7 ]; P5 M5 }

五、代币经济

/ H% F4 ` k$ C0 h+ h# B

$ K4 U/ J8 _) F6 a! ^

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

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

六、总结

- m/ ?2 \" Z6 A' k% r2 v

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

+ w& R$ {# s( k

关于我们

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

* t8 b# Q( {, x# d. P4 V

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

; ]9 Z/ q! P* E1 r2 v

Website