Răspunsul la aceasta este „da în teorie, probabil nu în practică”.
A Criptare complet homomorfă Schema (FHE) este o schemă de criptare tradițională cu un algoritm suplimentar de „evaluare”.
Aceasta înseamnă că, având în vedere un text cifrat $\mathsf{Enc}_{pk}(m)$, puteți (pentru orice circuit $C$) calculează:
$$\mathsf{Eval}_{pk}(C,\mathsf{Enc}_{pk}(m))$$
pentru a obține o criptare a $C(m)$. Rețineți că $\mathsf{Evaluare}$ este o calculabil public funcția, dar operați date criptate tot timpul, de ex. această noțiune pare să fie (mai exact) ceea ce îți dorești.
Problema cu FHE este în principal de eficiență. Programele evaluate cu FHE sunt în general reprezentate ca circuite (mai degrabă decât mașini de turnare arbitrare).
Aceasta înseamnă că fluxul de control al programului este fix, deci pentru o declarație if trebuie să evaluați ambele ramuri ale calculului.
Pentru anumite constructe standard (să zicem HashMaps), această limitare înseamnă că nu cred că cineva știe cu adevărat cum să le implementeze cu FHE (fără a lua un masiv lovitura de eficienta). În funcție de programul precis pe care doriți să îl evaluați, acest lucru poate fi prohibitiv.
Există cu siguranță aplicații în care FHE este fezabil în prezent (mai ales în calcularea statisticilor datelor criptate), dar pentru a evalua fezabilitatea a ceea ce doriți, ar trebui să cunoaștem o descriere mai bună a exact ceea ce doriți să faceți și pentru calcularea de uz general. răspunsul tinde să fie „este imposibil” în prezent.
