Safety Violation

A safety violation occurs when a blockchain network reaches a state that contradicts its core rules, such as confirming a transaction that should have been rejected or allowing double-spending. This is the most severe type of failure, as it directly undermines the trust and economic value of the network.

Safety violations are typically the result of consensus failures or successful attacks on the validator set. Because safety is prioritized in most high-value protocols, slashing mechanisms are designed to be most punitive toward actions that lead to safety violations.

Preventing these events is the primary goal of rigorous protocol testing and formal verification of smart contracts.