Rather than a variable size Block from the Basement package, is it feasible to have each HashAlgorithm define it's own fixed size Digest type? For example Sha256 goes to a "Digest Word256", where Word256 is from Basement? It would be nice having typed size guarantees for working with the results.
Rather than a variable size Block from the Basement package, is it feasible to have each HashAlgorithm define it's own fixed size Digest type? For example Sha256 goes to a "Digest Word256", where Word256 is from Basement? It would be nice having typed size guarantees for working with the results.