Реферат: Метод Zero Knowledge Proofs (доказательства с нулевым знанием) - текст реферата. Скачать бесплатно.
Банк рефератов, курсовых и дипломных работ. Много и бесплатно. # | Правила оформления работ | Добавить в избранное
 
 
   
Меню Меню Меню Меню Меню
   
Napishem.com Napishem.com Napishem.com

Реферат

Метод Zero Knowledge Proofs (доказательства с нулевым знанием)

Банк рефератов / Радиоэлектроника

Рубрики  Рубрики реферат банка

закрыть
Категория: Реферат
Язык реферата: Русский
Дата добавления:   
 
Скачать
Архив Zip, 29 kb, скачать бесплатно
Заказать
Узнать стоимость написания уникального реферата

Узнайте стоимость написания уникальной работы

11 РЕФЕРАТ НА ТЕМУ ZERO KNOWLEDGE PROOFS ДОКОЗАТЕЛЬСТВА С НУЛЕВЫМ ЗНАНИ ЕМ работу выполнил и : ученики 10 а класса ГОЛИКОВ АНДРЕЙ СИРОКЛИН ВАЛЕНТИН 1998 год В наше врем я при таком количестве электроники в мире очень важно создать систему шифровки кот орую нельзя подделать . Ста рые способы шифрования не подходят так как шифр может попасть в чужие руки или может быть “взломан” компьютером. Поэтому свое временно и очень перспективно появления метод а Zero Knowledge Proofs ( до казательства с нулевым знанием ) позволяющий с оздать систе му шифровки которая с дан ной точностью подтверждает что человек тот за кого он себя выдает и не дает никакой информации которую можно использовать другому человеку. Метод ZKP основан на том что проверяющий знает всегда только половину информации . Конечно при таком условии нельзя быть уверенн ым в том что человек тот за кого он себя выдает . Но проверяющий каждый раз может спросить любую часть информации пр ичем несколько раз. Рассмотрим да нный метод на примере графов . Граф - конечн ая совокупность точек , назыв аемых вершина ми ; некото рые из них соединены друг с другом ли ниями , называемыми ребрами графа . Простейший в ид графа - это города соединенные дорогами на карте. У каждого г рафа с количеством точек больше двух есть гамильтонов цикл - это способ соединения в се х вершин графа одной кривой , проходя щий по его ребрам и не проходящий чер ез одну вершину два раза . Допустим проверя ющему показали гамильтонов цикл графа но он не знает от какой точки к какой идти , если проверяющий убедился в том ч то у проверяемого нужный г раф т о он не видит гамильтонов цикл так ка к у графа изменились координаты точек. Каждый вопрос будет понижать шансы на случайный ответ . С начало вероятность угадать равна 1 / 2, потом 1/4 и через сто вопросов вероятность упадет до 1 /2 100 . Согласитесь что ес ли человек не знает правильного графа и гамильтонова цикла то ему буде т затруднительно ответить чтобы хоть раз не ошибиться , а проверка заканчивается при первой же ошибке. Как происходит проверка . Допустим Алису проверяет Боб . У Алисы есть граф для которог о как она утверждает знает гамильтонов цикл . Сначала Алиса приходит к Бобу с графом у которого закрыты узлы монетами . Она спрашивает боба что ему показать : Гамильтонов цикл или узлы графа . Боб бросает монету и говорит покажи мне узлы , Алиса сним ает монет ы и Боб видит что действ ительно Каждая точка графа которая обязательн о должна иметь название соединена с друго й так как у боба на проверочном графе. Боб говорит ты просто знала что я спрошу . Тогда Алиса отворачивается меняет расположение точек в пространст ве снов а их закрывает поворачивается и опять спр ашивает Боба что ему показать . Боб опять бросает монету и на этот раз говорит покажи мне гамильтонов цикл Алиса соедин яет все точки графа друг с другом не проходя по ним два раза . Боб убеждает ся что Алиса де й ствительно знает гамильтонов цикл для данного графа но не знает название точки от какой Алиса проводит кривую . Таким образом Спросив Ал ису сто раз Боб убеждается что она де йствительно та за кого себя выдает . При этом Боб так и не узнал Гамильтонов цикл дл я данного графа так ка к не знал последовательность точек которые надо соединять а гамильтонов цикл найти для граф с десятью вершинами уже не просто , а если у графа 100 вершин то э то уже почти невозможно . А если вершин 1000 то подбор гамильтонова цикла на с о временном компьютере займет несколько со тен лет. Перед Алисой встает таже задача по нахождению гамильтон ова цикла для своего графа . Алиса решает эту задачу так : Алиса рисует любую запутанную кривую в точках перигиба кривой Алиса рас ставляет точки графа . П отом между дан ными точками проводит еще несколько ребер графа чтоб усложнить его . И получает до статочно сложный граф для которого она зн ает гамильтонов цикл . Данный граф передают проверяющему не говоря ему гамильтонов цик л. Чтоб показать вам всю сложност ь нахождения гамильтонова цикла рассмотрим гра ф из семи точек , приведенный на рисунке ниже . Если попытаться самому придумать гами льтонов цикл то на это уйдет от 30 мину т до нескольких часов. На рисунке показан граф с 7 вершинами ; сплошные линии - гамильто нов цикл для данного графа пунктир ребра по которым не прошла кривая гамильтонова цикла. В качестве Боба и Алисы могут выс тупать компьютер и пластиковая карточка типа той которая сейчас служит для бан ковских расчетов . Даже если человек сможет подключится к проверяющему компьютеру то о н все равно не сможет узнать гамильтонов цикл для графа находящегося на карточке. Метод ZKP может использоваться не только для примера с графами но и на многих других примерах , просто в данном случае л егче всего объяснить в чем суть метода ZKP . Хоть и явны видны преимущества данного вида кодировки нельзя забывать и про систему ( PASSWORD )овых шифровок так как если охраняется н е очень важный объект то проще и быст рее проверять (PASSWORD) чем проводить проверку методом ZKP. Мы попробовали пройти систему кодировки ZKP . Для примера мы разобрали разные фрагменты графов что бы найти закономернос ть в построении гамильтонова цикла .Мы можем найти алгоритм построения гамильтонова цикла на данных фрагментах, что бы в дальнейшем с троить этот цикл на более сложных графах. Пример 1. A A E D C B F S N P G A В данном графе легко можно B построить гам ильтонов цикл F G E так как в данном графе есть два S P контура , которые находятся N друг в друге и соединены точ ками. C D Таким образо м построение данного графа является самим гамильтоновым циклом и практически все гра фы строятся на основе самого гамильтонова цикла . С добавлением других ребер. Гамильтонов цикл легко искать если г раф име ет вид замкнутых контуров соед иненных более чем через две точки друг с другом Пример 2. На данном графе намного сложнее постр оить гамильтонов цикл так как не все точки соединены с друг другом А Гамильтонов ц икл : Б Л Д Б А Л К В С Е Д Д Е В данном случае мы нашли С его за 7 минут 34 секунды В К и если бы т очки Б и В не лежали бы рядом то , это заняло бы у нас намного больше времени . Граф не обязательно должен быть таким , главное что граф может растягиваться как угодно ,и точки могут менять свои к оординаты , главное что бы A соединялось с Б Д Л и тд. Пример 3. Мы можем разбивать сложные графы на более простые , гамильтонов цикл которых нам известен .Покажем это на примере ранее рассмотренных графов . А A1 B H B1 H1 G R1 T1 E F E1 Y1 C D 1. C1 F1 2. D1 Мы можем пр ойти цикл 1. и можем пройти цикл 2.А если представить что у нас есть цикл из 1 и 2 когда соединены H и B1, C и D1 , то мы можем его пройти его как п ервый если уверены что можем пройти от B1 до C1 по всем точкам , а так как это легко ( B1 R1 A1 T1 H1 Y1 D1 F1 E1 C1) и следовательно мы можем составить для него гамильтонов цикл и таким же образом мы можем составить гамильтонов цикл для многих сложных гр афов , правда с затратой времени , главное найти начальную (конечную ) точку и несколько графов , по которым можно пройти так же легко как и по графу в примере . CHECKING PROGRAM Checking program – разновидность верификации , но эта на много удобнее и деше вле . С HEKING PROGRAM заключ ается в том , что команды , которые посылает программа проходят через специально сделанну ю внутреннюю программу , которая настроена на новую версию , и она просто изменяет т е команды , которые не подходят для данной версии. При из готовлении ракеты надо дела ть для нее специальную программу , но если раньше такая программа уже была сделана для похожей ракеты , а теперь появились маленькие изменения , то CHECKING PROGRAM будет пропуская через себя команды изменять их, если эта команда не изменена , и не будет изменять если данная команд а не требует изменения , таким образом CHECKING PROGRAM экономит время и деньги. Если человек обладает такими навыками то он может зарабатывать на составлении таких программ неплохие деньги .
1Архитектура и строительство
2Астрономия, авиация, космонавтика
 
