Intercambio de F a PROVE| Convierte SynFutures a Succinct en SimpleSwap