Моделювання та програмна реалізація тестування низького ступеня у криптографічних протоколах доказу з нульовим розголошенням на основі швидкого перетворення Фур’є

Abstract

Метою кваліфікаційної роботи є вивчення, моделювання та тестування низького ступеня у криптографічних протоколах доказу із нульовим розголошенням шляхом програмної реалізації першого етапу арифметизація роботи протоколу ZK-STARK за допомогою швидкого перетворення Фур’є, методу Гауса та методу обернених матриць і надання рекомендацій щодо її ефективного впровадження до мережі Блокчейн. The purpose of the qualification work is to study the modeling and testing of low￾degree in cryptographic protocols of proof with zero knowledge by software implementation of the first stage of Arethmetization of the ZK-STARK protocol using fast Fourier transform, Gauss method and the inverse matrix method and providing recommendations for its effective implementation in the blockchain network.