Search academic texts

Information × Registration Number 2120U007910, Article popup.category Бакалаврська робота Title Аналіз параметрів рекурсивних протоколів SNARK-доведень та способи симуляції доведення у цих протоколах (AI translated) popup.author Стасюкевич Анатолій ТимуровичStasiukevych Anatolii Tymurovych popup.publication 01-06-2020 popup.source_user Національний технічний університет України «Київський політехнічний інститут імені Ігоря Сікорського» popup.source https://ela.kpi.ua/handle/123456789/34528 popup.publisher Київ Description Метою даної кваліфікаційної роботи є аналіз параметрів SNARK-доведень та обґрунтування властивостей триплетів у рекурсивних SNARK-доведеннях. Під час виконання роботи було побудовано два алгоритми симуляції доведення для протоколу zk-SNARK, в залежності від моменту отримання параметрів для симуляції: під час налаштування чи після. Вперше було сформульовано та доведено властивості триплетів для рекурсивних SNARK-ів. Отримані результати можна використовувати для подальшого розвитку протоколу SNARK-доведень та протоколу Coda. The 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. popup.nrat_date 2025-11-05 Close