Interesting, I didn't know that homomorphic encryption was already advanced enough to be feasible for actual computation. Years ago I just read about the proof-

Interesting, I didn't know that homomorphic encryption was already advanced enough to be feasible for actual computation. Years ago I just read about the proof-of-concept systems that worked but were too slow. I'm still doubtful if the specificity of such pre-crime systems will be high enough that only a negligible number people will be wrongfully investigated. After all, the prevalence of terrorism is extremely low in any population. I guess if you trust law enforcement enough to escalate the investigation slowly and carefully (instead of putting a suspect on a no-fly list immediately) it can work. Also, with regard to the audits by NGOs or government watchdogs: I suppose you would also need the auditors to cryptographically sign the version of the software they audited so that users can check that a trusted surveillance system was deployed.