pub fn verify_with_hal<H, D>( hal: &H, image_id: D, seal: &[u32], journal: &[u32]) -> Result<()>where H: VerifyHal, Digest: From<D>,