Penukaran F ke PROVE | Konversi SynFutures ke Succinct di SimpleSwap