Verification Primitives
Defines traits and types for verifying event logs, transaction receipt proofs, and execution proofs, ensuring secure cross-chain message delivery. It provides validation mechanisms for Ethereum logs and proof structures to maintain the integrity of cross-chain communication.