1. 算法
从算法的角度上来看,Aleo属于零知识证明(ZKP)赛道项目,复杂度是比大饼和以太坊算法都要复杂的。算法的核心计算我们之前也提过主要是MSM+NTT/FFT的计算,还会包含一些Hash运算。这些计算主要目的是为了生成零知识证明,而生成证明的速度直接会影响生态的体验。
目前零知识证明(ZKP)应用的主要2个方向:隐私和可验证计算,Aleo是隐私L1公链,同时兼具可编程性,像ZCash等虽然也是隐私公链,但是不具备可编程性。以太坊L2上的ZK-Rollup项目,属于可验证计算,我们之前的文章也分析过:重磅分析!为什么说FPGA或者ZK通用服务器在Aleo项目上机会是零?,在证明的需求量上完全不是一个级别。
Aleo简单理解就是一个做跨链去中心化交易的平台。之前完成850万美元种子轮融资,Republic Crypto领投,Arrington Capital、DeFi Alliance、Huobi Ventures、Ascensive Assets、Morningstar Ventures、GSR和Marshland Capital等参投。Aleo生态系统集成了各种 L1 链和 L2 网络,允许开发人员和交易者使用来自隔离链的单动性,并具有且无忧的用户界面,有助于为每个人创建一个更易于访问和的 DeFi 生态系统。
项目简介Aleo 是个使用零知识证明解决隐私问题,同时保证可编程特性的公链。具体而言,Aleo通过零知识证明保护用户隐私,包括隐藏参与者、金额、智能合约等交互细节,同时让用户有选择权(Aleo提供了可选择退出隐私模式,确保终的控制权属于用户,并可以自行选择他们所希望公开或隐藏的信息);通过使用零知识密码学,还将智能合约执行转移到链下,支持各种Dapp,保证其可拓展性(每秒数千笔交易)。