Aleo创始人Howard Wu：我们如何理解Aleo项目

以下是 Aleo 创始人 Howard Wu 对 Aleo 的完整介绍。

1、Aleo网络是如何运行的？

简单来说，Aleo就是一个用来编写零知识证明应用程序的平台。为了编写零知识证明应用程序，Aleo生态需要有三种必不可少的角色：开发者，证明者和验证者。开发者的作用是开发和运行应用程序，并通过应用程序发送请求。这些请求会传递给证明者，证明者则需要执行这些程序。

在这个生态系统里，用户或开发者也可能充当证明者的角色。因此，这三种角色并不是相互排斥的。当证明者执行了这些应用程序，执行的结果通过交易的形式广播到整个网络上，最后验证者通过共识协议检验这些执行结果，并返回给开发者或用户。

2、Marlin系统的三大优势

Aleo使用的零知识证明系统叫做Marlin。Marlin是一个通用且可升级的零知识证明系统，它与 Groth 的相似之处在于都使用 Arwin cs 作为编程语言来写入程序。

不过我们也对 Marlin 做了一些有趣的改造，Marlin最突出的三大优势，一是Plookup，Plookup让用户可以自定义强度并查找特定值，以便在特定操作中使用它们。例如开发者想要创建一个哈希函数或是一个默克尔树，可以直接创建一个表，然后索引查找数值，这种方式比传统的开发方式要高效得多。

第二个关于Marlin的优势是批量验证，如何理解批量验证呢