Averkov O, Kuznetsov O, Lysytska I. Theoretical implementation and testing of the first stage of the ZK-STARK protocol “Arithmetisation”. МІА [Internet]. 2024Nov.25 [cited 2026Mar.14];63:6-16. Available from: https://periodicals.karazin.ua/mia/article/view/27632