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