3Безопасность жизнедеятельности
4Биология
 
5Военная кафедра, гражданская оборона
 
6География, экономическая география
7Геология и геодезия
8Государственное регулирование и налоги
 
9Естествознание
 
10Журналистика
 
11Законодательство и право
12Адвокатура
13Административное право
14Арбитражное процессуальное право
15Банковское право
16Государство и право
17Гражданское право и процесс
18Жилищное право
19Законодательство зарубежных стран
20Земельное право
21Конституционное право
22Конституционное право зарубежных стран
23Международное право
24Муниципальное право
25Налоговое право
26Римское право
27Семейное право
28Таможенное право
29Трудовое право
30Уголовное право и процесс
31Финансовое право
32Хозяйственное право
33Экологическое право
34Юриспруденция
 
35Иностранные языки
36Информатика, информационные технологии
37Базы данных
38Компьютерные сети
39Программирование
40Искусство и культура
41Краеведение
42Культурология
43Музыка
44История
45Биографии
46Историческая личность
47Литература
 
48Маркетинг и реклама
49Математика
50Медицина и здоровье
51Менеджмент
52Антикризисное управление
53Делопроизводство и документооборот
54Логистика
 
55Педагогика
56Политология
57Правоохранительные органы
58Криминалистика и криминология
59Прочее
60Психология
61Юридическая психология
 
