Entanglement-Based Key Distribution: A Secure Communication Method

Inny pomysł na bezpieczne klucze kwantowe

Większość osób poznaje kryptografię kwantową poprzez protokół BB84 (1984): Alicja wysyła Bobowi pojedyncze fotony, każdy przygotowany losowo w jednym z dwóch konjugatów, a bezpieczeństwo opiera się na tym, że pomiar fotonu w niewłaściwym bazie go zaburza. Protokół E91 zaproponowany przez Artura Ekerta w 1991 roku, ma odmienną strukturę. Zamiast jednej strony wysyłającej przygotowane stany do drugiej, źródło generuje pary fotonów splątanych i wysyła jeden foton z każdej pary do Alicji, a drugi do Boba. Żaden z fotonów nie posiada zdefiniowanej polaryzacji samodzielnie – tylko para, razem, ma dobrze zdefiniowany stan kwantowy, stan singlet.

Losowe bazy, następnie publiczny podział

Dla każdej pary odebranych, Alicja i Bob niezależnie i losowo wybierają jeden z kilku kątów pomiarowych i rejestrują wynik. Po zmierzeniu wielu par, ogłaszają publicznie - poprzez zwykły, niezaszyfrowany kanał - który kąt użyła dla każdego pomiaru, ale nigdy wyniku. Pary, w których przypadkowo wybrali ten sam (lub komplementarny) kąt, stają się surowym materiałem kluczowym, ponieważ stan singletowy gwarantuje, że te wyniki są idealnie skorelowane lub anty-skorelowane. Pary, w których wybrali różne, niepasujące kąty, są odłożone do zupełnie innego celu: testowania nierówności Bellowej.

Nierówność CHSH jako alarm przeciwosłonowy

Zasada Ehrenfelta-Boltsmana mówi, że każdy system w stanie równowagi termodynamicznej posiada pewną entropię. Zatem, aby zminimalizować entropię, należy ograniczyć liczbę możliwych stanów, w których może się znajdować system.

Nierówność CHSH (Clauser, Horne, Shimony, Holt) jest wynikiem formalizacji nierówności Bellowej i pozwala na wykrycie naruszeń zasad lokalnych zmiennych ukrytych. Nierówność ta łączy korelacje E(a,b) mierzone przy czterech kombinacjach kątów w pojedynczą liczbę S:

S = E(a1,b1) - E(a1,b2) + E(a2,b1) + E(a2,b2) lokalne zmienne ukryte (klasyczne): |S| ≤ 2 (granica Bellowa) mechanika kwantowa, stan singletowy: |S| ≤ 2√2 ≈ 2.828 (granica Tsirelsona) Para Alice i Bob zmierzyła przy rozbieżnych kątach, co pozwoliło obliczyć S z rzeczywistych danych. Jeśli źródło generowało prawdziwe pary singletów i nikt nie ingerował w kanał, mechanika kwantowa przewiduje, że S powinno wyjść bliskie 2√2, wyraźnie naruszając klasyczną granicę 2. To naruszenie nie jest jedynie szczegółem – to cała argumentacja bezpieczeństwa. Wartość S zbliżona do 2√2 jest osiągalna tylko przez stan, który jest naprawdę splątany w momencie pomiaru; nie może być odtworzony przez pre-programowane cząstki z ukrytym arkuszem odpowiedzi, niezależnie jak sprytny podsłuchiwacz próbuje to fałszować.

S = E(a1,b1) - E(a1,b2) + E(a2,b1) + E(a2,b2)

local hidden variables (classical) :  |S| ≤ 2        (Bell's bound)
quantum mechanics, singlet state   :  |S| ≤ 2√2 ≈ 2.828   (Tsirelson's bound)

Dlaczego podsłuchiwanie i splątanie nie mogą współistnieć

Załóżmy, że podsłuchujący, Eve, przechwytuje foton w trakcie transportu, mierzy go, aby dowiedzieć się czegoś, a następnie przesyła nowy foton dalej. Z niezmienniczego twierdzenia o niekloningowaniu gwarantuje się, że nie może ona wykonać idealnej, niewykrywalnej kopii nieznanego stanu kwantowego – pomiar jest niezaprzeczenie inwazyjny. Jej przechwycenie łamie delikatne splątanie między pierwotną parą, a foton, który przesyła dalej, przestaje być częścią singleta, a pomiary Alicji i Boba nie są tak silnie skorelowane jak przewiduje czysta mechanika kwantowa. Ta degradacja widać się bezpośrednio jako spadek wartości CHSH zmierzonej. Każda strategia podsłuchiwania wykazuje się dowodowo obniżeniem S w kierunku klasycznego ograniczenia 2. Alicja i Bob po fakcie sprawdzają, czy zmierzony S jest wystarczająco blisko 2√2. Jeśli tak, to klucz wygenerowany z dopasowanych kątów jest wykazany jako sekretny; jeśli S spadł zauważalnie, odrzucają próbę i ponownie starają się w czystym kanale.

Od skorelowanych bitów do użytecznego klucza

Przeprowadzenie testu Bell nie oznacza automatycznie, że Alicja i Bob otrzymają gotowy klucz – rzeczywiste kanały są zakłócone szumem, dlatego bity skorelowane nadal wymagają rekonsolidacji błędów (publicznego protokołu minimalizującego ujawnianie informacji, który koryguje niewielką liczbę niezgodności) oraz wzmocnienia prywatności, które kompresuje rekonsolidowany ciąg bitów za pomocą funkcji haszującej, aby nawet niewielka ilość informacji, którą Ewa mogła wykraść przed detekcją, stała się pomijalna. Pozostaje wtedy ciąg bitów, który posiadają zarówno Alicja, jak i Bob, którego tajemnica opiera się na testie CHSH, a nie na zaufaniu urządzeniom, które przygotowywały fotony w pierwszej kolejności – to właściwość nazywana bezpieczeństwem niezależnym od urządzenia, której BB84-stylowe protokoły nie oferują bezpośrednio.

Często zadawane pytania

Wypróbuj na żywo

Wszystko powyżej działa bezpośrednio w Twojej przeglądarce — otwórz E91 Quantum Key Distribution i zmieniaj parametry podczas działania. Nic nie jest instalowane ani przesyłane na serwer, cały model działa w jednej karcie.