Revision, fuzzing och formell verifiering är nyckeln till att säkert skala @ethereum. Här lyfter @diego_aligned fram det viktiga arbetet från @ethereumfndn med att utveckla robusta verktyg, samt innovativa metoder som multi-proving och koppling av olika VM:er för att minimera risker.