Оптимізація гаджет бібліотек для рекурсивних zk-Snarks
Тип публікації :
Бакалаврська робота
Дата випуску :
2023
Автор(и) :
Ощипок Олена-Іванна Василівна
Мова основного тексту :
ua
eKNUTSHIR URL :
Цитування :
[APA 7] Ощипок, О. В. (2023). Оптимізація гаджет бібліотек для рекурсивних zk-Snarks [Бакалаврська робота, Київський національний університет імені Тараса Шевченка]. eKNUTSHIR. https://ir.library.knu.ua/handle/123456789/5722
[ДСТУ] Ощипок О. В. Оптимізація гаджет бібліотек для рекурсивних zk-Snarks : кваліфікаційна робота бакалавра : 11 Математика та статистика. Київ, 2023. 54 с. URL: https://ir.library.knu.ua/handle/123456789/5722 (дата звернення: 25.07.2026).
Метою роботи є оптимізувати множення точок еліптичної кривої на скаляр за допомогою модернізованого метода “Подвійне скалярне множення з використанням трюку Штрауса-Шаміра з урахуванням Skew representation” та багато інших підходів. Ще однією метою роботи - зробити використання множення точок еліптичної кривої на скаляр безпечним в межах протоколу Zero-knowledge proof. З'ясувати, який метод множення буде найдешевшим в контексті визначеної метрики.
Об’єктом дослідження є множення точок еліптичної кривої на скаляр в системі гаджет бібліотеках рекурсивних zk-Snark’s. Множення повинно виконуватися до стандартів протоколу Zero-knowledge proof. Також розглянуто варіанти практичного застосування описаних методів.
У роботі виконане теоретичне та практичне дослідження, огляд алгоритмів та методів розв’язання задачі оптимізації з використанням різноманітних хитростей та підходів. Кодова база була написана мовою програмування Rust в бібліотеці franklin-crypto. Арифметизація, яка застосовується в бібліотеці – Plonkish та lookup table. Крива, яка була використана для тестування множення – Bn256.
Ключові слова : точки еліптичної кривої, Zero-knowledge proof, мовою програмування Rust.
Об’єктом дослідження є множення точок еліптичної кривої на скаляр в системі гаджет бібліотеках рекурсивних zk-Snark’s. Множення повинно виконуватися до стандартів протоколу Zero-knowledge proof. Також розглянуто варіанти практичного застосування описаних методів.
У роботі виконане теоретичне та практичне дослідження, огляд алгоритмів та методів розв’язання задачі оптимізації з використанням різноманітних хитростей та підходів. Кодова база була написана мовою програмування Rust в бібліотеці franklin-crypto. Арифметизація, яка застосовується в бібліотеці – Plonkish та lookup table. Крива, яка була використана для тестування множення – Bn256.
Ключові слова : точки еліптичної кривої, Zero-knowledge proof, мовою програмування Rust.
Галузі знань та спеціальності :
11 Математика та статистика
113 Прикладна математика
Файл(и) :![Ескіз]()
Вантажиться...
Формат :
Adobe PDF
Розмір :
1.44 MB
Контрольна сума :
(MD5):22ec5905a581bd952d454968869793e7
Якщо не вказано інше, ця робота розповсюджується на умовах ліцензії Creative Commons Attribution-NonCommercial 4.0 International