eSTARK: extending STARKs with arguments. - Héctor Masip Ardevol; Jordi Baylina Melé; Marc Guzmán-Albiol; Jose Luis Muñoz-Tapia (Des. Codes Cryptogr., 2024)