The Most Dangerous Assumption in Cryptography Just Got Exposed
Anthropic’s practical key-recovery on HAWK-256 exposes the dangerous gap between cryptographic proofs and real-world implementation. The math is secure; the code is not. This is a wake-up call for every engineer who assumed ‘provably secure’ meant ‘unbreakable.’