Averkov, O.; Kuznetsov , O.; Lysytska, I. Theoretical Implementation and Testing of the First Stage of the ZK-STARK Protocol “Arithmetisation.” МІА 2024, 63, 6-16.