July 15, 2024

Why we should quote eat-and-run verification