“Theoretical implementation and testing of the first stage of the ZK-STARK protocol ‘Arithmetisation’”, МІА, vol. 63, pp. 6–16, Nov. 2024, doi: 10.26565/2304-6201-2024-63-01.