Augustin Bariant, Aurélien Boeuf, Axel Lemoine, Irati Manterola Ayala, Morten Øygarden, Léo Perrin, and Håvard Raddum. “The Algebraic Freelunch: Efficient Gröbner Basis Attacks Against Arithmetization-Oriented Primitives”. CRYPTO 2024, LNCS 14923, pp. 139-173, https://link.springer.com/chapter/10.1007/978-3-031-68385-5_5