Intercambio de LOCK a PROVE| Convierte Houdini Swap a Succinct en SimpleSwap