Начнем, пожалуй, с того, что отступим из Квантландии назад, в безопасные земли вычислительной сложности. Посмотрим, в частности, как в 1980-е и 1990-е гг. теория вычислительной сложности заново изобрела тысячелетнюю концепцию математического доказательства — придав ей вероятностный, интерактивный и криптографический характер. Но затем, подготовив новомодные инструменты, мы вернемся в Квантландию и соберем урожай. В частности, я покажу вам, почему если бы можно было видеть траекторию скрытого параметра целиком, то можно было бы решать любые задачи, принимающие «статистический протокол доказательства с нулевым разглашением», в том числе такие задачи, как задача об изоморфизме графов, для которой пока неизвестен эффективный квантовый алгоритм.