May 18, 2022

Why we should quote eat-and-run verification