Ковальчук, Людмила ВасилівнаСтасюкевич, Анатолій Тимурович2020-06-262020-06-262020-06Стасюкевич, А. Т. Аналіз параметрів рекурсивних протоколів SNARK-доведень та способи симуляції доведення у цих протоколах : дипломна робота ... бакалавра : 113 Прикладна математика / Стасюкевич Анатолій Тимурович. – Київ, 2020. – 51 с.https://ela.kpi.ua/handle/123456789/34528Метою даної кваліфікаційної роботи є аналіз параметрів SNARK-доведень та обґрунтування властивостей триплетів у рекурсивних SNARK-доведеннях. Під час виконання роботи було побудовано два алгоритми симуляції доведення для протоколу zk-SNARK, в залежності від моменту отримання параметрів для симуляції: під час налаштування чи після. Вперше було сформульовано та доведено властивості триплетів для рекурсивних SNARK-ів. Отримані результати можна використовувати для подальшого розвитку протоколу SNARK-доведень та протоколу Coda.ukблокчейнSNARKсимуляція доведеннярекурсивні SNARK-доведенняblockchainsimulation of proofrecursive SNARK-proofBachelor Thesis51 с.