1. 算法
从算法的角度上来看，Aleo属于零知识证明（ZKP）赛道项目，复杂度是比大饼和以太坊算法都要复杂的。算法的核心计算我们之前也提过主要是MSM+NTT/FFT的计算，还会包含一些Hash运算。这些计算主要目的是为了生成零知识证明，而生成证明的速度直接会影响生态的体验。
项目简介Aleo 是个使用零知识证明解决隐私问题，同时保证可编程特性的公链。具体而言，Aleo通过零知识证明保护用户隐私，包括隐藏参与者、金额、智能合约等交互细节，同时让用户有选择权（Aleo提供了可选择退出隐私模式，确保终的控制权属于用户，并可以自行选择他们所希望公开或隐藏的信息）；通过使用零知识密码学，还将智能合约执行转移到链下，支持各种Dapp，保证其可拓展性（每秒数千笔交易）。
特色和优势Aleo和其它公链的不同且独特之处在于对隐私的保护和链上可扩展性。当前区块链搭载的智能合约有两个很大的限制：它们在设计上是完全公开、透明的，因此不允许隐私的存在；它们不能扩展到数百万、更不用说数十亿的用户，意味着无法支持亿万用户级别的线上实时游戏或活动。针对上述现象，Aleo网络基于零知识证明密码学，解决当前公链既保护隐私又支持处理海量数据（可扩展性）的难题。既解决当前互联网数据泄露的困境，又完善当前区块链数据信息公开透明的缺点，同时还实现和当前互联网平台相媲美的海量数据实时处理及丰富的可扩展性，这是Aleo项目为市场关注的特别之处。下图能够更直观、清晰地了解Aleo网络的特色：
零知识证明密码学的一些用例包括：
区块链和加密货币：Zcash 等区块链技术使用 ZKP 来保护交易隐私。一个人可以证明他们拥有足够的加密货币来进行交易，而无需透露其资金的确切金额。这在保证交易完整性的同时维护了隐私。