Function risc0_zkvm::receipt::verify_with_hal

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