Leftover hash lemma