@hacker_volodya . Символьное исполнение смарт-контрактов в блокчейне TON