Vi visar en effektiv säker tvåpartsprotokoll, baserat på Yaos konstruktion, som ger säkerhet mot skadliga motståndare. Yaos ursprungliga protokoll är endast säkert i närvaro av halvhederliga motståndare, och kan omvandlas till ett protokoll som uppnår säkerhet mot skadliga motståndare genom att tillämpa kompilatorn av Goldreich, Micali och Wigderson ("GMW kompilatorn"). Detta tillvägagångssätt verkar dock inte vara särskilt praktiskt, eftersom det kräver att man använder generiska nollkunskapsbevis. Vår konstruktion bygger på att tillämpa cut-and-choose tekniker på den ursprungliga kretsen och ingångar. Säkerhet bevisas enligt det ideala/verkliga simuleringsparadigmet, och beviset finns i standardmodellen (utan slumpmässig orakelmodell eller gemensamma referenssträngsantaganden). Det resulterande protokollet är beräkningseffektivt: den enda användningen av asymmetrisk kryptografi är för att köra O(1) omedvetna överföringar för varje inmatningsbit (eller för varje bit av en statistisk säkerhetsparameter, beroende på vilken som är större). Vårt protokoll kombinerar tekniker från folklore (som cut-and-choose) tillsammans med nya tekniker för att effektivt bevisa konsekvens av ingångar. Vi noterar att ett naivt genomförande av cut-and-choose-tekniken med Yaos protokoll inte ger ett säkert protokoll. Detta är det första dokumentet som visar hur man på ett korrekt sätt genomför dessa tekniker och som ger ett fullständigt bevis på säkerhet. Vårt protokoll kan också tolkas som en konstant-runda svart-box minskning av säker två-parts beräkning till glömska överföring och perfekt dölja åtaganden, eller en svart-box minskning av säker två-parts beräkning till omedvetna överföring ensam, med ett antal rundor som är linjär i en statistisk säkerhetsparameter. Dessa två minskningar är jämförbara med Kilians (20:e STOC, 1988) minskning, som använder OT ensamt men ådrar sig ett antal rundor som är linjära i kretsens djup.
Lindell och Pinkas REF gav det första 3 rigorösa 2PC-protokollet baserat på cut-and-choose.
An Efficient Protocol for Secure Two-Party Computation in the Presence of Malicious Adversaries
{'venue': 'Journal of Cryptology', 'journal': 'Journal of Cryptology', 'mag_field_of_study': ['Computer Science']}