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