JAR: Join-Accumulate Refine

4.1. Consensus and Validators🔗

🔗def
Jar.V [j : Jar.JarConfig] : Nat
Jar.V [j : Jar.JarConfig] : Nat

V via JarConfig.

🔗def
Jar.C [j : Jar.JarConfig] : Nat
Jar.C [j : Jar.JarConfig] : Nat

C via JarConfig.

🔗def
Jar.E [j : Jar.JarConfig] : Nat
Jar.E [j : Jar.JarConfig] : Nat

E via JarConfig.

🔗def
Jar.P : Nat
Jar.P : Nat

P : Slot period in seconds. GP: 𝖯 = 6.

🔗def
Jar.H_RECENT [j : Jar.JarConfig] : Nat
Jar.H_RECENT [j : Jar.JarConfig] : Nat

H_RECENT via JarConfig.

🔗def
Jar.N_TICKETS [j : Jar.JarConfig] : Nat
Jar.N_TICKETS [j : Jar.JarConfig] : Nat

N_TICKETS via JarConfig.

🔗def
Jar.Y_TAIL [j : Jar.JarConfig] : Nat
Jar.Y_TAIL [j : Jar.JarConfig] : Nat

Y_TAIL via JarConfig.

🔗def
Jar.R_ROTATION [j : Jar.JarConfig] : Nat
Jar.R_ROTATION [j : Jar.JarConfig] : Nat

R_ROTATION via JarConfig.