Skip to main content

verify

datumesh_core

Function verify 

Source 
pub fn verify(
    receipt: &[u8],
    keys: &Keys,
    resolver: Option<&dyn Resolver>,
    blob: Option<&[u8]>,
) -> VerifyResult
Expand description

Verifies a receipt (10.1). Never touches the network and never panics.

  • receipt: the receipt’s JSON text.
  • keys: the keys resolved for signer hosts (absent hosts are E_KEY_UNAVAILABLE).
  • resolver: when given, steps 7.1-7.6 run, asking it only for what they reach (see Resolver); success is level recomputed, and an evaluation the resolver cannot do is E_EVAL_UNAVAILABLE at level signed (see VerifyResult).
  • blob: content for step 7.7 (the value must be a blob); success sets blob_checked.