Function ensure_empty_withdrawals_root 

pub fn ensure_empty_withdrawals_root<H>(
    header: &H,
) -> Result<(), ConsensusError>
where
    H: BlockHeader,

Verifies that withdrawals root in block header (Shanghai) is always [EMPTY_ROOT_HASH] in Canyon.