Homomorphic encryption and Bitcoin — LessWrong