Averkov, Oleg. 2026. “TESTING THE «ARITHMETIZATION» SOFTWARE MODEL OF THE ZK-STARK PROTOCOL”. Grail of Science, no. 68 (May):1032-37. https://doi.org/10.36074/grail-of-science.15.05.2026.115.