1. Averkov O., Kuznetsov O., Lysytska I. Theoretical implementation and testing of the first stage of the ZK-STARK protocol “Arithmetisation” // Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems». 2024. (63). C. 6-16.