Full nodes are responsible for creating and propagating fraud proofs.

To be able to produce fraud proofs, we need to have SMT state commitments in cosmos-sdk (as described in ADR-040), and execution trace added to blocks.