“Adi Shamir” (timelock crypto; backlinks)