2. Создание запутанности на 30-метровой линии. Два сверхпроводящих квантовых чипа охлаждаются до температур, близких к абсолютному нулю, и соединяются с помощью 30-метровой криогенной связи . Их приводят в состояние квантовой запутанности, что означает: измерения на одном чипе мгновенно коррелируют с состоянием другого, демонстрируя квантовую нелокальность.
3. Сертификация случайности с помощью беcпробельного теста Белла. Слабая исходная случайность определяет настройки измерений для запутанных кубитов. Когда результирующие корреляции нарушают неравенство Белла, исключая любые объяснения через скрытые локальные параметры, результаты доказываются как фундаментально непредсказуемые — не просто неизвестные, а стохастические по своей природе . Это нарушение неравенства Белла эффективно «усиливает» низкокачественную входящую случайность в почти идеальные приватные биты на выходе.
Ключевой вывод заключается в том, что тест Белла не просто подтверждает наличие запутанности; он динамически проверяет и сертифицирует случайность самого процесса квантового измерения .
Сертифицированно совершенная случайность устраняет фундаментальную уязвимость в криптографических системах:
Платой за совершенство является скорость. Достижение строгой сертификации требует экспериментальной сложности, которая пока что ограничивает скорость генерации случайных битов по сравнению с коммерческими некриптографическими квантовыми генераторами случайных чисел.
Метод ETH Zurich появился в мае 2026 года, чуть более чем через год после другой важной вехи: в марте 2025 года команда из JPMorganChase, Quantinuum, Аргоннской национальной лаборатории, Окриджской национальной лаборатории и Техасского университета в Остине продемонстрировала сертифицированное расширение случайности, используя 56-кубитный квантовый компьютер на захваченных ионах, также опубликованное в Nature . Эти два достижения представляют собой взаимодополняющие подходы к одной проблеме, но с разными преимуществами.
Усиление случайности от ETH Zurich берет большой объем несовершенной, публичной случайности и фильтрует его в меньшее количество совершенной. Техника не зависит от устройства: математическая гарантия не опирается на доверие к оборудованию, что делает ее устойчивой даже в случае злонамеренного производителя чипов . Этот подход решает более фундаментальную проблему, поскольку ему вообще не требуется идеальное доверенное «зерно».
Расширение случайности от JPMorgan, основанное на протоколе 2018 года, предложенном Скоттом Ааронсоном, берет короткое доверенное случайное «зерно» и расширяет его в гораздо больший объем сертифицированного результата . В эксперименте использовался процессор Quantinuum H2, выполняющий сэмплирование случайных схем, и классическая верификация на суперкомпьютерах экзафлопсного класса, что позволило сертифицировать не менее 71 313 бит энтропии
. Гарантия устойчива к злоумышленнику — надежна даже против вредоносного квантового компьютера, — но протокол требует изначального доверенного «зерна», без которого подход ETH обходится
.
Два метода предназначены для разных практических сценариев. Расширение JPMorgan производит значительно больше случайных битов и находится ближе к интеграции с существующей инфраструктурой квантовых вычислений . Усиление ETH Zurich решает проблему начального «зерна» на более фундаментальном уровне, доказывая, что совершенную случайность можно извлечь из мира, где изначально не существует доверенных источников случайности
.
Ни один из методов пока не может напрямую заменить стандартные генераторы случайных чисел в промышленных системах, но вместе они прокладывают путь от непроверяемой статистической случайности, которая всегда оставляла неприятный осадок сомнения в контексте высокой безопасности, к математически сертифицированным гарантиям. Следующей задачей станет инженерное воплощение этих доказательств концепции в оборудование и протоколы, способные работать в масштабе, сохраняя свои сертификационные гарантии.
Comments
0 comments