Type alias SerializedTicket

SerializedTicket: [bigint, bigint, bigint, bigint, bigint, bigint, bigint, bigint, bigint, bigint, bigint, bigint]

A serialized ticket is a list of big integers, where each one is a field in ITicketData. It needs to be a list of big integers so that it can be passed into EdDSAPCD to be signed.