Abstrakt. Protokoll som bevisats säkra inom ramen för den universella kompatibiliteten (UC) uppfyller starka och önskvärda säkerhetsegenskaper. Tyvärr är det känt att inom den "plain" modellen, säker beräkning av allmänna funktioner utan en ärlig majoritet är omöjligt. Detta har fått forskare att föreslå olika "uppställningsantaganden" med vilka man kan utöka det nakna UC-ramverket för att kringgå detta allvarliga negativa resultat. Befintliga inställningsantaganden verkar till sin natur kräva någon betrodd part (eller parter) för att initiera installationen i den verkliga världen. Vi föreslår en ny uppsättning antagande - mer i linje med ett fysiskt antagande om förekomsten av manipuleringssäker hårdvara - som också räcker för att kringgå det omöjliga resultat som nämns ovan. Vi föreslår detta antagande som potentiellt leder till en strategi som kan minska behovet av betrodda parter, och jämföra vårt antagande med de som föreslagits tidigare. Under många år, forskare ansåg säkerheten av protokoll i en fristående miljö där en enda protokoll exekvering ansågs isolerat. Tyvärr, ett bevis på fristående säkerhet för ett protokoll ger i allmänhet inte några garantier när protokollet utförs flera gånger på ett parallellt sätt (eventuellt av olika grupper av parter), eller i ett nätverk där andra protokoll avrättningar äger rum. Detta förverkligande har motiverat en betydande mängd arbete som syftar till att tillhandahålla modeller och säkerhetsdefinitioner som uttryckligen tar itu med sådana problem. Ramverket för universell kompatibilitet (UC), som infördes av Canetti [6], ger starka säkerhetsgarantier i just en sådan miljö. (Andra ramar med liknande garantier finns också [20], men vi antar UC-modellen i detta arbete.) Vi hänvisar läsaren till Canettis uppsats för en fullständig diskussion om fördelarna med att arbeta inom denna ram, och fokuserar istället på frågan om genomförbarhet. Canettis inledande arbete visar redan breda genomförbarhetsresultat för att realisera någon (polynomisk-tidsberäknad) multi-part funktionalitet i närvaro av en
Katz REF visade att tvåparts- och flerpartsberäkning är möjlig förutsatt att en manipuleringssäker hårdvara.
Universally composable multi-party computation using tamper-proof hardware
{'venue': 'In EUROCRYPT, Lecture Notes in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}