Audit, fuzzing a formální ověřování jsou klíčové pro bezpečné škálování @ethereum. Zde @diego_aligned zdůrazňuje zásadní práci @ethereumfndn na vývoji robustních nástrojů, plus inovativní přístupy, jako je multi-proving a různorodé VM propojení pro minimalizaci rizik.