Smart Contract Invariant Violation

A smart contract invariant violation occurs when a programmed condition that is supposed to remain true throughout the lifecycle of a contract is breached. Invariants are the fundamental logical rules defined by developers, such as ensuring that the total supply of a token remains constant or that collateral ratios never drop below a certain threshold.

If a function call or external interaction causes the contract state to move into a configuration that violates these rules, the system is considered compromised. This often happens due to reentrancy attacks, arithmetic overflows, or improper access control.

Once an invariant is violated, the contract may become stuck, or assets within it may be drained by malicious actors. Modern protocols use formal verification to mathematically prove that these invariants cannot be broken under any circumstances.

Monitoring for these violations is a critical part of smart contract security and risk management. It represents a failure of the code to enforce the intended economic design.