у нас есть такая штука, как verification game - где две машины спорят про то, как нужно было исполнять код и в итоге находят одну инструкцию виртуальной машины, по которой они расходятся
эта инструкция исполняется на эфириуме, чтобы понять, как действительно она должна была быть исполнена
вебассембли - очень простая виртуальная машина, которую можно без невероятных мучений реализовать на эфире. при этом, она быстрая, открытая, имеет много разных реализаций
чуть подробнее про выбор VM можно почитать в начале третьей главы в нашем пейпере:
https://fluence.network/paper