Penukaran LOCK ke PROVE | Konversi Houdini Swap ke Succinct di SimpleSwap