Cred că există o confuzie cu terminologia „calcul securizat din partajarea secretă”. Lasă-mă să încerc să clarific.
Există două setări majore pentru calculul sigur: setarea majorității sincere (din $n$ petreceri, cel mult $(n-1)/2$ sunt necinstiți) și setarea majorității necinstite (până la $n-1$ petrecerile pot fi necinstite). Cele două setări au o diferență foarte importantă: prima poate fi realizată fără a face nicio presupunere de calcul, deoarece poate fi sigură chiar și împotriva părților necinstite cu putere de calcul nelimitată. Pe de altă parte, cel de-al doilea „își plătește” rezistența mai puternică la corupție, solicitând în mod necesar ipoteze de calcul (un protocol MPC majoritar necinstit nu poate fi asigurat împotriva părților nelimitate din punct de vedere computațional).
Aici, vorbiți despre comparație securizată și citați lucrarea mea, așa că presupun că vorbiți despre calcul securizat în două părți. Desigur, calculul în două părți se încadrează în a doua categorie: nu poți avea o majoritate cinstită între doi jucători (cu excepția cazului în care toată lumea este sinceră, caz în care nu este nimic de protejat). Asta înseamnă că tu trebuie sa utilizați ipoteza de calcul.
Partajarea secretă este nu o presupunere de calcul. Partajarea secretelor există necondiționat: partajarea secretelor Shamir, de exemplu, este doar interpolare polinomială. Prin urmare, este dovedit imposibil pentru a construi un protocol securizat de calcul cu două părți pentru comparare folosind doar partajarea secretă. Toate protocoalele trebuie sa bazați-vă pe o ipoteză de calcul, care poate fi criptare homomorfă, transfer neglijent sau altceva.
Cred că sursa confuziei provine probabil din terminologia comună în MPC: mulți oameni folosesc terminologia „MPC bazat pe partajare secretă”, chiar și în cadrul majorității necinstite. Dar această terminologie înseamnă pur și simplu că tehnicile de partajare secretă sunt folosit în protocol, de obicei într-un mod similar cu protocolul GMW. Cu toate acestea, nu înseamnă că protocolul folosește doar partajarea secretă - deoarece acest lucru este imposibil. De obicei, atunci când spunem „MPC bazat pe partajare secretă”, ne referim la un protocol MPC care utilizează de fapt tehnici de partajare secretă și transfer neglijent.
Deci, „metodele bazate pe partajarea secretelor” pentru comparație sigură sunt, exact ca lucrarea mea, metode care folosesc transferul neglijent ca ipoteză de calcul. Dacă vă uitați la lucrarea mea din secțiunea 1.5, am comparat și protocolul meu cu „2PC generic aplicat la [GSV07]”. Aici, „2PC generic” se referă la 2PC standard în stil GMW, care este exact ceea ce este adesea numit „MPC bazat pe partajare secretă”. Un protocol în stil GMW necesită o reprezentare în circuit boolean a funcției țintă; de aceea am spus „aplicat la [GSV07]”, care oferă tocmai un astfel de circuit. Prin urmare, îmi compar munca cu ceea ce se numește adesea „partajare secretă MPC” - dar pur și simplu nu am folosit terminologia care pare a fi sursa confuziei tale.
