Skip to main content

digest_formula

logicaffeine_verify::certificate

Function digest_formula 

Source 
pub fn digest_formula(expr: &VerifyExpr) -> u64
Expand description

Compute a deterministic digest of a VerifyExpr for tamper detection.