Averkov, O. (2026) “TESTING THE «ARITHMETIZATION» SOFTWARE MODEL OF THE ZK-STARK PROTOCOL”, Grail of Science, (68), pp. 1032–1037. doi: 10.36074/grail-of-science.15.05.2026.115.