function(UOWHF)''とは、UOWの性質を持つ[[ハッシュ関数]]のことである。permutationが存在するならば、UOWHFは存在する。functionが存在するならば、UOWHFは存在する。permutationの存在を仮定しても、CRHF(衝突困難なハッシュ関数)は構成できない。上記の定理の結果より、CRHFよりUOWHFの方が構成しやすいことがいえる。F]=\frac{1}{|Y|^2}");。