6.2. Ticket Accumulation🔗

def

Jar.Consensus.verifyTicketProof [Jar.JamConfig]
  (ringRoot : BandersnatchRingRoot) (entropy2 : Hash)
  (tp : Jar.TicketProof) (ringSize : UInt32) : Bool
Jar.Consensus.verifyTicketProof
  [Jar.JamConfig]
  (ringRoot : BandersnatchRingRoot)
  (entropy2 : Hash) (tp : Jar.TicketProof)
  (ringSize : UInt32) : Bool

Verify a ticket proof from the tickets extrinsic. GP eq (6.29). proof ∈ V°_r^{X_T ∥ η'_2 ∥ attempt}⟨⟩

def

Jar.Consensus.accumulateTickets [Jar.JamConfig]
  (accumulator newTickets : Array Jar.Ticket) (epochChanged : Bool) :
  Array Jar.Ticket
Jar.Consensus.accumulateTickets
  [Jar.JamConfig]
  (accumulator newTickets :
    Array Jar.Ticket)
  (epochChanged : Bool) : Array Jar.Ticket

Accumulate new tickets into the ticket accumulator. GP eq (6.32–6.35). Sorts by ticket ID and keeps only the top E entries.