Protocol Invariants
Protocol invariants are the core mathematical or logical rules that must remain true for a system to remain secure and solvent. For example, a stablecoin protocol might have an invariant that ensures the total value of collateral always exceeds the total value of minted tokens.
If an attacker can force a state where an invariant is violated, the protocol is likely compromised. Developers define these invariants to ensure the system operates within safe boundaries, regardless of user behavior or market conditions.
Monitoring these invariants is a key part of both security auditing and runtime protection. When an invariant is broken, it often signals an exploit or a catastrophic failure that requires immediate intervention.
They are the bedrock of reliable economic design in smart contracts.