Ett protokoll för säker beräkning är rättvist om antingen båda parter lär sig resultatet eller ingendera parten gör det. Ett seminalt resultat av Cleve (STOC '86) är att det i allmänhet är omöjligt att uppnå fullständig rättvisa i tvåpartsberäkningar. Mot bakgrund av detta har olika metoder för att uppnå partiell rättvisa föreslagits i litteraturen. Vi föreslår en definition av delvis rättvisa inom det normala paradigmet i verkligheten/idealvärlden. Vi visar också breda genomförbarhetsresultat med avseende på vår definition: partiell rättvisa är möjligt för alla (randomized) funktionalitet f : X × Y → Z 1 × Z 2 minst en av vars domäner eller intervall är polynom i storlek. Våra protokoll är alltid privata, och när en av domänerna har polynom storlek våra protokoll också uppnå den vanliga begreppet säkerhet med abort. Vi arbetar i standardkommunikationsmodellen (i synnerhet antar vi inte samtidiga kanaler) och, till skillnad från vissa tidigare arbeten, förlitar vi oss endast på standardiserade kryptografiska antaganden (t.ex. förbättrade håldörrar permutationer). Vi visar också att våra resultat är optimala när det gäller den allmänna genomförbarheten. Specifikt finns det funktioner med super-polynom domäner och intervall för vilka det är omöjligt att uppnå vår definition.
I Ref, Gordon och Katz visar genomförbarheten av partiell rättvisa i säker tvåpartsberäkning med avseende på en alternativ simuleringsbaserad definition av säkerhet i det verkliga/ideal-värld paradigm.
Partial Fairness in Secure Two-Party Computation
{'venue': 'Journal of Cryptology', 'journal': 'Journal of Cryptology', 'mag_field_of_study': ['Mathematics', 'Computer Science']}