$begingroup$ @OrangeDog I would say no. My level all along has been that a hash functionality should map to a hard and fast-size output, even so the input dimension is irrelevant. We have gotten very significantly off-topic. Your solution has good stuff in it, just be careful with your formal defini