書いている

元の論文を読まなくてもある程度理解できるように書くのは難しいものだな。暗号の安全性の証明の方は、一度補題を挟んでから証明するので、そのまま引用すればよい。けれども、ハッシュの強衝突耐性の方は証明に組み込まれているので、そこを解きほぐして大雑把にでも良いから証明しないといけない訳だ。