7.5. Privileged Services🔗

Certain services have special protocol roles. In jar1, the quotaService field identifies the service authorized to call the set\_quota host call.

structure

Jar.PrivilegedServices : Type
Jar.PrivilegedServices : Type

χ : Privileged service identifiers. GP §9.4. χ = ⟨χ_M, χ_A, χ_V, χ_R, χ_Z, χ_Q⟩

Constructor

Jar.PrivilegedServices.mk

manager : ServiceId

χ_M : Manager (blessed) service. ℕ_S.

assigners : Array ServiceId

χ_A : Core assigner services. ⟦ℕ_S⟧_C.

designator : ServiceId

χ_V : Validator-set designator service. ℕ_S.

registrar : ServiceId

χ_R : Registrar service. ℕ_S.

alwaysAccumulate : Dict ServiceId Gas

χ_Z : Always-accumulate services with gas limits. ⟨ℕ_S → ℕ_G⟩.

quotaService : ServiceId

χ_Q : Quota manager service (jar1 coinless). ℕ_S.