Proposed STREAM Receipt ASN.1 OER

stream.asn

StreamReceipt ::= SEQUENCE {
  streamId VarUInt,
  receipt Receipt
}

RECEIPT ::= CLASS {
    &typeId UInt8 UNIQUE,
    &Type
} WITH SYNTAX {&typeId &Type}

ReceiptSet RECEIPT ::= {
    {1 ReceiptV1}
}

Receipt ::= SEQUENCE {
    type RECEIPT.&typeId ({ReceiptSet}),
    -- NON-Length-prefixed data
    data RECEIPT.&Type ({ReceiptSet}{@type})
}

ReceiptV1 ::= SEQUENCE {
  nonce UInt128,
  streamId UInt8,
  totalReceived UInt64,

  -- HMAC-SHA256 using a 32 byte Secret
  -- The message is the concatenation of the 1 byte type/version (always 1) and all other fields,
  -- in the order listed above
  hmac UInt256
}