A : Audit tranche period in seconds. GP: 𝖠 = 8.
3.2. Auditing
def
Jar.A_TRANCHE : NatJar.A_TRANCHE : Nat
def
Jar.F_BIAS : NatJar.F_BIAS : Nat
F : Audit bias factor. GP: 𝖥 = 2.