Метод Zero Knowledge Proofs

  • Просмотров 1321
  • Скачиваний 161
  • Размер файла 19
    Кб

РЕФЕРАТ НА ТЕМУ ZERO KNOWLEDGE PROOFS ДОКОЗАТЕЛЬСТВА С НУЛЕВЫМ ЗНАНИЕМ работу выполнили: ученики 10а класса ГОЛИКОВ АНДРЕЙ СИРОКЛИН ВАЛЕНТИН 1998 год В наше время при таком количестве электроники в мире очень важно создать систему шифровки которую нельзя подделать. Старые способы шифрования не подходят так как шифр может попасть в чужие руки или может быть «взломан» компьютером. Поэтому своевременно и очень перспективно появления

метода Zero Knowledge Proofs (доказательства с нулевым знанием) позволяющий создать систему шифровки которая с данной точностью подтверждает что человек тот за кого он себя выдает и не дает никакой информации которую можно использовать другому человеку. Метод ZKP основан на том что проверяющий знает всегда только половину информации. Конечно при таком условии нельзя быть уверенным в том что человек тот за кого он себя выдает. Но

проверяющий каждый раз может спросить любую часть информации причем несколько раз. Рассмотрим данный метод на примере графов. Граф- конечная совокупность точек, называемых вершинами; некоторые из них соединены друг с другом линиями, называемыми ребрами графа. Простейший вид графа - это города соединенные дорогами на карте. У каждого графа с количеством точек больше двух есть гамильтонов цикл- это способ соединения всех вершин

графа одной кривой, проходящий по его ребрам и не проходящий через одну вершину два раза. Допустим проверяющему показали гамильтонов цикл графа но он не знает от какой точки к какой идти, если проверяющий убедился в том что у проверяемого нужный граф то он не видит гамильтонов цикл так как у графа изменились координаты точек. Каждый вопрос будет понижать шансы на случайный ответ. С начало вероятность угадать равна 1/2, потом 1/4 и

через сто вопросов вероятность упадет до 1/2100 . Согласитесь что если человек не знает правильного графа и гамильтонова цикла то ему будет затруднительно ответить чтобы хоть раз не ошибиться, а проверка заканчивается при первой же ошибке. Как происходит проверка. Допустим Алису проверяет Боб. У Алисы есть граф для которого как она утверждает знает гамильтонов цикл. Сначала Алиса приходит к Бобу с графом у которого закрыты узлы