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.