15.7. Authorization Pool🔗

def

Jar.updateAuthPool [Jar.JarVariant] (alpha phi' : Array (Array Hash))
  (h : Jar.Header) (guarantees : Jar.GuaranteesExtrinsic) :
  Array (Array Hash)
Jar.updateAuthPool [Jar.JarVariant]
  (alpha phi' : Array (Array Hash))
  (h : Jar.Header)
  (guarantees : Jar.GuaranteesExtrinsic) :
  Array (Array Hash)

α' : Updated authorization pool. GP eq (26–27). Remove used authorizer, add from queue at current slot, truncate to O.