> Was it ever proved that he did?

No, which is why in the judgment every reference to a supposed attempt of "cracking a hash" is preceded by "alleged".