О. Аверков, О. Кузнецов, і І. Лисицька, «Теоретична реалізація та тестування першого етапу роботи протоколу ZK-STARK ‘Арифметизація’», МІА, вип. 63, с. 6-16, Лис 2024.