Використання протоколiв з нульовим розголошенням в системах штучного iнтелекту
Дата
2026
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Метою роботи є пiдвищення рiвня конфiденцiйностi та верифiкованостi систем машинного навчання. Об’єктом дослiдження є процеси верифiкацiї обчислень нейронних мереж iз забезпеченням конфiденцiйностi даних. Предметом дослiдження є методи побудови доказiв з нульовим розголошенням на основi zk-STARK для верифiкацiї iнференсу та захисту навчальних даних багатошарового перцептрона. У роботi проаналiзовано загрози конфiденцiйностi в системах машинного навчання та обґрунтовано вибiр протоколiв доведення з нульовим розголошенням як основи для їх усунення. Дослiджено математичнi основи zk-STARK, методи арифметизацiї обчислень та схеми полiномiальних зобов’язань. Розроблено та реалiзовано iнтегрований протокол трьох взаємопов’язаних STARK-доказiв, який забезпечує
одночасну верифiкацiю iнференсу та захист навчального набору даних без розкриття параметрiв моделi, вхiдних даних i тренувальних прикладiв.
Опис
Ключові слова
zk-STARK, протоколи з нульовим розголошенням, машинне навчання, захист навчальних даних, верифiкацiя iнференсу, zero-knowledge proof protocols, machine learning, training data protection, inference verification
Бібліографічний опис
Малютiна, М. С. Використання протоколiв з нульовим розголошенням в системах штучного iнтелекту : дипломна робота ... бакалавра : 113 Прикладна математика / Малютiна Марина Сергiївна. - Київ, 2026. - 75 с.