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

) ?* @$ A, P) ]/ I& @

一、项目介绍

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

8 y# ]+ t3 f$ l5 F

二、团队介绍

1 ]* P/ S( `4 N: O w {

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

& p& @$ |+ X2 G w+ C# V7 V6 A4 ^

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

, v. l2 C: x; w, Y9 T/ k. C

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

, Y" Z, N- ^5 p6 F

. Q2 q8 b% |( N% u3 B! ~8 D# d7 C

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

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

* H, }' V# j! b* H

2 A- @. ^1 w1 w" K& m% e/ j2 B5 E A

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

三、Aleo技术概览

N/ _. j* w# }6 p7 G

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

& t7 H4 y: u) v. f' ~ J2 ~

问题背景：

6 T' o! O" j3 M5 h$ ]8 b; x- g

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

- l$ k! h7 X- H! ?

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

' R9 G& v% G) k0 [

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

5 b* A" g8 P/ G) S% z7 y4 k, h) ?" v: d* r

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

- s1 J$ a, L( y% s7 r( {% f

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

8 o3 ?- {% h) W, t2 z# j# z+ Z* S* l

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

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

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

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

6 l: B6 ^, m8 ]9 L7 F

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

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

* Q; V0 M, a: ^6 H/ B" m# k& \

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

$ Z+ j4 G' g. Z/ O/ `0 d/ ~6 ?

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

四、融资历史

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

8 a) i" w" ]9 i% d% s3 W% E

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

6 x) v* D n- \% B! H

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

五、代币经济

; L' Q4 s) A) q

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

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

. D0 J. T& Y/ ^7 u8 Q9 B

) N }7 l8 ~5 I0 w# j; D( L

六、总结

4 S. }% z2 D0 q$ B! W, k

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

& V, Y7 ] U( F3 R; |

关于我们

, Z& p2 c$ l5 u. T8 \- I4 y3 k

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

6 Y0 d8 d5 D# E2 b* v

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

Website