Как победить гроссмейстера, не умея играть в шахматы. Про злоупотребление доказательства с нулевым знанием

Моя цель - предложение широкого ассортимента товаров и услуг на постоянно высоком качестве обслуживания по самым выгодным ценам.

Прежде чем перейти к статье, хочу вам представить, экономическую онлайн игру Brave Knights, в которой вы можете играть и зарабатывать. Регистируйтесь, играйте и зарабатывайте!

Это Алиса. Она не умеет играть в шахматы, но изучает защиту информации. Поэтому она сможет обыграть гроссмейстера. Для этого ей понадобится:

  • Два гроссмейстера,

  • Две шахматные доски с фигурами,

  • Две комнаты.

И вот как она этого добьется.

Проблема гроссмейстера

Алиса приглашает Гарри Каспарова и Анатолия Карпова сыграть с ней в шахматы в одном месте, в одно время, но в разных комнатах. Ни Каспаров, ни Карпов, не знают о присутствии другого. 

Алиса играет белыми в партии с Каспаровым и черными в партии с Карповым. 

Сначала Карпов делает ход первым, так как он играет за белых. Алиса записывает ход, идёт в комнату к Каспарову и повторяет записанный ход. Далее записывает ответ Каспарова черными и повторяет этот ход в партии с Карповым.

Так продолжается до тех пор, пока она не выиграет одну из партий, проигрывая другую. Либо обе партии заканчиваются вничью.

На самом деле Каспаров и Карпов играют друг с другом, а Алиса является просто посредником, передающим ходы одного другому. Однако, если Карпов и Каспаров не знают о присутствии друг друга, они крайне удивятся мастерством Алисы.

Проблема гроссмейстера – это злоупотребление доказательства с нулевым знанием. Посмотрим, что это такое.

Доказательство с нулевым знанием

Это криптографический протокол, позволяющий доказать проверяющему знание о чем-либо, при этом проверяющий не получает никакую информацию о самом знании.

Доказательство имеет форму интерактивного протокола. Допустим Алиса хочет доказать Бобу, что знает секрет, но не рассказать сам секрет. Боб задаёт Алисе ряд вопросов. Если Алиса знает секрет, то ответит на все вопросы правильно. Но ни один из вопросов и ответов не даст Бобу содержание секрета, но докажет знание Алисы. Доказательство с нулевым знанием используется для доказательства идентичности. Эта схема была впервые предложена Уриелем Файгом, Амосом Фиатом и Ади Шамиром. Однако, она не совершенна, есть различные злоупотребления. И проблема гроссмейстера это доказывает.

В примере с проблемой гроссмейстера Алиса не знала секрета, но она нашла Виктора, который знает секрет. И когда Боб задавал вопросы Алисе, она задавала их Виктору, и ответы Виктора передавала Бобу, выдавая их за свои.  

Так, Алиса воспользовалась злоупотреблением доказательства с нулевым знанием.

В данном примере некоторая сторона может доказать владение секретом, не обладая им на самом деле или, другими словами, может имитировать то лицо, которому на самом деле принадлежит секрет. Есть и другие злоупотребления доказательства с нулевым разглашением. Рассмотрим их.

Обман, выполненный мафией

Алиса ужинает в ресторане Боба. Кэрол выбирает дорогие бриллианты в ювелирном магазине Дэйва. Боб и Кэрол – мафия, Алиса и Дэйв – ничего не подозревающие люди.

Алиса завершает ужин и идёт расплачиваться. Для этого ей нужно доказать свою личность Бобу. Боб подает сигнал Кэрол по тайному каналу связи, и та идёт на кассу с бриллиантами подороже и собирается доказать свою личность Дэйву. И пока Алиса доказывает свою личность Бобу, Боб передаёт сведения об Алисе Кэрол, и та передаёт их Дэйву. Дэйв запрашивает сведения Кэрол, Кэрол передаёт их Бобу, и Боб запрашивает сведения у Алисы. Когда Алиса отвечает, Боб передаёт правильный ответ Кэрол, а та Дэйву.

Получается, что Алиса просто доказывает свою личность Дэйву, тем самым покупая бриллианты. А личности Боба и Кэрол остаются незамеченными.

Обман, выполненный террористами

Теперь Алиса и Кэрол действуют сообща, пытаясь обмануть Дэйва. Кэрол – известная террористка, Алиса помогает ей въехать в страну. Дэйв – офицер-пограничник. Алиса и Кэрол общаются по тайному каналу связи.

Кэрол на машине подъезжает к границе, где её встречает Дэйв. Кэрол должна доказать свою личность. Дэйв запрашивает вопросы согласно доказательству нулевого знания. Кэрол передаёт запросы Алисе, та отвечает на них, Кэрол передаёт ответы Дэйву.

Получается, что Алиса подтверждает свою личность Дэйву, а Кэрол попадает в страну незамеченной и устраивает теракт.

Предлагаемые решения

Эти злоупотребления возможны благодаря тайному каналу связи. В случае проблемы гроссмейстера «тайным каналом» является переход Алисы из комнаты в комнату. Одним из способов предотвращения обмана является проведение процедуры доказательства личности в помещении, блокирующем связь – своеобразной клетке Фарадея. Тогда террористка Кэрол не получит сообщения от Алисы, хозяин ресторана Боб не передаст сведения Кэрол, а Алисе, запертой в одной комнате, придётся сдаться гроссмейстеру, чтобы не краснеть от стыда.

Тотас Бот и Иво Десмедт предложили ещё одно решение проблемы – ограничить время доказательства личности. У мошенников не останется времени для обмена информацией. В случае с шахматами, если время на обдумывание хода поставить не больше одной минуты, то Алиса не успеет перебежать из комнаты в комнату и повторить ход.

Заключение

В реальном мире для доказательства личности используются физические символы – паспорт, водительские права, кредитные карты. Эти носители содержат что-то, связывающее их с конкретным человеком – фотографию, подпись. Но в цифровом мире не покажешь паспорт или права каждому запрашивающему устройству, и тогда на помощь приходят закрытые ключи и подобные схемы. Берегите свои данные и как говорится в смс, никому не сообщайте этот код!

Материал подготовлен при использовании литературы:

Шнайер Б. Прикладная криптография, 2-е издание: протоколы, алгоритмы, исходные тексты на языке Си //Под редакцией ПВ Семьянова. М., Триумф. – 2002. – С. 14.

Источник: https://habr.com/ru/post/530922/


Интересные статьи

Интересные статьи

Бытует ошибочное мнение, что на Nintendo 64 не только не во что играть, но и буквально нечем. И если с первой половиной тезиса я поспорю позднее, то со второй начну прямо сейчас. Имея Sony в к...
Умирая в игре 30-й раз, невольно задумываешься: все ли продумал геймдизайнер и не напортачил ли он с балансом? Не всегда можно подстроиться под неожиданные изменения, особенно когда они созда...
Приветствую вас (лично вас, а не всех кто это читает)! Сегодня мы: Создадим приложение (навык) Алисы с использованием нового (октябрь 2019) сервиса Yandex Cloud Functions. Настроим н...
В 2019 году люди знакомятся с брендом, выбирают и, что самое главное, ПОКУПАЮТ через интернет. Сегодня практически у любого бизнеса есть свой сайт — от личных блогов, зарабатывающих на рекламе, до инт...
Практически все коммерческие интернет-ресурсы создаются на уникальных платформах соответствующего типа. Среди них наибольшее распространение получил Битрикс24.