Valida

Valida - это виртуальная машина на основе STARK, ориентированная на повторное использование кода, производительность и модульность.