pub fn verify_checkpoint_statement( statement: &Web3CheckpointStatement, ) -> Result<(), Web3ContractError>