Câmbio de PROVE para LOCK| Converter Succinct para Houdini Swap no SimpleSwap