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», v. 63, p. 6-16, 25 Nov. 2024.