Excited to announce Flock! A new SNARK for efficiently proving batched Boolean computations, in collaboration with
@benediktbuenz and
@kleptographic .
The key use case for Flock is proving standard hash function such as SHA-256, Keccak and BLAKE3. For example, on an m4 max MacBook Pro it proves over 660k BLAKE3 compressions per second.