ZK-SNARK

zk-SNARK 挖矿算法是 Aleo (ALEO) 网络用于保护区块和奖励矿工的核心证明机制。与传统的基于哈希的工作量证明 (PoW) 算法（例如 SHA-256）不同，Aleo 中的 zk-SNARK 要求矿工构建简洁的零知识证明，以证明其能够正确计算密码学难题，同时又不泄露底层交易细节，从而在单一机制中同时实现隐私保护和工作量证明。
aleo.org
+1

Aleo 是一个以隐私为中心的 Layer-1 区块链，旨在支持可扩展的去中心化应用，并利用零知识证明提供内置隐私保护。该网络采用名为 AleoBFT 的混合共识机制（结合了 PoS 最终性和 PoW“证明生成”），矿工竞相生成满足网络简洁工作量证明要求的 zk-SNARK 证明，成功的证明生成者将获得 ALEO 代币奖励。
f2pool.zendesk.com

在实际挖矿环境中，Aleo 的 zk-SNARK 挖矿需要使用能够处理高计算负载的专用硬件。针对 zk-SNARK 算法优化的 ASIC 矿机——例如 IceRiver AE3、AE1 Lite 和 Goldshell AE Max II——为该协议提供专用的哈希率，并在整个挖矿生态系统中占据主导地位。
现在挖矿
除了 ASIC 矿机外，在某些情况下还会使用高端 GPU（例如 NVIDIA CUDA 设备）来加速证明计算，这反映了 zk-SNARK 证明工作的独特混合性质。
antpoolsupport-hc.zendesk.com

由于 zk-SNARK 挖矿结合了证明生成和隐私保护，矿工不仅需要关注原始吞吐量，还需要关注长时间运行下的稳定计算效率和热稳定性。针对连续 zk-SNARK 证明生成优化的硬件通常优于那些仅在短时爆发性能方面表现优异的设备，因此持续的运行稳定性是长期 Aleo 挖矿设置的关键因素。BT-MINERS 团队维护这份 zk-SNARK 概述，旨在帮助矿工了解该算法挖矿的币种（“ALEO”）、它与传统 PoW 的区别以及它在实践中更适合哪些硬件，从而帮助他们做出明智的 Aleo 挖矿决策。