Intercambio de PROVE a SYN| Convierte Succinct a Synapse en SimpleSwap