JAR: JAM Axiomatic Reference

3.1. Consensus and Validators🔗

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

V via JamConfig.

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

C via JamConfig.

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

E via JamConfig.

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

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

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

H_RECENT via JamConfig.

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

N_TICKETS via JamConfig.

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

Y_TAIL via JamConfig.

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

R_ROTATION via JamConfig.