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

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

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