efficient and practical cryptohashing in haskell