Intercambio de PROVE a EXVG| Convierte Succinct a Exverse en SimpleSwap