The idea is to try to deserialize test proof scalars of INVALID lengths, either they are null values, or they are bigger than the field size than that of Fr[Banderwagon]. Let's say we have a 32 length byte array, now this can store upto a 256 bit value, however the field size restricts us to store only upto 253 bit values. In that case deserializing the scalar MUST FAIL. Test vectors are found here
The idea is to try to deserialize test proof scalars of INVALID lengths, either they are null values, or they are bigger than the field size than that of
Fr[Banderwagon]. Let's say we have a 32 length byte array, now this can store upto a 256 bit value, however the field size restricts us to store only upto 253 bit values. In that case deserializing the scalar MUST FAIL. Test vectors are found here