Теоретична реалізація та тестування першого етапу роботи протоколу ZK-STARK «Арифметизація». Вісник Харківського національного університету імені В.Н. Каразіна, серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління», v. 63, p. 6–16, 25 Лис2024.