«Теоретична реалізація та тестування першого етапу роботи протоколу ZK-STARK ‘Арифметизація’», МІА, вип. 63, с. 6–16, Лис 2024, doi: 10.26565/2304-6201-2024-63-01.