Обменять F на PROVE | Конвертировать SynFutures в Succinct на SimpleSwap