“verification theatre” - https://eprint.iacr.org/2026/192