62Радиоэлектроника
63Религия
 
64Сельское хозяйство и землепользование
65Социология
66Страхование
 
67Технологии
68Материаловедение
69Машиностроение
70Металлургия
71Транспорт
72Туризм
 
73Физика
74Физкультура и спорт
75Философия
 
76Химия
 
77Экология, охрана природы
78Экономика и финансы
79Анализ хозяйственной деятельности
80Банковское дело и кредитование
81Биржевое дело
82Бухгалтерский учет и аудит
83История экономических учений
84Международные отношения
85Предпринимательство, бизнес, микроэкономика
86Финансы
87Ценные бумаги и фондовый рынок
88Экономика предприятия
89Экономико-математическое моделирование
90Экономическая теория

 Анекдоты - это почти как рефераты, только короткие и смешные Следующий
Новость: "Владелец "Центробуви" объявлен в федеральный розыск".
Комментарий: Обул кого-то не того...
Anekdot.ru

Узнайте стоимость курсовой, диплома, реферата на заказ.

Обратите внимание, реферат по радиоэлектронике "Метод Zero Knowledge Proofs (доказательства с нулевым знанием)", также как и все другие рефераты, курсовые, дипломные и другие работы вы можете скачать бесплатно.

Смотрите также:


Банк рефератов - РефератБанк.ру
© РефератБанк, 2002 - 2016
Рейтинг@Mail.ru