For each block, after an Optimint full node is finished executing state transactions, it should compare the final generated state root with those it receives from the block producer.
In the event that there is a mismatch the node should generate a fraud proof through its corresponding cosmos-sdk app over ABCI.
For each block, after an Optimint full node is finished executing state transactions, it should compare the final generated state root with those it receives from the block producer.
In the event that there is a mismatch the node should generate a fraud proof through its corresponding cosmos-sdk app over ABCI.