$begingroup$ @OrangeDog I might say no. My position all alongside has been that a hash operate must map to a set-dimensions output, even so the input sizing is irrelevant. We have gotten really much off-topic. Your respond to has good stuff in it, just be careful with your formal definition ;-) $end