_fraud-proof

The means by which an Active Validator proves to its underlying chain that an invalid state transition has taken place.