Кудiн,Антон МихайловичМалютiна, Марина Сергiївна2026-08-202026-08-202026Малютiна, М. С. Використання протоколiв з нульовим розголошенням в системах штучного iнтелекту : дипломна робота ... бакалавра : 113 Прикладна математика / Малютiна Марина Сергiївна. - Київ, 2026. - 75 с.https://ela.kpi.ua/handle/123456789/82626Метою роботи є п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в.75 с.ukzk-STARKпротоколи з нульовим розголошенняммашинне навчаннязахист навчальних данихверифiкацiя iнференсуzero-knowledge proof protocolsmachine learningtraining data protectioninference verificationBachelor Thesis004.056.5:004.85