Abstrakt. Rund komplexitet är ett centralt mått på effektivitet, och att karakterisera den runda komplexiteten av olika kryptografiska uppgifter är av både teoretisk och praktisk betydelse. Vi visar här en universellcomposable (UC) protokoll (i den gemensamma referenssträngen modell) för två-parts beräkning av alla funktioner, där båda parter får utdata, med bara två rundor. (Detta förutsätter att ärliga parter tillåts överföra meddelanden samtidigt i en given runda; vi får ett tre-runda protokoll när parterna är skyldiga att byta meddelanden.) Våra resultat matchar de uppenbara lägre gränserna för den runda komplexiteten i säker tvåpartsberäkning enligt en rimlig definition av säkerhet, oavsett vilken inställning som används. Således, våra resultat fastställer att säker två-parts beräkning kan erhållas under en allmänt använd setup antagande med maximal säkerhet (dvs. säkerhet under allmän sammansättning) i ett minimalt antal rundor. För att bara ge ett exempel på kraften i vårt allmänna resultat, observerar vi att som en nästan omedelbar följd får vi en två-runda UC blind signatur schema, som matchar ett resultat av Fischlin vid Crypto 2006 (men i motsats till Fischlin, använder vi specifika tal-teoretiska antaganden).
För att övervinna denna nedre gräns använde Horvitz och Katz REF CRS för att konstruera ett UC-säkert tvåpartsprotokoll i två omgångar.
Universally-composable two-party computation in two rounds
{'venue': 'In CRYPTO', 'journal': None, 'mag_field_of_study': ['Computer Science']}