The protocol can integrate fraud proofs where applicable

https://files.fm/u/3kf4wkdv98

The protocol can integrate fraud proofs where applicable, letting honest actors challenge invalid cross-chain claims on-chain.