The SyncKeyGen tests currently don't include invalid messages. We should add tests with an adversary that sends incorrect messages, and cover different cases, e.g. with invalid Parts, partly invalid Parts, invalid or partly invalid Acks, Acks that don't match the Parts, etc.
The
SyncKeyGentests currently don't include invalid messages. We should add tests with an adversary that sends incorrect messages, and cover different cases, e.g. with invalidParts, partly invalidParts, invalid or partly invalidAcks,Acks that don't match theParts, etc.