Независимая от устройств квантовая криптография - Device-independent quantum cryptography

Квантовый криптографический протокол независимый от устройства если его безопасность не зависит от веры в правдивость используемых квантовых устройств. Таким образом, анализ безопасности такого протокола должен учитывать сценарии несовершенных или даже вредоносных устройств. Было показано, что несколько важных проблем допускают безусловные безопасные и независимые от устройств протоколы. Тесно связанная тема (которая не обсуждается в этой статье) - это независимое от измерительного устройства квантовое распределение ключей.

Обзор и история

Майерс и Яо[1] предложил идею разработки квантовых протоколов с использованием квантового аппарата «самопроверки», внутренние операции которого могут быть однозначно определены их статистикой ввода-вывода. Впоследствии Роджер Колбек в своей диссертации[2] предложил использовать Белл тесты для проверки честности устройств. С тех пор было показано, что несколько проблем допускают безусловные безопасные и независимые от устройств протоколы, даже когда фактические устройства, выполняющие тест Белла, в значительной степени «шумят», т.е. далеки от идеала. Эти проблемы включаютквантовое распределение ключей,[3][4] расширение случайности,[4][5] и усиление случайности.[6]

Независимое от устройства квантовое распределение ключей

Цель квантовое распределение ключей предназначен для двух сторон, Алисы и Боба, для совместного использования общей секретной строки через общедоступные каналы. Это была проблема, представляющая центральный интерес в квантовой криптографии. Это также была проблема мотивации в статье Майерса и Яо.[1] Долгая последовательность работ направлена ​​на то, чтобы доказать безусловную безопасность и надежность.[нужна цитата ] Вазирани и Видик[3] первыми достигли этой цели. Впоследствии Миллер и Ши[4] доказал аналогичный результат, используя другой подход.

Расширение случайности

Цель расширение случайности состоит в том, чтобы сгенерировать более длинную частную случайную строку, начиная с однородной входной строки и используя ненадежные квантовые устройства. Идея использования Белл тест для достижения этой цели был впервые предложен Роджер Колбек в его докторской диссертации. Тезис.[2] Последующие работы были направлены на то, чтобы доказать безусловную безопасность с надежностью и увеличением скорости расширения.[нужна цитата ] Вазрани и Видик были первыми, кто доказал полную квантовую безопасность для экспоненциально расширяющегося протокола.[7]Миллер и Ши[4] достиг нескольких дополнительных функций, включая безопасность на криптографическом уровне, надежность и требование одного кубита к квантовой памяти. Впоследствии те же авторы расширили этот подход, чтобы показать, что уровень шума может приближаться к очевидной верхней границе, когда выходной сигнал может стать детерминированным.[5]

Усиление случайности

Цель усиление случайности заключается в генерации почти идеальной случайности (приближающейся к справедливому подбрасыванию монеты), начиная с единственного источника слабой случайности (монета, каждый из подбрасываний которой в некоторой степени непредсказуем, хотя может быть смещен и коррелирован с предыдущими подбрасываниями). Это, как известно, классически невозможно.[8] Однако с помощью квантовых устройств это становится возможным, даже если устройства не являются надежными. Роджер Колбек и Ренато Реннер были мотивированы физическими соображениями, чтобы задать этот вопрос первыми.[9] Их конструкция и последующее улучшение Gallego et al.[10] защищены от несигнальный противник и имеют важные физические интерпретации. Первая конструкция, не требующая каких-либо структурных предположений относительно слабого источника, принадлежит Чунгу, Ши и Ву.[6]

Рекомендации

  1. ^ а б Майерс, Доминик; Яо, Эндрю К.-К. (1998). Квантовая криптография с несовершенным аппаратом. Симпозиум IEEE по основам компьютерных наук (FOCS). arXiv:Quant-ph / 9809039. Bibcode:1998квант.ч..9039M.
  2. ^ а б Колбек, Роджер (декабрь 2006 г.). «Глава 5». Квантовые и релятивистские протоколы для безопасных многосторонних вычислений (Тезис). Кембриджский университет. arXiv:0911.3814.
  3. ^ а б Вазирани, Умеш; Видик, Томас (2014). «Полностью аппаратно-независимое квантовое распределение ключей». Письма с физическими проверками. 113 (14): 140501. arXiv:1210.1810. Bibcode:2014ПхРвЛ.113н0501В. Дои:10.1103 / Physrevlett.113.140501. PMID  25325625.
  4. ^ а б c d Миллер, Карл; Ши, Яоюнь (2016). «Надежные протоколы для безопасного расширения случайности и распределения ключей с использованием ненадежных квантовых устройств». Журнал ACM. 63 (4): 33. arXiv:1402.0489. Дои:10.1145/2885493.
  5. ^ а б Миллер, Карл; Ши, Яоюнь (2017). «Универсальная защита от расширения случайности». SIAM Журнал по вычислениям. 46 (4): 1304–1335. arXiv:1411.6608. Дои:10,1137 / 15м 1044333.
  6. ^ а б Чунг, Кай-Мин; Ши, Яоюнь; У, Сяоди (2014). «Экстракторы физической случайности: генерация случайных чисел с минимальными предположениями». arXiv:1402.4797 [Quant-ph ].
  7. ^ Вазирани, Умеш; Видик, Томас (2012). «Сертифицируемые квантовые кости: или генерация истинных случайных чисел, защищенная от квантовых противников». 44-й симпозиум по теории вычислений (STOC). С. 61–76.
  8. ^ Миклош Санта, Умеш В. Вазирани (1984-10-24). «Генерация квазислучайных последовательностей из слегка случайных источников» (PDF). Материалы 25-го симпозиума IEEE по основам компьютерных наук. Калифорнийский университет. С. 434–440. ISBN  0-8186-0591-X. Получено 2006-11-29.
  9. ^ Колбек, Роджер; Реннер, Роджер (2012). «Свободную случайность можно усилить». Природа Физика. 8 (6): 450–453. arXiv:1105.3195. Bibcode:2012НатФ ... 8..450С. Дои:10.1038 / nphys2300.
  10. ^ Гальего, Родриго; Масанес, Луис; Де ла Торре, Гонсало; Дхара, Чираг; Аолита, Леандро; Ацин, Антонио (2014). «Полная случайность от произвольно детерминированных событий». Nature Communications. 4: 2654. arXiv:1210.6514. Bibcode:2013 НатКо ... 4E2654G. Дои:10.1038 / ncomms3654. PMID  24173040.