Penukaran PROVE ke IR | Konversi Succinct ke InfraredFinance di SimpleSwap