Abstrakt. Vi ser över definitionerna av nollkunskap i modellen Common Reference String (CRS) och modellen Random Oracle (RO). Vi hävdar att även om dessa definitioner syntaktiskt efterliknar definitionen av nollkunskap, så förlorar de en del av dess anda. I synnerhet visar vi att det finns en specifik natursäkerhetsfastighet som inte fångas upp av dessa definitioner. Det här är förnekelsens egendom. Vi definierar formellt begreppet förnekande av nollkunskap i dessa modeller och undersöker möjligheten att uppnå den. Våra resultat är olika för de två modellerna: -När det gäller CRS-modellen utesluter vi möjligheten att uppnå deniable noll-kunskap protokoll i "naturliga" inställningar där sådana protokoll inte redan kan uppnås i klar modell. -I RO modellen, å andra sidan, konstruerar vi ett effektivt 2-runda förnekande noll-kunskap argument om kunskap, som bevarar både noll-kunskap egendom och bevis på kunskap egendom under samtidiga utföranden (konkurrent noll-kunskap och samtidig bevis på kunskap).
Pass Ref definierar formellt begreppet deniable noll-kunskap och presenterar positiva och negativa resultat i den gemensamma referenssträngen och slumpmässiga orakelmodellen.
On Deniability in the Common Reference String and Random Oracle Model
{'venue': 'In proceedings of CRYPTO ’03, LNCS series', 'journal': None, 'mag_field_of_study': ['Computer Science']}