An Optimint full node must compare the ISRs it generates when verifying state transitons (see celestiaorg/cosmos-sdk#127) with those it receives from the block producer.
In the event that there is a mismatch the node should generate a fraud proof.
Depends on:
An Optimint full node must compare the ISRs it generates when verifying state transitons (see celestiaorg/cosmos-sdk#127) with those it receives from the block producer.
In the event that there is a mismatch the node should generate a fraud proof.
Depends on: