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

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

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