E_T : Tickets extrinsic. ⟦TicketProof⟧_{:K}.
6.5. Extrinsic Types (§7–§10)
def
Jar.TicketsExtrinsic [Jar.JarConfig] : TypeJar.TicketsExtrinsic [Jar.JarConfig] : Type
def
Jar.PreimagesExtrinsic : TypeJar.PreimagesExtrinsic : Type
E_P : Preimages extrinsic. ⟦(ℕ_S, 𝔹)⟧.
def
Jar.AssurancesExtrinsic [Jar.JarConfig] : TypeJar.AssurancesExtrinsic [Jar.JarConfig] : Type
E_A : Assurances extrinsic. ⟦Assurance⟧.
def
Jar.GuaranteesExtrinsic [Jar.JarConfig] : TypeJar.GuaranteesExtrinsic [Jar.JarConfig] : Type
E_G : Guarantees extrinsic. ⟦Guarantee⟧.
structure
Jar.Judgment [Jar.JarConfig] : TypeJar.Judgment [Jar.JarConfig] : Type
A single judgment by a validator on a work-report.
Constructor
Jar.Judgment.mk
Fields
isValid : Bool
validatorIndex : Jar.ValidatorIndex
signature : Ed25519Signature
structure
Jar.Verdict [Jar.JarConfig] : TypeJar.Verdict [Jar.JarConfig] : Type
A verdict on a work-report, composed of multiple judgments.
Constructor
Jar.Verdict.mk
Fields
reportHash : Hash
age : UInt32
judgments : Array Jar.Judgment
structure
Jar.Culprit : TypeJar.Culprit : Type
Culprit: a validator who guaranteed an invalid work-report.
Constructor
Jar.Culprit.mk
Fields
reportHash : Hash
validatorKey : Ed25519PublicKey
signature : Ed25519Signature
structure
Jar.Fault : TypeJar.Fault : Type
Fault: a validator who made an incorrect judgment.
Constructor
Jar.Fault.mk
Fields
reportHash : Hash
isValid : Bool
validatorKey : Ed25519PublicKey
signature : Ed25519Signature
structure
Jar.DisputesExtrinsic [Jar.JarConfig] : TypeJar.DisputesExtrinsic [Jar.JarConfig] : Type
E_D : Disputes extrinsic. GP §10.2.
Constructor
Jar.DisputesExtrinsic.mk
Fields
verdicts : Array Jar.Verdict
culprits : Array Jar.Culprit
faults : Array Jar.Fault
structure
Jar.TicketProof [Jar.JarConfig] : TypeJar.TicketProof [Jar.JarConfig] : Type
A ticket proof submitted in the tickets extrinsic. GP eq (6.29).
Constructor
Jar.TicketProof.mk
Fields
attempt : Jar.TicketEntryIndex
Attempt index.
proof : BandersnatchRingVrfProof
Ring VRF proof. 𝔹_784.
structure
Jar.Guarantee [Jar.JarConfig] : TypeJar.Guarantee [Jar.JarConfig] : Type
A guarantee: a work report with validator credentials. GP §11.5.
Constructor
Jar.Guarantee.mk
Fields
report : Jar.WorkReport
The work report being guaranteed.
timeslot : Jar.Timeslot
Timeslot of the guarantee.
credentials : Array (Jar.ValidatorIndex × Ed25519Signature)
Validator signatures (index, signature).
structure
Jar.Assurance [Jar.JarConfig] : TypeJar.Assurance [Jar.JarConfig] : Type
An availability assurance by a validator. GP §11.3.
Constructor
Jar.Assurance.mk
Fields
anchor : Hash
Parent block hash (anchor). ℍ.
bitfield : ByteArray
Availability bitfield — one bit per core. 𝕓_C.
validatorIndex : Jar.ValidatorIndex
Validator index. ℕ_V.
signature : Ed25519Signature
Ed25519 signature.
structure
Jar.Extrinsic [Jar.JarConfig] : TypeJar.Extrinsic [Jar.JarConfig] : Type
E : Extrinsic data. GP eq (4). E ≡ (E_T, E_D, E_P, E_A, E_G)
Constructor
Jar.Extrinsic.mk
Fields
tickets : Jar.TicketsExtrinsic
E_T : Ticket submissions.
disputes : Jar.DisputesExtrinsic
E_D : Dispute information.
preimages : Jar.PreimagesExtrinsic
E_P : Preimage data.
assurances : Jar.AssurancesExtrinsic
E_A : Availability assurances.
guarantees : Jar.GuaranteesExtrinsic
E_G : Work-report guarantees.
structure
Jar.Block [Jar.JarConfig] : TypeJar.Block [Jar.JarConfig] : Type
B : Block. GP eq (3). B ≡ (H, E)
Constructor
Jar.Block.mk
Fields
header : Jar.Header
H : Block header.
extrinsic : Jar.Extrinsic
E : Extrinsic data.