Abstrakt. Vi presenterar en effektiv konstruktion av Yaos "garbled kretsar" protokoll för säker beräkning av två-parts krets på engagerade ingångar. Protokollet är säker på ett universellt kompatibelt sätt i närvaro av skadliga motståndare under den beslutande sammansatta residuosity (DCR) och starka RSA antaganden, i den gemensamma referenssträngen modellen. Protokollet kräver ett konstant antal rundor (fyra-fem i standardmodellen, två-tre i den slumpmässiga orakelmodellen, beroende på om båda parter tar emot utdata), O( på engelska) modulära exponentiationer per spelare, och en bandbredd av O( på engelska) gruppelement, där  på engelska är storleken på den beräknade kretsen. Våra tekniska verktyg är av oberoende intresse. Vi föreslår en homomorphic, semantiskt säker variant av Camenisch-Shoup kontrollerbar kryptosystem, som använder kortare nycklar, är entydig (det är omöjligt att generera två nycklar som framgångsrikt dekryptera samma chiffertext), och möjliggör effektiva bevis på att en engagerad klartext krypteras under en engagerad nyckel. Vårt andra verktyg är en praktisk fyr-round (två-round i ROM) protokoll för engagerade omedvetna överföring på strängar (sträng-COT) säker mot skadliga deltagare. Sträng-COT-protokollet tar några exponentiationer per spelare, och är UC-säker under DCR antagandet i den gemensamma referenssträngen modellen. Tidigare protokoll av jämförbar effektivitet uppnås antingen begått OT på bitar, eller standard (icke-åtagandenade) OT på strängar.
Jarecki och Shamtikov REF konstruerade UC-säker engagerad sträng OT baserat på beslutsfattande sammansatta residuosity antagande, i den gemensamma referenssträng modellen.
Efficient Two-Party Secure Computation on Committed Inputs
{'venue': 'In EUROCRYPT', 'journal': None, 'mag_field_of_study': ['Computer Science']}