Abstrakt. Vi visar att varje kvantifiering av två partier, specificerad av en enhet som samtidigt agerar i båda parters register, kan genomföras på ett säkert sätt mot en kvantversion av klassiska halvhederliga motståndare som vi kallar specious. Vi visar först att det inte finns något statistiskt privat protokoll för att byta qubits mot specifika motståndare. Swapfunktionaliteten är modellerad av en enhetlig transform som inte är tillräcklig för universal kvantberäkning. Det betyder att universalitet inte krävs för att erhålla omöjliga bevis i vår modell. Swaptransform kan dock enkelt genomföras privat förutsatt att en klassisk bit åtagandesystem. Vi tillhandahåller ett enkelt protokoll för utvärdering av varje enhetlig transform som representeras av en krets gjord av grindar i någon standard universell uppsättning kvantportar. Alla grindar utom en kan implementeras säkert förutsatt att en uppmaning att byta görs tillgänglig som en idealisk funktionalitet. För varje utseende av den återstående porten i kretsen, ett samtal till en klassisk AND-box krävs för integritet. AND-boxen kan enkelt konstrueras från oöverträffad överföring. Av detta följer att oöverträffad överföring är universell för privata utvärderingar av såväl enhetsmedlemmar som klassiska kretsar. Till skillnad från det ideala bytet är AND-boxar klassiska primitiva och kan inte representeras av enhetliga transformer. Därav följer att i viss mån är denna återstående grind den hårda, som den och porten för klassisk tvåpartsberäkning.
Dupuis, Nielsen och Salvail REF gav ett protokoll för tvåpartssäker kvantberäkning när det gäller specifika (en version av kvant semi-honest) motståndare.
Secure two-party quantum evaluation of unitaries against specious adversaries
{'venue': 'Advances in Cryptology, LNCS 6223, pages 685--706 (2010)', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Physics']}