Skip to main content

check_non_interference

logicaffeine_verify::security

Function check_non_interference 

Source 
pub fn check_non_interference(
    transition: &VerifyExpr,
    signals: &[TaintedSignal],
) -> SecurityResult
Expand description

Check non-interference: public outputs independent of secret inputs.