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