Магістерські роботи (ММЗІ)
Постійне посилання зібрання
Переглянути
Нові надходження
Документ Відкритий доступ Побудова та узагальнення моделi стiйкої до ASIC- атак хеш-функцiї Verthash(КПІ ім. Ігоря Сікорського, 2026) Молдован, Дмитро Володимирович; Кучинська, Наталiя ВiкторiвнаIснуючi ASIC-стiйкi алгоритми хешування, що застосовуються в блокчейн-мережах на основi протоколiв консенсусу Proof of Work функцiонують на основi вiдкритих специфiкацiй, проте потребують теоретичного узагальнення, через брак формального математичного опису їх структурних схем. Розробка математичних моделей алгоритмiв хешування, направлених на протидiю атакам на спецiалiзованому обладнанню (ASIC), є основою до аналiзу їх стiйкостi та побудови нових бiльш стiйких децентралiзованих систем. З огляду на це, метою квалiфiкацiйної роботи є формалiзацiя, структурно-графiчне моделювання та аналiз факторiв стiйкостi до ASIC алгоритму хешування Verthash. Серед головних результатiв, отриманих в ходi виконання дослiдження, є формалiзацiя та представлення у виглядi графiчних схем архiтектури алгоритму хешування алгоритму Verthash. Розроблено систематичну модель генерацiї базового масиву псевдовипадкових даних verthash.dat. Систематизовано технiчнi чинники забезпечення стiйкостi до атак на спецiалiзованому обладнанню (ASIC), що базуються на обмеженнi пропускної здатностi шини пам’ятi. Проведено порiвняльний аналiз технiчних та криптографiчних характеристик пам’яттєво-залежних алгоритмiв хешування (Dagger-Hashimoto, Ethash, Verthash), результати проведеного аналiзу представлено у виглядi аналiтичної таблицiДокумент Відкритий доступ Диференцiйно-нейронний криптоаналiз блокового шифру «Калина»(КПІ ім. Ігоря Сікорського, 2026) Бєш, Радомир Андрiйович; Кучинська, Наталiя ВiкторiвнаПрактичне застосування методiв диференцiйно-нейронного криптоаналiзу до нацiонального блокового шифру «Калина» (ДСТУ 7624:2014) для рiзних розмiрiв блоку (128, 256, 512 бiт). Розроблено програмний iнструментарiй, що включає С-бекенд шифру з batch-API, Python-адаптер та двi архiтектури нейронних розрiзнювачiв ResNet та Inception. Реалiзовано процедуру формування навчальних пар з фiксованою вхiдною рiзницею у двох режимах: оригiнальна «Калина» з round-reduced та «Калина» без забiлювання на першому раундi з round-reduced. Проведено серiю експериментiв та виявлено специфiчну конфiгурацiю round-reduced варiанту Калини-512/512, на якiй нейронний розрiзнювач досягає точностi 0,968 на двох раундах. Блоковий шифр «Калина» та його round-reduced варiанти. Процес побудови та тренування нейронних розрiзнювачiв для пар шифртекстiв.Документ Відкритий доступ Криптографiчнi параметри S-функцiй спецiального виду(КПІ ім. Ігоря Сікорського, 2026) Бондар, Петро Олександович; Яковлєв, Сергiй ВолодимировичУ цiй роботi наведено огляд поточних результатiв дослiдження та застосування методiв обертального, диференцiального та диференцiально-обертального криптоаналiзу. Також було наведено побудову алгоритмiв для оцiнки диференцiальних та диференцiально-обертальних ймовiрностей до однiєї iз ускладнюючих функцiй, що була використана у геш-функцiї Shabal. Основним предметом дослiдження є функцiя множення на малу константу три f(x) = 3x mod 2n. У ходi виконання дослiдження вдалося побудувати ефективний алгоритм обчислення диференцiальних ймовiрностей для функцiї f(x) для довiльних довжин вхiдного вектора та довiльних значень рiзниць. Також, було розглянуто два нових, поки неопублiкованих, пiдходи для обчислення обертальних та диференцiально-обертальних ймовiрностей S-функцiй. За допомогою цих методiв вдалося пiдтвердити вже вiдомi результати обертального криптоаналiзу функцiї f(x), а також побудовано алгоритм для обчислення RX-ймовiрностей цiєї функцiї. Отриманi результати було пiдтверджено завдяки реалiзацiї запропонованих алгоритмiв програмним шляхом та порiвнянню отриманих результатiв iз пiдрахунком вiдповiдних ймовiрностей шляхом повного перебору.Документ Відкритий доступ Методи off-chain обчислень з on-chain верифiкацiєю за вiдсутностi ефективної SNARK-верифiкацiї(КПІ ім. Ігоря Сікорського, 2026) Волинець, Сергiй Анатолiйович; Яковлєв, Сергiй ВолодимировичМетою роботи є систематизацiя iснуючих пiдходiв до побудови систем off-chain обчислень з on-chain верифiкацiєю для Bitcoin подiбних мереж. Об’єктом дослiдження є протоколи виконання довiльних обчислень off-chain зi збереженням можливостi їхньої верифiкацiї on-chain. Предметом дослiдження є конкретнi протоколи, архiтектури графiв транзакцiй та методи зменшення вартостi on-chain слiду в протоколах типу BitVM. У роботi розглянуто теоретичну базу (схеми комiтментiв, ZK-SNARK, схеми спотворення, ключовi властивостi мережi Bitcoin) та проведено порiвняльний аналiз трьох поколiнь протоколу BitVM. BitVM1 показав принципову можливiсть довiльних обчислень у Bitcoin без змiни консенсусу. BitVM2 застосував ZK-SNARK верифiкатор, щозволив будькому стати спостерiгачем, та покращив вигляд графу транзакцiй. BitVM3 замiнює виконання верифiкатора на блокчейнi схемою спотворення, зводячи оскарження твердження до простого доведення знання секрету. Розглянуто оптимiзацiї Argo MAC, BABE та Duty-Free Bits, що скорочують розмiр схеми у тисячi разiв.Документ Відкритий доступ Побудова методiв криптоаналiзу постквантових примiтивiв з використанням обмеженої деревної ширини(КПІ ім. Ігоря Сікорського, 2026) Кiстаєв, Матвiй Андрiйович; Фесенко, Андрiй В’ячеславовичСтiйкiсть трьох iз чотирьох стандартизованих в результатi конкурсу NIST постквантових криптопримiтивiв ґрунтується на складностi задач на решiтках. Для пiдпису та iнкапсуляцiї ключа CRYSTALS Kyber та Dilithium – це задачi SIS та LWE, для пiдпису FALCON – задачi SVP та BDD. Цi задачi є NP-складними в загальному випадку, однак для них iснують ефективно розв’язнi частковi випадки. Їх дослiдження важливе для криптоаналiзу, оскiльки дозволяє обмежувати множину стiйких ключiв або допустимих параметрiв криптосистем. Параметризована теорiя складностi застосовується для виокремлення властивостей задачi, якi впливають на її складнiсть, що дозволяє описати ефективно розв’язнi частковi випадки. Одним з широко дослiджених параметрiв є деревна ширина графа – мiра близькостi графа до того, щоб бути деревом. Метою роботи є побудова параметризацiй задач SVP, BDD, SIS та LWE на основi поняття деревної ширини графа, для яких вони належать класу складностi FPT, та розробка методiв криптоаналiзу постквантових криптосистем на решiтках на основi отриманих результатiв. Об’єктом дослiдження є iнформацiйнi процеси в системах криптографiчного захисту. Предметом дослiдження є параметри задач на решiтках та їх вплив на складнiсть таких задач. У результатi побудовано зведення обраних задач на решiтках до задачi цiлочисельного програмування BIQP. На основi цього запропоновано параметризацiї задач SVP, BDD, LWE та SIS, для яких вони належать класу FPT. Запропоновано конкретнi пiдходи до криптоаналiзу алгоритмiв, стiйкiсть яких ґрунтується на складностi задач SVP та BDD.Документ Відкритий доступ Диференцiальнi атаки збоїв на шифри сiмейства SAFER(КПІ ім. Ігоря Сікорського, 2026) Недождій, Максим Андрійович; Яковлєв, Сергiй ВолодимировичУ данiй роботi дослiджується застосування диференцiальних атак збоїв (DFA) на узагальнений SAFER-подiбний шифр, отриманий з дослiдження спiльних рис рiзних представникiв шифрiв сiмейства SAFER [12, 10, 14, 15]. Описано особливостi рiзних представникiв сiмейства i структуру SAFER-подiбного шифру. Наведено схему проведення диференцiальної атаки збоїв на узагальнений шифр. Отримано рiвняння, яке утворюється при проведеннi атаки з внесенням збою у раунд r − 1. Отримано два рiвняння, якi утворюються при розглядi байтiв, на якi накладаються рiзнi S-блоки шифру SAFER при проведеннi атаки з внесенням збою у раунд r − 2. Наведено оцiнки атак по кiлькостi внесених збоїв, отриманої середньої кiлькостi кандидатiв у байт ключа для обох атак. Для атаки з внесенням збою у раунд r − 2 отримано порiвняння використання S-блокiв SAFER проти S-блоку AES [17] та чотирьох S-блокiв ДСТУ 7624:2014 «Калина» [18]Документ Відкритий доступ Методи пiдвищення стiйкостi блокових шифрiв до диферецiального криптоаналiзу на основi альтернативних операцiй(КПІ ім. Ігоря Сікорського, 2026) Сергеєв, Станiслав Олександрович; Яковлєв, Сергiй ВолодимировичМетою дослiдження є побудова S-блокiв, бiльш стiйких до диференцiального криптоаналiзу на основi альтернативних операцiй у порiвняннi з S-блоками шифрiв AES та «Калина», стiйкiсть яких була ранiше дослiджена у [16]. Об’єктом дослiдження є iнформацiйнi процеси в системах криптографiчного захисту iнформацiї. Предметом дослiдження є моделi та методи диференцiального криптоаналiзу блокових шифрiв. В ходi дослiдження було запропоновано метод пiдвищення стiйкостi S-блокiв до диференцiального криптоаналiзу на основi альтернативних операцiй, побудовано S-блоки, що є бiльш стiйкими вiдносно таких операцiй у порiвняннi з оригiнальними S-блоками шифрiв AES та «Калина». Також було обчислено параметри стiйкостi побудованих S-блокiв до iнших типiв атак та виконано порiвняння з параметрами оригiнальних S-блокiв.Документ Відкритий доступ Оцiнювання iмовiрностей диференцiалiв та пар обертання деяких функцiй ускладнення LRX-криптосистем(КПІ ім. Ігоря Сікорського, 2025) Панасюк, Єгор Сергійович; Яковлев, Сергiй ВолодимировичУ ходi роботи було проведено ознайомлення з теорiєю обертального аналiзу та ARX-криптосистем. Метою було знаходження iмовiрностi проходження пар обертання через певнi функцiї спецiального вигляду. Це дає можливiсть вдосконалювати вже наявнi ARX-криптосистеми та помiчати вразливостi при проектуваннi нових криптосистем. Об’єктом дослiдження є обертальний криптоаналiз. Предметом - LRX-криптосистеми.Документ Відкритий доступ Задача оцінювання для системи взаємодіючих осциляторів(КПІ ім. Ігоря Сікорського, 2025) Карловський, Володимир Олександрович; Нiщенко, Iрина IванiвнаМетою дослiдження є побудова моделi систем зв’язаних осциляторiв пiд дiєю випадкових збурень. Об’єктом дослiдження є стохастичнi процеси в системах зв’язаних осциляторiв пiд дiєю випадкових збурень. Предметом дослiдження є моделi та методи оцiнювання розподiлу системи зв’язаних осциляторiв з невiдомим коефiцiєнтом жорсткостi. У роботi побудовано математичну модель системи зв’язаних осциляторiв з невiдомим коефiцiєнтом жорсткостi у виглядi рiвняння авторегресiї та встановлено умови iснування стацiонарного розподiлу. Побудовано двi оцiнки невiдомого параметра: за допомогою методу найменших квадратiв та вибiркового другого моменту. Отримано верхню межу математичного сподiвання квадрата вiдстанi за варiацiєю мiж iстинним та оцiненим розподiлами.Документ Відкритий доступ Аналіз випадкових блукань на гіперкубі(КПІ ім. Ігоря Сікорського, 2025) Міснік, Аліна Олексіївна; Нiщенко, Iрина IванiвнаМетою дослiдження є побудова моделi для аналiзу моменту зустрiчi двох залежних випадкових блукань на гiперкубi. Об’єктом дослiдження є стохастичнi процеси, що моделюють випадковi блукання на дискретних структурах. Предметом дослiдження є ймовiрнiснi властивостi моменту зустрiчi двох залежних випадкових блукань на гiперкубi. Роботу присвячено аналiзу випадкового блукання пари частинок на гiперкубi, динамiка руху якої описується двовимiрним ланцюгом Маркова. Матриця перехiдних ймовiрностей цього ланцюга є такою, що обидва маргiнальнi розподiли пари вiдповiдають простому випадковому блуканню на гiперкубi i, крiм того, закон руху пари вибрано так, щоб мiнiмiзувати математичне сподiвання вiдстанi мiж частинками за один крок. Для такого блукання було знайдено розподiл вiдстанi мiж частинками в кожен момент часу за допомогою твiрних функцiй. Було отримано числовi характеристики моменту зустрiчi, знайдено його граничний розподiл, а також оцiнено ймовiрнiсть великих вiдхилень за допомогою нерiвностi Чернова. Отриманi аналiтичнi результати доповнено чисельним експериментом, що демонструє поведiнку моменту зустрiчi на практицi.Документ Відкритий доступ Оцінка стійкості геш-функції Купина в квантовій моделі обчислень(КПІ ім. Ігоря Сікорського, 2025) Пелешенко, Любов Iгорiвна; Фесенко, Андрiй В’ячеславовичМетою роботи є обчислення оцiнки складностi застосування квантових алгоритмiв Гровера, Брассара-Хоєра-Таппа та Шайу-Наї-Пласенцiї-Шроттенльоєра до геш-функцiї Купина. Об’єктом дослiдження є iнформацiйнi процеси перетворення iнформацiї в геш-функцiї Купина. Предметом дослiджень є оцiнка рiвня захищеностi геш-функцiї Купина до атак з використанням квантових алгоритмiв Гровера, Брассара-Хоєра-Таппа та Шайу-Наї-Пласенцiї-Шроттенльоєра. У роботi проведено огляд наявних атак на геш-функцiї з використанням квантових алгоритмiв, дослiджено особливостi побудови геш-функцiї Купина, детально проаналiзовано особливостi квантових алгоритмiв Гровера, Брассара-Хоєра-Таппа та Шайу-Наї-Пласенцiї-Шроттенльоєра. У результатi було обчислено оцiнки складностi квантових алгоритмiв атак на прообраз та пошук колiзiй з викоритсанням квантових алгоритмiв Гровера, Брассара-Хоєра-Таппата Шайу-Наї-Пласенцiї-Шроттенльоєра до геш-функцiї Купина стосовно кiлькостi запитiв до оракула, кубiтiв та вентилiв та проведено порiвняльний аналiз отриманих оцiнок складностi квантових атак на геш-функцiю Купина та обчислення вiдповiдного рiвня захищеностi геш-функцiї.Документ Відкритий доступ Застосування блокчейн технологiй для побудови децентралiзованих систем стiйких до атак централiзацiї для облiку робочого часу при вiддаленiй роботi(КПІ ім. Ігоря Сікорського, 2025) Футурська, Ольга Володимирiвна; Кудiн, Антон МихайловичУ роботi було розглянуто декiлька варiантiв наявних протоколiв консенсусу, пiсля чого обрано та адаптовано один iз них пiд задачi облiку часу. Запропоновано вiдповiдну модель децентралiзованої перевiрки, що враховує особливостi взаємодiї мiж працiвниками в умовах вiддаленої роботи. Проведено iмовiрнiсне моделювання атаки на децентралiзацiю системи, зокрема й у її спрощенiй формi. Для пiдтвердження теоретичних результатiв застосовано чисельне моделювання, що включає оцiнки через бiномiальний розподiл, центральну граничну теорему та статистичнi експерименти. Метою роботи є розробка децентралiзованої системи облiку робочого часу для вiддалених працiвникiв на основi адаптованого блокчейн-протоколу. Об’єктом дослiдження є архiтектура децентралiзованих систем на основi блокчейн технологiй. Предметом дослiдження є побудова децентралiзованого протоколу консенсусу для трекiнгу вiддалених працiвникiв та методи оцiнки його стiйкостi до атак на децентралiзацiю.Документ Відкритий доступ Методи захисту реалізацій перетворення NTT в постквантових примітивах(КПІ ім. Ігоря Сікорського, 2025) Кріпака, Ілля Анатолійович; Фесенко, Андрiй В’ячеславовичУ роботi запропоновано метод для обчислення 512-значного теоретико-числового перетворення, що використовується у схемi цифрового пiдпису Вершина, iз застосуванням побiтово розрядних операцiй. Доведено коректнiсть алгоритму та його ефективну роботу за сталий час. Отриманi результати дозволяють аналогiчним чином адаптовувати алгоритм для рiзних полiномiв та експлуатувати у криптосистемах, з метою захисту вiд атак iз використанням побiчних каналiв. Запропонований метод не вимагає змiни схеми цифрового пiдпису, а тому є застосовним до поточної схеми лише iз змiною функцiї множення полiномiв.Документ Відкритий доступ Аналiз залежностi часу обробки транзакцiї вiд її параметрiв для рiзних типiв протоколiв консенсусу в блокчейнi(КПІ ім. Ігоря Сікорського, 2025) Коваленко, Дар’я Юрiївна; Ковальчук, Людмила ВасилiвнаДане дослiдження було проведено з метою встановлення характеру та кiлькiсних характеристик залежностi часу обробки транзакцiй вiд розмiру комiсiї для рiзних типiв протоколiв консенсусу в блокчейн-мережах та оцiнки їх вразливостi до атак випередження. Об’єктом дослiдження є процеси обробки транзакцiй у блокчейн-мережах з рiзними протоколами консенсусу (Proof of Work, Proof of Stake, протоколи з секвенсорами) та взаємозв’язок мiж параметрами транзакцiй i їх вразливiстю до атак випередження. У ходi роботи було проведено порiвняльне дослiдження блокчейн-мереж з протоколами консенсусу типу Proof of Work, Proof of Stake та протоколiв з секвенсорами. Розроблено методологiю збору та статистичної обробки даних для аналiзу залежностi часу обробки транзакцiй вiд розмiру комiсiї. Зiбрано та опрацьовано вибiрку з понад 1,1 млн транзакцiй. Дослiджено математичнi моделi атак випередження, розроблено методологiю оцiнки ймовiрностi їх успiху в залежностi вiд характеристик блокчейн-мережi. Запропоновано методику оцiнки ризикiв атак випередження, яка передбачає: визначення наявностi залежностi мiж комiсiєю та часом обробки, застосування вiдповiдних математичних моделей залежно вiд результатiв аналiзу, та обчислення ймовiрностi успiху атаки з урахуванням поточного стану мемпулу. Практичне значення результатiв полягає в можливостi їх використання для оптимiзацiї параметрiв транзакцiй користувачами блокчейн-мереж, мiнiмiзацiї ризику успiшних атак випередження через застосування розроблених теорем i алгоритмiв, а також вдосконалення протоколiв консенсусу розробниками.Документ Відкритий доступ Аспекти управління ключовою інформацією для систем широкомовного шифрування(КПІ ім. Ігоря Сікорського, 2025) Мельник, Iлля Андрiйович; Кудiн, Антон МихайловичМетою дослiдження є аспекти побудови ефективних схем групового шифрування. Об’єктом дослiдження є шифрування у багатокористувацькiй мережi з великою кiлькiстю учасникiв, використовуючи пiдхiд протоколiв широкомовного шифрування. Предметом дослiдження є аспекти управлiння ключовою iнформацiєю в протоколах широкомовного шифрування, забезпечуючи цiлiснiсть та безпеку для шифрування у групах. У данiй роботi наведено протоколи широкомовного шифрування, зокрема протоколи управлiння ключами для групи абонентiв. Було сформульовано основнi проблеми забезпечення властивостей прямої та посткомпрометуючої секретностi, наведено методики керування ключовою iнформацiєю та можливi вразливостi модифiкованих систем. У результатi аналiзу було показано, що модифiкованi схеми широкомовного шифрування мають вразливостi, а саме: залежнiсть вiд iнiцiатора групи, витiк критичної iнформацiї та неможливiсть виконання умов прямої й посткомпрометуючої секретностi.Документ Відкритий доступ Стаціонарний розподіл в багатоурновій моделі Еренфестів зі взаємодією частинок(КПІ ім. Ігоря Сікорського., 2025) Шифрiн, Денис Семенович; Нiщенко, Iрина IванiвнаУ данiй роботi розглянуто стохастичну урнову модель з локальними обмеженнями на перемiщення частинок, що забороняють одночасне перебування сусiднiх частинок в однiй урнi. На основi цiєї моделi побудовано ланцюг Маркова, перехiднi ймовiрностi якого залежать вiд параметра 𝛽, що визначає ступiнь толерантностi системи до конфiгурацiй з високою енергiєю взаємодiї. Показано iснування iнварiантного розподiлу для цього ланцюга та знайдено його вигляд. У граничному випадку 𝛽 → ∞ описано поведiнку системи як виключно антагонiстичної. Встановлено умови, за яких стацiонарна випадкова конфiгурацiя утворює ланцюг Маркова. Практична значущiсть запропонованої моделi полягає у можливостi її застосування до задач оптимального розмiщення, аналiзу рiвноважних i нерiвноважних станiв у статистичнiй фiзицi, а також до побудови стохастичних структур у криптографiчних протоколах.Документ Відкритий доступ Оцiнювання впливу структурних елементiв SP-мереж на їх стiйкiсть до диференцiального криптоаналiзу(КПІ ім. Ігоря Сікорського., 2025) Маринiн, Iван Павло Iгорович; Яковлєв, Сергiй ВолодимировичДана робота мiстить аналiз та застосування методики оцiнювання верхнiх меж диференцiалiв алгоритмiв шифрування побудованих за структурою SP-мережi. У нiй надано опис деяких алгоритмiв та їх оптимiзацiї, якi допоможуть у числовому виглядi оцiнювати стiйкiсть до криптоаналiзу для певного роду симетричних криптосистем. Робота мiстить 3 роздiли: огляд та збiр загальної теоретичної iнформацiї тематики; опис та аналiз запропонованої Келiхером методики оцiнювання криптосистем на стiйкiсть до диференцiального криптоаналiзу; самостiйне проведення експериментiв, якi полягають у статистичному дослiдженнi та аналiз отриманих результатiв. Дослiдження наводить конкретний алгоритм, який дає змогу оцiнити верхнi межi ймовiрностей диференцiалiв SP-мережi для немарковського варiанту. Його покроково обґрунтовано й надано власнi рекомендацiї, щодо його реалiзацiї. Проведено експериментальний процес тестування алгоритму, вичерпно описано його постановку задач та аналiз результатiв.Документ Відкритий доступ Побудова протоколiв захищеного прямого зв’язку в квантовiй моделi топологiчних обчислень(КПІ ім. Ігоря Сікорського, 2025) Зацаренко, Анастасія Юріївна; Фесенко, Андрiй В’ячеславовичМетою дослiдження є побудова протоколiв захищеного прямого зв’язку в квантовiй моделi топологiчних обчислень та їхнiй аналiз стiйкостi. Об’єктом дослiдження є iнформацiйнi процеси в протоколах захищеного прямого зв’язку в квантовiй моделi топологiчних обчислень. Предметом дослiдження є стiйкiсть протоколiв захищеного прямого зв’язку в квантовiй моделi топологiчних обчислень. У роботi побудовано новi протоколи квантового встановлення ключа SARG04 i E91 та квантового захищеного прямого зв’язку LM05 на основi абелевих анiонiв Китаєва. Також побудовано новi протоколи квантового встановлення ключа шести станiв та квантового захищеного прямого зв’язку LM05 на основi неабелевих анiонiв Фiбоначчi. Проведено аналiз стiйкостi побудованих протоколiв та виконано порiвняльний аналiз iз наявними реалiзацiями цих протоколiв.Документ Відкритий доступ Розробка та аналiз методiв проведення тендерних закупiвель з використанням блокчейн технологiй(КПІ ім. Ігоря Сікорського., 2025) Баєвський, Костянтин Олександрович; Ковальчук, Людмила ВасилiвнаМетою дослiдження є розробка та аналiз методiв проведення тендерних закупiвель з використанням блокчейн технологiй. Об’єктом дослiдження є процес проведення тендерних закупiвель. Предметом дослiдження є методи криптографiчного захисту проведення тендерних закупiвель. У результатi виконання роботи було дослiджено сучаснi пiдходи до органiзацiї тендерних закупiвель та проаналiзовано можливостi iнтеграцiї блокчейн технологiй для пiдвищення прозоростi, надiйностi та захищеностi процесiв. Розглянуто особливостi застосування верифiкованих випадкових функцiй (VRF) i протоколiв розподiленого генерування ключiв (DKG) у контекстi побудови безпечних i перевiрюваних тендерних механiзмiв. Розроблено два нових методи проведення тендерiв: один — з використанням VRF для забезпечення прозорого подання заявок, iнший — iз додатковим залученням DKG для збереження конфiденцiйностi. Обидва пiдходи були проаналiзованi з точки зору їхньої захищеностi вiд атак, прозоростi, перевiрюваностi та складностi реалiзацiї. Отриманi результати пiдтверджують доцiльнiсть використання блокчейну в системах публiчних закупiвель i демонструють практичну цiннiсть застосування криптографiчних методiв у цiй сферi.Документ Відкритий доступ Методи вибору та обґрунтування параметрів колатеральних DeFi-протоколів(КПІ ім. Ігоря Сікорського., 2025) Ємець, Єлизавета Миколаївна; Ковальчук, Людмила ВасилiвнаУ роботi дослiджено методи вибору та обґрунтування параметрiв колатеральних DeFi-протоколiв на основi Order Book. Проведено огляд архiтектури децентралiзованих фiнансiв, класифiковано основнi типи колатеральних механiзмiв, обґрунтовано переваги Order Book-моделi у контекстi DeFi-кредитування. Побудовано математичну модель умови лiквiдацiї, яка враховує вiдхилення цiн мiж оракулом i DEX, цiновий вплив великих угод та миттєве падiння ринкової цiни активу. Проведено чисельнi розрахунки граничного коефiцiєнта 𝐿𝑇𝑉max для основних торгових пар (BTC/USDT, ETH/USDT, DOGE/USDT, PEPE/USDT) з урахуванням резерву безпеки. Виконано порiвняння результатiв iз даними Yellow Paper та обґрунтовано вплив ринкової кон’юнктури на параметри кредитування.