April 24, 2024

Why we should quote eat-and-run verification