Il controllo degli invarianti è il processo di verifica che lo stato di un protocollo rispetti ancora regole che non devono mai essere violate. In un registro o in una blockchain, queste regole possono includere tetti di emissione, conservazione dei saldi, requisiti di firma e limiti su come le transazioni possono modificare lo stato. Se un aggiornamento violerebbe una di queste ipotesi, il sistema dovrebbe rifiutarlo.
Questo è importante perché molti attacchi crypto ad alto impatto non riguardano il furto di chiavi, ma il far accettare al protocollo uno stato impossibile. Un difetto nel controllo degli invarianti può consentire a un attaccante di gonfiare l'emissione, creare saldi non validi o aggirare i controlli che preservano la sicurezza del consenso. I difensori usano i controlli degli invarianti nel codice di validazione, nel fuzzing e nella verifica formale per individuare i casi limite prima del rilascio. Durante la risposta agli incidenti, i team confrontano anche il comportamento on-chain con le regole del protocollo per confermare se un bug segnalato sia reale o solo un'affermazione errata.