Стековая виртуальная машина для выполнения смарт-контрактов в TON. Оперирует ячейками (cells), поддерживает продолжения (continuations) для управления потоком и обеспечивает обратную совместимость через систему code pages.