O. Averkov, “TESTING THE «ARITHMETIZATION» SOFTWARE MODEL OF THE ZK-STARK PROTOCOL”, GoS, no. 68, pp. 1032–1037, May 2026.