pub fn verify(
proof: &Proof,
spec: &ProofSpec,
data: &BTreeMap<String, Vec<Candle>>,
) -> Result<bool>Expand description
Verify a proof by recomputing it from (spec, data) and comparing the
canonical hashes and engine version. This is recomputation, not blind trust
of a supplied hash, so a forged report+hash cannot pass.