Invariant

Relazione matematica che deve restare valida mentre un sistema cambia stato, così ogni aggiornamento rispetta una regola verificabile.

In un protocollo automatico, un invariant è la condizione che deve restare vera durante scambi o aggiornamenti. Nel caso x*y=k, il prodotto delle riserve resta costante; in modelli più complessi entrano pesi, amplificazione o curve diverse. La regola rende calcolabili prezzi, quantità ricevute e limiti dell'operazione. Se l'invariant è progettato male o viene aggirato, il sistema può produrre prezzi distorti, perdite o comportamenti inattesi.