Il test degli invarianti è un metodo per verificare che le regole critiche rimangano vere attraverso molti input, stati e casi limite. Un invariante è una proprietà che non dovrebbe mai rompersi, come "i saldi totali devono sempre coincidere", "solo i ruoli approvati possono modificare un'impostazione" oppure "un bridge non deve mai coniare più valore di quanto abbia bloccato".
Nella sicurezza informatica, il test degli invarianti aiuta a individuare bug logici prima che lo facciano gli aggressori. È particolarmente utile per smart contract, sistemi di autenticazione e altro codice che gestisce fiducia o denaro, perché piccoli errori di stato possono trasformarsi in perdite gravi. I team di sicurezza lo usano nel fuzzing, nei test basati su proprietà e nei controlli formali per esplorare sequenze insolite di azioni e confermare che il sistema continui a rispettare le sue regole. Nei contratti bridge e nei circuiti di pagamento, il test degli invarianti può rivelare contabilità errata, aggiornamenti non sicuri o falle nei permessi che altrimenti potrebbero consentire drenaggi o trasferimenti non autorizzati.