Теоретична реалізація та тестування першого етапу роботи протоколу ZK-STARK «Арифметизація». МІА [інтернет]. 25, Листопад 2024 [цит. за 25, Жовтень 2026];63:6-16. доступний у: https://periodicals.karazin.ua/mia/article/view/27632