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