Invariant

Relazione che deve restare valida mentre un sistema cambia stato: nei mercati automatici lega riserve, pesi e prezzi dopo ogni operazione.

Un invariant esprime la regola matematica che il protocollo preserva. Nel caso x*y=k, il prodotto delle riserve resta costante; in modelli piu' complessi entrano pesi, amplificazione o funzioni curve. L'invariant permette di calcolare prezzi e quantita' ricevute in modo deterministico, rendendo verificabile il comportamento del pool. Per l'utente conta tradurlo in impatto pratico: costi, limiti, tempi e rischi dipendono dal modo in cui il protocollo lo implementa.