Nir Bitansky, Ran Canetti, Alessandro Chiesa, Eran Tromer: From Extractable Collision Resistance to Succinct Non-Interactive Arguments of Knowledge, and Back Again. IACR Cryptol. ePrint Arch. 2011: 443 (2011)