Index Digests by their lengths #3
Description
Currently the record uses a generic Int and a List Bits8 for storing hashes.
They really should be Vect n Bits8 and the length should be the same n. Maybe the length field could even be removed.
{{ message }}