paulfchristiano comments on Homomorphic encryption and Bitcoin