«Теоретична реалізація та тестування першого етапу роботи протоколу ZK-STARK ‘Арифметизація’». Вісник Харківського національного університету імені В.Н. Каразіна, серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління» 63 (Листопад 25, 2024): 6–16. дата звернення Жовтень 25, 2026. https://periodicals.karazin.ua/mia/article/view/27632.