Re:And some examples (Score 1)

I seem to remember there's safeguards for this sort of validation isn't there? Isn't the point essentially logical circuits the state of which we can't know without some intermediate secured step? I.e. averaging a value could be expressed as a mapreduce with a basic construction such as sum+={X > min && X max} && age? It's not some minor in/decrement operations and boolean arithmetic right? Even if limited to minor basic operations it's up to developers to build larger abstractions from primary operations. I remember a paper about reasoning with integers using FHE I'm sure some smart folks out there will be able to build interesting applications using FHE to enable at least some minor additional privacy in something like health insurance.