b'\n_START_ARTICLE_\nProblem ucztuj\xc4\x85cych kryptograf\xc3\xb3w\n_START_SECTION_\nOpis klasyczny problemu\n_START_PARAGRAPH_\nTrzech kryptograf\xc3\xb3w spotyka si\xc4\x99 na kolacji w restauracji. Kelner informuje ich, \xc5\xbce rachunek zosta\xc5\x82 ju\xc5\xbc op\xc5\x82acony przez anonimow\xc4\x85 osob\xc4\x99. M\xc3\xb3g\xc5\x82 to by\xc4\x87 jeden z ucztuj\xc4\x85cych kryptograf\xc3\xb3w b\xc4\x85d\xc5\xba agencja NSA. Kryptografowie chc\xc4\x85 si\xc4\x99 dowiedzie\xc4\x87 czy sponsorem by\xc5\x82 kt\xc3\xb3ry\xc5\x9b z nich, lecz \xc5\xbcaden nie chce zdradzi\xc4\x87 czy zap\xc5\x82aci\xc5\x82.\n_START_SECTION_\nOpis abstrakcyjny problemu\n_START_PARAGRAPH_\nKa\xc5\xbcda z os\xc3\xb3b posiada sw\xc3\xb3j w\xc5\x82asny tajny bit (je\xc5\x9bli op\xc5\x82aci\xc5\x82a to  w przeciwnym wypadku ). Wszyscy chc\xc4\x85 pozna\xc4\x87 OR wszystkich tych bit\xc3\xb3w, ale nikt nie chce zdradzi\xc4\x87 swojego bitu.\n_START_SECTION_\nRozwi\xc4\x85zanie Chauma\n_START_PARAGRAPH_\nDining Cryptographers network (DC-net) to schemat zaproponowany przez Davida Chauma._NEWLINE_Ka\xc5\xbcda para kryptograf\xc3\xb3w ustala sobie tajny bit (np. rzucaj\xc4\x85c monet\xc4\x99). Nast\xc4\x99pnie ka\xc5\xbcdy kryptograf wykonuje XOR tajnych bit\xc3\xb3w ustalonych z pozosta\xc5\x82ymi. Je\xc5\x9bli dany kryptograf op\xc5\x82aci\xc5\x82 rachunek, musi otrzymany wynik zanegowa\xc4\x87. Nast\xc4\x99pnie wszyscy kryptografowie ujawniaj\xc4\x85 swoje wyniki. Je\xc5\x9bli XOR wszystkich trzech wynik\xc3\xb3w jest r\xc3\xb3wny  to rachunek zosta\xc5\x82 op\xc5\x82acony przez NSA, je\xc5\x9bli  to przez jednego z kryptograf\xc3\xb3w. Fakt ten wynika z prostych w\xc5\x82asno\xc5\x9bci funkcji XOR._NEWLINE_Problem mo\xc5\xbcna uog\xc3\xb3lni\xc4\x87 na przypadek gdy mamy  os\xc3\xb3b. Schemat post\xc4\x99powania wygl\xc4\x85da analogicznie. Ka\xc5\xbcda para ustala tajny bit. Nast\xc4\x99pnie ka\xc5\xbcda osoba wykonuje XOR wszystkich tajnych bit\xc3\xb3w ustalonych z pozosta\xc5\x82ymi i neguje wynik je\xc5\x9bli op\xc5\x82aci\xc5\x82a rachunek. Wyniki s\xc4\x85 ujawniane. XOR tych wynik\xc3\xb3w to wynik ostateczny.\n_START_SECTION_\nKrytyka rozwi\xc4\x85zania Chauma\n_START_PARAGRAPH_\nSchemat Chauma jest rozwi\xc4\x85zaniem niepe\xc5\x82nym, gdy\xc5\xbc oblicza de facto XOR tajnych bit\xc3\xb3w, a nie OR. Mianowicie, je\xc5\x9bli parzy\xc5\x9bcie wiele os\xc3\xb3b zap\xc5\x82aci za rachunek to wynik ostateczny b\xc4\x99dzie niepoprawny: _NEWLINE_Schemat jest r\xc3\xb3wnie\xc5\xbc nieodporny na oszustwa (kt\xc3\xb3ry\xc5\x9b z kryptograf\xc3\xb3w, fa\xc5\x82szuj\xc4\x85c wynik swojej operacji XOR, fa\xc5\x82szuje wynik ostateczny)._NEWLINE_Dla du\xc5\xbcych  schemat staje si\xc4\x99 z\xc5\x82o\xc5\xbcony obliczeniowo bo ka\xc5\xbcda para os\xc3\xb3b musi ustala\xc4\x87 sobie tajny bit.\n_START_SECTION_\nRozwi\xc4\x85zanie optymalne\n_START_PARAGRAPH_\nAnonymous Veto network (AV-net) to lepsze rozwi\xc4\x85zanie. Pozwala ustali\xc4\x87, czy ktokolwiek z grupy os\xc3\xb3b zawetowa\xc5\x82, nie ujawniaj\xc4\x85c to\xc5\xbcsamo\xc5\x9bci wetuj\xc4\x85cych (jest to zatem faktyczne obliczenie funkcji OR). Schemat jest ponadto odporny na fa\xc5\x82szerstwa (gdy\xc5\xbc wymaga przedstawienia dowodu z wiedz\xc4\x85 zerow\xc4\x85 przez ka\xc5\xbcdego uczestnika).'