Hash SNARKs now get a speedrun, with Flock tuning lincheck/zerocheck for batched Boolean circuits like SHA-256 and Keccak.
1 comment
Does batching the Boolean circuits like SHA-256 and Keccak make the proofs much bigger, or is the main win just prvoer time?