Kocha, lubi, szyfruje...

W fizyce szkolnej nieustannie przewijającym się motywem są dwa znane miasta: miasto A oraz miasto B. W kryptografii takimi gwiazdami są Alicja i Bob, którzy ciągle się komunikują, uwierzytelniają, a zwykle przeszkadza im w tym złowroga Ewa.

Tym razem jednak zadanie stojące przed Alicją i Bobem jest wyjątkowo trudne. Chcą sprawdzić, czy się nawzajem kochają, jednak bez ujawniania swoich uczuć. Co przez to rozumiemy? Otóż chcemy opracować następujący protokół komunikacyjny.

Alicja posiada bit $a,$ który informuje o tym, czy kocha Boba, czy nie (to oznacza, że $|a = 1,$ jeśli Alicja jest zakochana w Bobie, jeśli zaś nie jest, to $|a = 0$ ). Analogicznie, Bob posiada bit $b$ opisujący jego uczucia względem Alicji. Oczywiście teraz ich wzajemna miłość może być opisana w tej notacji przez wyrażenie $m$ które jest równe $1$ tylko wtedy, gdy $|a = b = 1.$ Naszym celem jest opracowanie takiego protokołu, w wyniku którego Alicja na końcu będzie znała $|a$ oraz $|m$ (i nic więcej!), natomiast Bob $|b$ oraz $m.$ Intuicja stojąca za takimi założeniami jest następująca: chcemy uniknąć krępującej sytuacji, gdy, na przykład, Alicja kocha Boba, ale Bob nie odwzajemnia tych uczuć, a dowiaduje się o uczuciu Alicji. Innymi słowy: jeśli Bob wie, że $b | = 0$ oraz $m$ to nie powinien umieć wyznaczyć $a.$

Powyższe założenia łatwo uzyskać, gdy dopuścimy trzecią zaufaną stronę, która, gdy pozna $a$ i $b,$ obliczy $m$ oraz przekaże tę informację obu zainteresowanym osobom. Nasze zadanie jest jednak bardziej ambitne, ponieważ pożądany efekt chcemy uzyskać za pomocą protokołu, w którym jedynymi stronami są Alicja i Bob. Zadanie samo w sobie wydaje się trudne, a wręcz można by przypuszczać, że tak określony protokół nie jest możliwy do zrealizowania. Pokażemy jednak, że jest to możliwe, ale przy pewnych założeniach obliczeniowych. Mamy tu na myśli klasyczne założenia dotyczące szyfrowania algorytmem RSA: a więc, że strona posiadająca jakąś wiadomość zaszyfrowaną oraz klucz publiczny bez znajomości klucza prywatnego nie jest w stanie odtworzyć wiadomości jawnej. Należy tu poczynić uwagę, że bez założeń tego typu (tj. bez ograniczeń obliczeniowych, inaczej mówiąc: bezpiecznie teorio-informacyjnie) żądanego protokołu nie da się skonstruować.

Wróćmy teraz do naszej Alicji i naszego Boba, którzy już za chwilę zaczną ze sobą rozmawiać.

Szukany protokół opiera się na idei tak zwanego transferu utajnionego (ang. oblivious transfer). Jest to bardzo ciekawy i użyteczny protokół, niejednokrotnie wykorzystywany jako cegiełka do budowy innych protokołów. Założenia są następujące: Alicja posiada parę liczb $(x0, | x1),$ a Bob bit $|s.$ Po zakończeniu protokołu Alicja nie dowie się niczego nowego, natomiast Bob pozna liczbę $|x . s$ Taki protokół istnieje, pokażemy go później. Natomiast korzystając z transferu utajnionego, możemy już łatwo wykonać nasz docelowy protokół.

Niech mianowicie Alicja przyjmie:

x0 = 0, x1 = a,

a Bob:

s = b.

W pierwszej fazie testu na miłość wykonujemy klasyczny transfer utajniony dla podanych parametrów. W jego wyniku Bob otrzymuje wartość $|y = xs.$ Wówczas wysyła ją Alicji i jest to wynik naszego protokołu.

Łatwo sprawdzamy poprawność: jeśli $|b = 0,$ to wynikiem protokołu jest $|x0 = 0,$ co jest zgodne z oczekiwaniami, gdyż

m

niezależnie od wartości $a.$ W drugim przypadku $|(b = 1)$ wynikiem jest $|x1 = a,$ co również jest poprawną odpowiedzią, gdyż:

m

Transfer utajniony

W tej części pokażemy, jak zrealizować transfer utajniony. Jako narzędzia potrzebujemy szyfrowania z kluczem publicznym i prywatnym - dobrym przykładem jest tu wspomniany już algorytm RSA. Przypomnijmy założenia: Alicja posiada parę liczb $x0$ oraz $x1,$ natomiast Bob ustala bit $|s.$ Teraz:

1.: Alicja inicjalizuje algorytm RSA, tzn. wybiera liczbę $n$ oraz klucze $|d$ i $|e.$ Zakładamy, że $|0⩽ x0,x1 < n.$ Swój klucz publiczny, czyli parę $|(n,e),$ wysyła do Boba.
2.: Alicja losuje niezależnie dwie różne liczby $0 ⩽ y ,y < n 0 1$ oraz wysyła je Bobowi.
3.: Bob losuje liczbę $0 ⩽ k < n$ i oblicza $v = (ys + ke) mod n.$ Bob wysyła wartość $v$ do Alicji.
4.: Alicja oblicza kolejno: $k0 = (v − y0)d mod n$ oraz $k1 = (v − y1)d mod n,$ $x′0 = (x0 + k0) mod n,$ $x1′= (x1 + k1) mod n$ oraz wysyła Bobowi $x′0$ i $|x′1.$
5.: Bob potrafi obliczyć $′ |(xs− k) mod n.$

Sprawdźmy, że obliczona przez Boba wartość to rzeczywiście $xs$ :

$pict$

Aby opisany protokół był użyteczny, potrzebne są dwie własności:

*: Alicja nie poznaje bitu $|s.$ Ten fakt jest prosty - wynika z symetrii. To znaczy: z punktu widzenia Alicji nie ma w protokole żadnego rozróżnienia między $s = 0$ a $s = 1,$ gdyż jedyny komunikat otrzymany od Boba (wartość $v$ ) jest - z punktu widzenia Alicji - losowy i niezależny od wartości $s.$
**: Bob nie poznaje liczby $x1−s.$

Pełny dowód (**) pominiemy i pozostawimy Czytelnikowi: wskazówka jest taka, że należy pokazać (metodą nie wprost), że gdyby można było złamać nasz protokół (a więc Bob dowiedziałby się czegoś na temat $x1−s$ ), to złamać potrafilibyśmy również RSA. Rozumowania tego typu są bardzo częste w dowodach w kryptografii, czasem nazywamy je symulacją jednego protokołu przez drugi.

Na sam koniec warto dodać, że opisany tutaj problem jest tylko drobnym przykładem na to, co potrafimy robić. Otóż okazuje się, że funkcja $|a∧ b$ została wybrana zupełnie arbitralnie: tak naprawdę można podać protokół obliczający wartość dowolnej funkcji opisanej za pomocą obwodu logicznego. Wówczas ilość potrzebnej informacji, którą wymienią między sobą Alicja i Bob, jest proporcjonalna do liczby węzłów wspomnianego obwodu. Zainteresowanego Czytelnika zachęcamy do dalszych poszukiwań.