Aleo是一种模块化Web3隐私公链，采用名为Zexe的零知识执行计算系统，通过链外计算与链上验证的结合提升区块链的可扩展性和隐私性，同时开发了专用编程语言Leo以简化去中心化隐私应用的开发。