The source reserve for deterministic seed leakage

Reveal one seed-width observation for the honest call and for every tampered call. The additional entropy reserve is exactly the bit width of this joint observation, as in Chattopadhyay--Liao, Lemma 5.3.

def Algebraic.Cutwidth.Extractor.affineLeakageSourceEntropy (n t a target : ℕ) : ℕ

The complete affine source reserve plus all t + 1 seed-width observations.

Equations

• One or more equations did not get rendered due to their size.