zkVM переопределяют выполнение. Они проверяют логику с помощью криптографических доказательств, а не выполнения. Биткоин входит в эту модель через ретрансляторы и доказательства включения. Выполнение программируется, но поверхности риска сместились. Подробности ниже.

Безопасность зависит от надежности схемы, точности компилятора и границ изоляции. Допустимое доказательство может представлять неверную логику, если модель ограничений является неполной или невыровненной.

Spearbit оценивает системы zkVM на уровне ограничений. Обзоры охватывают точность кодирования, поведение доказательства при состязательном вводе, а также взаимодействие с данными биткоина и логикой моста.