Побудова загальної моделі STARK–доведень для підтвердження коректності отриманих результатів
Вантажиться...
Дата
2022-05
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Метою даною роботи є аналiз iснуючих пiдходiв до доведень без
розголошення, зокрема, STARK-доведень, та побудова загальної моделi
iнтерактивного та неiнтерактивного STARK-доведення. Об’єктом
дослiдження. Об’єктом дослiдження є процес захисту персональних даних
при виконаннi автентифiкацiї та авторизацiї. Предметом дослiдження є
STARK-протоколи та побудова загальної моделi та алгоритму
STARK-протоколу.
Були розглянутi рiзнi приклади застосування STARK-доведень, був
побудований загальний вигляд STARK-протоколу, його алгоритм,
проаналiзованi умови, коли можна створити STARK-доведення, та була
оцiнений час його роботи та довжина доведення.
Опис
Ключові слова
анонімність, анонімність транзакцій, доведення без розголошення, блокчейн, zero knowledge proof, anonymity, blockchain, transaction anonymity
Бібліографічний опис
Бещук, А. А. Побудова загальної моделі STARK–доведень для підтвердження коректності отриманих результатів : магістерська дис. : 113 Прикладна математика / Бещук Андрій Андрійович. – Київ, 2022. – 81 с.