本文档描述了基于哈希的签名聚合的不同方法，包括使用zkVM（如succinctlabs/sp1和openvm-org/openvm）以及直接使用电路（plonky3）。重点介绍了每种方法的源代码位置，以及电路方法的AIR traces的划分和作用。通过将电路分解为多个AIR traces，并使用lookup连接输入/输出，有效地处理非均匀计算，并提供了基准测试结果用于评估性能。
本文对多种零知识证明（ZKP）框架在哈希函数上的性能进行了基准测试，包括plonky3、stwo、binius、hashcaster和expander。文章详细比较了它们在不同哈希算法（如Blake3、Keccak、Poseidon2等）上的吞吐量、证明大小和内存占用情况，并讨论了优化方向以及各个框架的优缺点。
