Intercambio de PROVE a IMX| Convierte Succinct a Immutable X en SimpleSwap