Comment by ThreeFx

Nitpick: the reduction function is not one way, since an important property of hashes is that they are easy to compute.