Come garantire la sicurezza dei Contratti Intelligenti test unitari test di fuzzing test di fork test di invarianza verifica formale analisi statica testing di mutazione analisi statica audit solista audit interno audit da parte di una società di Tier-B concorsi audit da parte di una società di Tier-A audit AI