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