JAR: JAM Axiomatic Reference

5.6. Contexts🔗

Signing contexts ensure domain separation between different protocol operations.

🔗def
Jar.Crypto.ctxEntropy : ByteArray
Jar.Crypto.ctxEntropy : ByteArray

X_E : On-chain entropy generation. GP eq (6.27).

🔗def
Jar.Crypto.ctxTicketSeal : ByteArray
Jar.Crypto.ctxTicketSeal : ByteArray

X_T : Ticket generation and regular block seal. GP eq (6.24).

🔗def
Jar.Crypto.ctxFallbackSeal : ByteArray
Jar.Crypto.ctxFallbackSeal : ByteArray

X_F : Fallback block seal. GP eq (6.25).

🔗def
Jar.Crypto.ctxGuarantee : ByteArray
Jar.Crypto.ctxGuarantee : ByteArray

X_G : Guarantee statements. GP eq (11.31).

🔗def
Jar.Crypto.ctxAvailable : ByteArray
Jar.Crypto.ctxAvailable : ByteArray

X_A : Availability assurances. GP eq (11.12).

🔗def
Jar.Crypto.ctxAnnounce : ByteArray
Jar.Crypto.ctxAnnounce : ByteArray

X_N : Audit announcement statements. GP eq (17.7).

🔗def
Jar.Crypto.ctxAudit : ByteArray
Jar.Crypto.ctxAudit : ByteArray

X_U : Audit selection entropy. GP eq (17.3).

🔗def
Jar.Crypto.ctxValid : ByteArray
Jar.Crypto.ctxValid : ByteArray

X_V : Judgments for valid work-reports. GP eq (10.5).

🔗def
Jar.Crypto.ctxInvalid : ByteArray
Jar.Crypto.ctxInvalid : ByteArray

X_I : Judgments for invalid work-reports. GP eq (10.5).

🔗def
Jar.Crypto.ctxBeefy : ByteArray
Jar.Crypto.ctxBeefy : ByteArray

X_B : Accumulate-result-root MMR commitment. GP eq (19.1).