“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 October 25, 2026. https://periodicals.karazin.ua/mia/article/view/27632.