01▲Flock: Fast Proving for Batch Boolean Computations arxiv.org Hash SNARKs now get a speedrun, with Flock tuning lincheck/zerocheck for batched Boolean circuits like SHA-256 and Keccak.arxivblake3boolean-computationhashkeccakmerklesha-256snarkzk0 pts/ovoss/14 days ago/1 comment