Как доказать равномерность хэш-функции?
Если достаточно нестрогого доказательства, то методом Монте-Карло. Генерируете случайные блоки, считаете хэш, смотрите его распределение.
Если нужно строгое доказательство - либо полный перебор, либо аналитически.
Проведите над массивами значений, полученных после хеширования случайных наборов входных данных, тесты на случайность (DieHard, FIPS 140-1 и аналогичные)