This module has three roles:

• Handling disputes of included parablocks during their acceptance period
• Signaling rollback of the relay-chain to a given ancestor (by number) when a parablock is bad
• Handling "roll-ups" proving that a parablock was found invalid on another fork of the relay-chain. These are used to ensure that misbehaving validators are slashed on all viable forks.