Flock: Fast Proving for Batch Boolean Computations

Benedikt Bünz, Ron D. Rothblum, William Wang

For many applications of SNARKs, a key bottleneck is proving large batches of standard cryptographic hash evaluations, such as SHA-256, Keccak, or BLAKE3. We introduce Flock, a has…