Det seminala resultatet av Impagliazzo och Rudich (STOC 1989) gav en black-box separation mellan enkelriktade funktioner och kryptering med öppen nyckel: ett krypteringssystem med öppen nyckel kan inte konstrueras med enkelriktade funktioner i svartbox. Dessutom deras resultat implicita svart-box separationer mellan enkelriktade funktioner och protokoll för vissa Secure Function Evaluation (SFE) funktioner (särskilt Obligatorisk överföring). Förvånansvärt nog har det dock sedan dess inte gjorts några ytterligare framsteg när det gäller att separera enkelriktade funktioner och SFE-funktioner. I detta arbete presenterar vi den kompletta bilden för finita deterministiska 2-parts SFE-funktioner, vis envägsfunktioner. Vi visar att i händelse av halvhederliga motståndare, enkelriktade funktioner är svart-box separerade från alla sådana SFE-funktioner, utom de som har villkorslöst säkra protokoll (och därför inte förlitar sig på någon beräkningshårdhet). När det gäller aktiva motståndare är en enkelriktad funktion i svartbox verkligen användbar för SFE, men vi visar att den är användbar bara så mycket som tillgång till en idealisk åtagandefunktion är användbar. Tekniskt sett fastställer vårt huvudresultat begränsningarna för slumpmässiga orakel för säker beräkning. Vi visar att en tvåpartsdeterministisk funktionalitet f har ett säkert protokoll i den slumpmässiga orakelmodellen som (statistiskt) är säker mot halvhederliga motståndare om och endast om f har ett protokoll i den enkla modellen som (fullständigt) är säker mot halvhederliga motståndare. Dessutom, när det gäller aktiva motståndare, en deterministisk SFE funktionalitet f har ett (UC eller fristående) statistiskt säkert protokoll i den slumpmässiga oraklet modellen om * En fullständig version av detta papper är tillgänglig på [36] och endast om f har ett (UC eller fristående) statistiskt säkert protokoll i åtagande-hybrid modellen. Vårt bevis är baserat på en "gränsanalys" av två-part protokoll, kombinera det med (förlängningar av) "oberoende inlärare" av Impagliazzo-Rudich/Barak-Mahmoody. Vi gör viktig användning av en combinatorial egenskap, som ursprungligen upptäcktes av Kushilevitz (FOCS 1989), av funktioner som har semi-hedest säkra protokoll i den enkla modellen (och därför vår analys gäller endast funktioner av polynomialsized domäner, för vilka en sådan karakterisering är känd). Vårt resultat kan ses som ett första steg mot att bevisa en gissning som vi lägger fram i detta arbete och kallar det många världars gissning. För varje 2-parts SFE funktionalitet f, kan man överväga en "värld" där f kan vara semi-honest säkert realiseras i beräkningsinställningen. Många-Worlds Conjecture säger att det finns oändligt många "skiljaktiga världar" mellan minicrypt och kryptomani i universumet av Impagliazzos världar.
Mahmoody m.fl. REF anser att halvärliga, deterministiska funktioner med polynom-stora domäner och visar att alla sådana funktioner som kan realiseras i den slumpmässiga oraklet modellen är "triviala" i samma mening som ovan.
Limits of random oracles in secure computation
{'venue': "ITCS '14", 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}