Penukaran PROVE ke 4 | Konversi Succinct ke 4 di SimpleSwap