This is the implementation of the previous spec change describing proofs as being a sequence of octet strings, rather than a single octet string.
This change is meant to simplify parsing logic and to reduce the need to unpack dynamically sized buffers, especially in implementations using languages without protections from out-of-bound conditions.
For BBS, I corrected examples to use a single-value array for the proof value.
For Single Use, it was mostly a straight translation
For MAC, I attempted to do a bit more of a cleanup.:
A new section was created describing a Combined MAC Representation, which synthesized by various operations to create or verify the issuer signature
Sections received a bit more work to unify around this concept
The section on verification was heavily reworked, as it described a process well beyond MAC validation.
This is the implementation of the previous spec change describing proofs as being a sequence of octet strings, rather than a single octet string.
This change is meant to simplify parsing logic and to reduce the need to unpack dynamically sized buffers, especially in implementations using languages without protections from out-of-bound conditions.