Article does not fully specify how tags are produced edit

Currently, tag generation by VMAC is defined as follows:

    Tag = HK1(M) + FK2(Nonce)

This appears to be incorrect, the resultant tag may be out of bounds, meaning there should be some sort of modulus. From https://datatracker.ietf.org/doc/html/draft-krovetz-vmac-01#section-4.1 it would appear that it would be simply mod 2tag length - 1. A second opinion, however, would be appreciated before an edit to make sure that this is correct. Joelabrahams (talk) 11:20, 4 August 2021 (UTC)Reply