Dimostrazione formale che un [[vincolo]] non possa mai essere violato in un dato [[8 - Crittografia applicata/1 - Concetti/1 - Trovare soluzioni crittografiche/dominio]].

Solitamente, le garanzie hanno un codice di tre lettere, nel formato `ABC`.