I detta dokument presenterar vi enkla men omfattande kombinatoriska kriterier för fullständigheten av finita deterministiska 2-partifunktioner med avseende på informationsteoretisk säkerhet. Vi ger en allmän protokollkonstruktion för effektiv och statistiskt säker minskning av omedvetna överföring till någon ändlig deterministisk 2-partsfunktion som uppfyller våra kriterier. För de resulterande protokollen visar vi universell kompatibilitet. Våra resultat är snäva i den meningen att våra kriterier fortfarande är nödvändiga för alla finita deterministiska 2-partsfunktioner för att möjliggöra genomförande av oöverträffad överföring med statistisk integritet och korrekthet. Vi förenar och generaliserar resultaten av Joe Kilian (1991 Kilian (, 2000 på två sätt. För det första visar vi att hans kriterier för fullständighet också ligger inom ramen för UC. För det andra, vilket är vårt huvudsakliga bidrag, omfattar våra kriterier också en bred klass av primitiver som inte är föremål för tidigare kriterier. Vi visar att det finns icke-triviala exempel på finita deterministiska 2-partifunktioner som varken är symmetriska eller asymmetriska och därför inte har omfattats av befintliga kriterier för fullständighet hittills. Som en följd av vårt arbete, varje ändlig deterministisk 2-partifunktion är antingen komplett eller kan anses vara likvärdig med en icke-fullständig symmetrisk 2-partifunktion-detta påstående gäller med avseende på aktiva motståndare såväl som passiva motståndare. Därmed förstärks kända resultat på icke-fullständiga symmetriska 2-partsfunktioner.
REF:s arbete ger en allmän karakterisering av alla finita deterministiska 2-partifunktioner som innebär ett statistiskt säkert genomförande av GT, där det resulterande GT är säkert i UC:s ramverk.
Completeness Theorems with Constructive Proofs for Finite Deterministic 2-Party Functions (full version)
{'venue': 'TCC', 'journal': None, 'mag_field_of_study': ['Computer Science']}