An opinion piece arguing LLMs still aren't finding real breaks in AES/SHA-3, just the usual differential-cryptanalysis grind.

Hash SNARKs now get a speedrun, with Flock tuning lincheck/zerocheck for batched Boolean circuits like SHA-256 and Keccak.