Function risc0_zkvm::receipt::verify_with_hal

pub fn verify_with_hal<'a, H, D>(
    hal: &H,
    image_id: D,
    seal: &[u32],
    journal: &[u8]
) -> Result<()>where
    H: VerifyHal<Elem = BabyBearElem>,
    H::Hash: ControlIdLocator,
    &'a Digest: From<D>,