Intercambio de EUL a PROVE| Convierte Euler a Succinct en SimpleSwap