[quuxplusone]

Top comment on LWN is a very interesting read (although neither the commenter nor myself claim any such trickery was involved in this case).

> Trail of Bits were able to craft an input that beats Google's circuit and prove it... by virtue of a bug in the verifier: https://blog.trailofbits.com/2026/04/17/we-beat-googles-zero... Google patched the vuln and the original proof still stands, but this is a pretty strange path we seem to be walking down [...]