pub fn security_term(
air: &LogUpAir,
shape: &InstanceShape,
grinding: &GrindingSites,
) -> Option<SecurityTerm>Expand description
The LogUp fingerprint term for use in extras, or None when the AIR has
no interactions (no lookup argument, hence no term).
grinding.lookup_challenge is the grind sited immediately before
(alpha, beta) are sampled; it boosts this term and nothing else.