September 25, 2022

Why we should quote eat-and-run verification