On black holes, holography, fully homomorphic encryption, etc.
scottaaronson.blog
scottaaronson.blog
Fully homomorphic encryption certainly looks like it, all basic arithmetic operations are still present, only the representation of them is encryption key-dependent. The mechanical transformation from one representation to another could be expensive, in terms of (chosen? can we choose e.g. an atomic operation which sums an arbitrary-length list, considering it O(1)?) operations. Does it look like our interest in transforming representations depends on chosen operations basis? Isn't what we're doing (when saying something is e.g. polynomially hard) proving dependencies between possible operations bases with non-self conflicting definitions?