Ковальчук, Людмила ВасилівнаБещук, Андрій Андрійович2023-01-252023-01-252022-05Бещук, А. А. Побудова загальної моделі STARK–доведень для підтвердження коректності отриманих результатів : магістерська дис. : 113 Прикладна математика / Бещук Андрій Андрійович. – Київ, 2022. – 81 с.https://ela.kpi.ua/handle/123456789/52069Метою даною роботи є анал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нений час його роботи та довжина доведення.ukанонімністьанонімність транзакційдоведення без розголошенняблокчейнzero knowledge proofanonymityblockchaintransaction anonymityMaster Thesis81 с.