Обменять PROVE на ATA | Конвертировать Succinct в Automata Network на SimpleSwap