June 7, 2023

Why we should quote eat-and-run verification