Anthropic Opus 4.8 found a Halo2 soundness bug that survived four years of expert cryptographic review. An elliptic-curve ...