Verification is a crucial component of secure cross-chain messaging.

It's modular and programmable so that any chain can verify in any way that's natural for them.