When considering smart contracts and the blockchain it's good:
To store almost all data in the Ethereum Blockchain:
EVM assembly:
When using assert to check invariants and it evaluates to false:
Consensus is reached: