Rättvist utbyte är ett av de mest grundläggande problemen i säker distribuerad beräkning. Alice har något som Bob vill ha, och Bob har något som Alice vill ha. Ett rättvist utbyte protokoll skulle garantera att, även om en av dem illvilligt avviker från protokollet, antingen båda får önskat innehåll, eller ingen av dem gör. Det är känt att inget protokoll mellan två parter kan garantera rättvisa i allmänhet; därför är förekomsten av en betrodd skiljedomare nödvändig. I optimistiskt rättvist utbyte blir skiljedomaren bara inblandad i fall av fel, men måste lita på. För att minska förtroendet för skiljedomaren, är det naturligt att överväga att anställa flera skiljedomare. Dyra tekniker som bysantine avtal eller säker multi-part beräkning med  en (n 2 ) kommunikation kan tillämpas för att distribuera skiljedomare på ett icke-autonomt sätt. Ändå är vi intresserade av effektiva protokoll som kan uppnås genom att hålla skiljedomarna autonoma (icke-kommunikation), särskilt för p2p-inställningar där skiljedomarna inte ens känner varandra. Avoine och Vaudenay [5] använder flera autonoma skiljedomare i sina optimistiska fair exchange protokoll som använder globala timeout mekanismer; alla skiljedomare har tillgång till -loosely-synkronized klockor. De lämnade två öppna frågor om användningen av distribuerade autonoma skiljedomare: (1) Kan ett optimistiskt rättvist utbyte protokoll utan timeouts ge rättvisa (eftersom det är svårt att uppnå synkronisering i en p2p-inställning) när anställa flera autonoma skiljedomare? (2) Kan någon annan optimistisk rättvis utbyte protokoll med timeouts uppnå bättre gränser på det antal ärliga skiljedomare som krävs? I detta dokument besvarar vi båda frågorna negativt. För att besvara dessa frågor definierar vi en allmän klass av optimistiska fair exchange protokoll med flera skiljedomare, som kallas "distributed arbiter fair exchange" (DAFE) protokoll. Informellt, i ett DAFE protokoll, om en deltagare misslyckas med att skicka ett korrekt format meddelande, den andra parten måste kontakta någon delmängd av skiljedomarna och få korrekt utformade svar från dem. Skiljemännen kommunicerar inte med varandra, utan bara med Alice och Bob. Vi bevisar att inget DAFE-protokoll kan existera på ett meningsfullt sätt.
Arbetet i REF visar några negativa resultat som tyder på att optimistiska rättvisa utbyte protokoll i inställningar med flera skiljedomare kräver timeouts.
Optimistic Fair Exchange with Multiple Arbiters
{'venue': 'ESORICS', 'journal': None, 'mag_field_of_study': ['Computer Science']}