# Messages

In this section we describe the processing of the crisis messages and the corresponding updates to the state.

# MsgVerifyInvariant

Blockchain invariants can be checked using the MsgVerifyInvariant message.

Copy // MsgVerifyInvariant represents a message to verify a particular invariance. message MsgVerifyInvariant { option (gogoproto.equal) = false; option (gogoproto.goproto_getters) = false; string sender = 1; string invariant_module_name = 2 [(gogoproto.moretags) = "yaml:\"invariant_module_name\""]; string invariant_route = 3 [(gogoproto.moretags) = "yaml:\"invariant_route\""]; }

This message is expected to fail if:

  • the sender does not have enough coins for the constant fee
  • the invariant route is not registered

This message checks the invariant provided, and if the invariant is broken it panics, halting the blockchain. If the invariant is broken, the constant fee is never deducted as the transaction is never committed to a block (equivalent to being refunded). However, if the invariant is not broken, the constant fee will not be refunded.