Vi presenterar ett effektivt och rättvist protokoll för säker två-parts beräkning i den optimistiska modellen, där en delvis betrodd tredje part T är tillgänglig, men inte deltar i normala protokoll utföranden. T behövs endast om kommunikationen störs eller om någon av de två parterna missköter sig. Protokollet garanterar att även om en part kan avsluta protokollet när som helst, beräkningen förblir rättvis för den andra parten. De två parterna är länkade endast genom ett asynkront kommunikationsnät, men länken mellan varje part och T kräver minimal synkronisering. Alla våra protokoll är baserade på effektiva kunskapsbevis och innehåller inga generella verktyg för nollkunskap. Som mellanliggande steg beskriver vi effektiva implementeringar av kontrollerbar oöverträffad överföring, oöverträffad oöverträffad överföring och kontrollerbar säker funktionsutvärdering, vilket kan vara användbart i andra sammanhang. Säkerheten för alla protokoll bevisas enligt Diffie-Hellmans beslutsförutsättning.
Optimistiska modeller för säker beräkning beaktades i REF.
Optimistic Fair Secure Computation
{'venue': 'In Advances in Cryptology— CRYPTO ’00', 'journal': None, 'mag_field_of_study': ['Computer Science']}