additionalData method
Appends additional data to the transcript for the Merlin cryptographic protocol.
Parameters:
label: A list of integers representing the label for the additional data.message: A list of integers representing the actual additional data message.
Implementation
void additionalData(List<int> label, List<int> message) {
final size = List.filled(4, 0);
BinaryOps.writeUint32LE(message.length, size);
final List<int> labelSize = [...label, ...size];
strobe.additionalData(true, labelSize);
strobe.additionalData(false, message);
}