Function bridge_runtime_common::messages::target::verify_messages_proof

pub fn verify_messages_proof<B: MessageBridge>(
    proof: FromBridgedChainMessagesProof<HashOf<BridgedChain<B>>>,
    messages_count: u32
) -> Result<ProvedMessages<Message>, VerificationError>

Verify proof of Bridged -> This chain messages.

This function is used when Bridged chain is directly using GRANDPA finality. For Bridged parachains, please use the verify_messages_proof_from_parachain.

The messages_count argument verification (sane limits) is supposed to be made outside of this function. This function only verifies that the proof declares exactly messages_count messages.