From Extractable Collision Resistance to Succinct Non-Interactive Arguments of Knowledge, and Back Again