O. Averkov, O. Kuznetsov, and I. Lysytska, “Theoretical implementation and testing of the first stage of the ZK-STARK protocol ‘Arithmetisation’”, МІА, vol. 63, pp. 6-16, Nov. 2024.