Did you know that the forking lemma is a lemma in cryptography first used to prove the security of a digital signature scheme in the random oracle model?