These are currently 2^13, but they should be 2^16, since we encode their length in two bytes
Edit: Oops, duh, this is correct.
We could remove this constraint since these are currently passed as inputs to hash functions, but then we would need to define the limits of these hash functions, which we should probably do anyway.
chris-wood
commented
2 years ago
These are currently 2^13, but they should be 2^16, since we encode their length in two bytesEdit: Oops, duh, this is correct.We could remove this constraint since these are currently passed as inputs to hash functions, but then we would need to define the limits of these hash functions, which we should probably do anyway.