目前零知识证明（ZKP）应用的主要2个方向：隐私和可验证计算，Aleo是隐私L1公链，同时兼具可编程性，像ZCash等虽然也是隐私公链，但是不具备可编程性。以太坊L2上的ZK-Rollup项目，属于可验证计算，我们之前的文章也分析过：重磅分析！为什么说FPGA或者ZK通用服务器在Aleo项目上机会是零？，在证明的需求量上完全不是一个级别。
项目简介Aleo 是个使用零知识证明解决隐私问题，同时保证可编程特性的公链。具体而言，Aleo通过零知识证明保护用户隐私，包括隐藏参与者、金额、智能合约等交互细节，同时让用户有选择权（Aleo提供了可选择退出隐私模式，确保终的控制权属于用户，并可以自行选择他们所希望公开或隐藏的信息）；通过使用零知识密码学，还将智能合约执行转移到链下，支持各种Dapp，保证其可拓展性（每秒数千笔交易）。
特色和优势Aleo和其它公链的不同且独特之处在于对隐私的保护和链上可扩展性。当前区块链搭载的智能合约有两个很大的限制：它们在设计上是完全公开、透明的，因此不允许隐私的存在；它们不能扩展到数百万、更不用说数十亿的用户，意味着无法支持亿万用户级别的线上实时游戏或活动。针对上述现象，Aleo网络基于零知识证明密码学，解决当前公链既保护隐私又支持处理海量数据（可扩展性）的难题。既解决当前互联网数据泄露的困境，又完善当前区块链数据信息公开透明的缺点，同时还实现和当前互联网平台相媲美的海量数据实时处理及丰富的可扩展性，这是Aleo项目为市场关注的特别之处。下图能够更直观、清晰地了解Aleo网络的特色：
零知识证明密码学的一些用例包括：
区块链和加密货币：Zcash 等区块链技术使用 ZKP 来保护交易隐私。一个人可以证明他们拥有足够的加密货币来进行交易，而无需透露其资金的确切金额。这在保证交易完整性的同时维护了隐私。