Macro hopper_verify_pda 

macro_rules! hopper_verify_pda {
    ($account:expr, $seeds:expr, $program_id:expr, $layout:ty) => { ... };
}

PDA verification with BUMP_OFFSET optimization.

If the layout has a bump field, reads bump from account data and uses create_program_address (~200 CU). Otherwise falls back to find_program_address (~544 CU).

hopper_verify_pda!(vault_account, &[b"vault", authority.as_ref()], program_id, Vault)?;