Penukaran PROVE ke THQ | Konversi Succinct ke Theoriq di SimpleSwap