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