本文分析了Aleo的证明者历史及其最新的ARC-0043提案，并将Aleo基于Varuna的AVM与其他ZKVM进行了比较。Aleo有望成为一个拥有丰富、高性能和去中心化ZKP证明者的平台，通过利用工作量证明（POW）生成SNARK证明，并结合AVM证明器实现隐私保护和计算扩展。
