JAR: Join-Accumulate Refine

15.5. Validator Management (§6)🔗

🔗def
Jar.updateActiveValidators [Jar.JarVariant]
  (kappa : Array Jar.ValidatorKey) (gamma : Jar.SafroleState)
  (t t' : Jar.Timeslot) (offenders : Array Ed25519PublicKey) :
  Array Jar.ValidatorKey
Jar.updateActiveValidators
  [Jar.JarVariant]
  (kappa : Array Jar.ValidatorKey)
  (gamma : Jar.SafroleState)
  (t t' : Jar.Timeslot)
  (offenders : Array Ed25519PublicKey) :
  Array Jar.ValidatorKey

κ' : Active validator set update. GP §6. On epoch change: replace with pending set (filtered). Otherwise: unchanged.

🔗def
Jar.updatePreviousValidators [Jar.JarVariant]
  (prev kappa : Array Jar.ValidatorKey) (t t' : Jar.Timeslot) :
  Array Jar.ValidatorKey
Jar.updatePreviousValidators
  [Jar.JarVariant]
  (prev kappa : Array Jar.ValidatorKey)
  (t t' : Jar.Timeslot) :
  Array Jar.ValidatorKey

λ' : Previous validator set update. GP §6. On epoch change: take current active set. Otherwise: unchanged.