Aleo 是一个专注于隐私保护的区块链项目，通过零知识证明技术（ZKP）实现更高的隐私和可扩展性。Aleo 的核心理念是让用户能够在不泄露个人数据的前提下进行身份验证和数据处理。
本文主要介绍了Aleo的项目概要及最新进展，对市场十分关心的puzzle算法更新做了详细解读。
最新算法抢先看
Aleo 网络每小时随机生成一个ZK电路；矿工在这一小时内需要尝试不同的nonce作为电路的输入，计算出witness（即电路中的所有变量，这个计算过程也叫synthesize），对witness求Merkle root后，判断是否满足挖矿难度要求。由于电路的随机性，这个挖矿算法对GPU并不友好，存在很大的计算加速难度。
融资背景
Aleo 于2021年完成了由a16z领投的2800万美元的A轮融资，并在2024年完成了2亿美元的B轮融资，投资方包括Kora Management、SoftBank Vision Fund 2、Tiger Global、Sea Capital、Slow Ventures和Samsung Next等。这轮融资使Aleo的估值达到了14.5亿美元。
项目概要
隐私性
Aleo 的核心是零知识证明（ZKPs）技术，这使得交易和智能合约的执行可以在保持隐私的前提下进行。用户的交易细节，默认情况下是隐藏的。其主要组件包括Leo编译语言、snarkVM和snarkOS、zkCloud等。Aleo还提供了集成开发环境