Averkov, Oleh, Oleksandr Kuznetsov, and Iryna Lysytska. “Theoretical Implementation and Testing of the First Stage of the ZK-STARK Protocol ‘Arithmetisation’”. Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems» 63 (November 25, 2024): 6-16. Accessed January 12, 2026. https://periodicals.karazin.ua/mia/article/view/27632.