Intercambio de PROVE a SIN| Convierte Succinct a Sinverse en SimpleSwap