Аналіз параметрів рекурсивних протоколів SNARK-доведень та способи симуляції доведення у цих протоколах

Скорочена інформація про документ
dc.contributor.advisorКовальчук, Людмила Василівна
dc.contributor.authorСтасюкевич, Анатолій Тимурович
dc.date.accessioned2020-06-26T11:42:37Z
dc.date.available2020-06-26T11:42:37Z
dc.date.issued2020-06
dc.description.abstractenThe goal of this qualification work is to analyze the parameters of SNARK-proofs and substantiate the properties of triplets in recursive SNARK-proofs. During the work, two proof simulation algorithms were built for the zk-SNARK protocol, depending on when the parameters for the simulation were received: during configuration or after. For the first time, the properties of triplets for recursive SNARKs were formulated and proved. The obtained results can be used for further development of the SNARK-proof protocol and the Coda protocol.uk
dc.description.abstractukМетою даної кваліфікаційної роботи є аналіз параметрів SNARK-доведень та обґрунтування властивостей триплетів у рекурсивних SNARK-доведеннях. Під час виконання роботи було побудовано два алгоритми симуляції доведення для протоколу zk-SNARK, в залежності від моменту отримання параметрів для симуляції: під час налаштування чи після. Вперше було сформульовано та доведено властивості триплетів для рекурсивних SNARK-ів. Отримані результати можна використовувати для подальшого розвитку протоколу SNARK-доведень та протоколу Coda.uk
dc.format.page51 с.uk
dc.identifier.citationСтасюкевич, А. Т. Аналіз параметрів рекурсивних протоколів SNARK-доведень та способи симуляції доведення у цих протоколах : дипломна робота ... бакалавра : 113 Прикладна математика / Стасюкевич Анатолій Тимурович. – Київ, 2020. – 51 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/34528
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectблокчейнuk
dc.subjectSNARKuk
dc.subjectсимуляція доведенняuk
dc.subjectрекурсивні SNARK-доведенняuk
dc.subjectblockchainuk
dc.subjectsimulation of proofuk
dc.subjectrecursive SNARK-proofuk
dc.titleАналіз параметрів рекурсивних протоколів SNARK-доведень та способи симуляції доведення у цих протоколахuk
dc.typeBachelor Thesisuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Stasiukevych_bakalavr.pdf
Розмір:
623.04 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.06 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Бакалаврські роботи (ММЗІ)
Бакалаврські роботи