April 24, 2025

Why we should quote eat-and-run verification