В традиционной виртуальной машине (VM) консенсус зависит от того, что "все узлы повторно выполняют каждую транзакцию", поэтому общая пропускная способность сети ограничивается самым медленным узлом, а вычислительная мощность также тратится на большое количество повторных вычислений. В zkVM процесс разбивается на "выполнение + доказательство + проверка": программа и входные данные нужно запустить в zkVM только один раз, чтобы сгенерировать результат и нулевое знание доказательства; другим узлам не нужно повторно вычислять, им достаточно проверить это доказательство. Таким образом, вычислительная нагрузка значительно снижается. На примере zkVM от RISC Zero (далее R0VM): 🔹 она основана на наборе инструкций RISC-V, разработчики могут писать гостевые программы на Rust / C / C++, а затем компилировать их в файлы RISC-V ELF; 🔹 каждый файл ELF будет соответствовать уникальному идентификатору изображения (Image ID), чтобы гарантировать, что "выполнение действительно соответствует этому коду"; 🔹 результат выполнения будет генерировать квитанцию (Receipt), которая включает в себя: Журнал: открытый вывод или обещанный результат; Печать: краткое ZK доказательство, которое можно проверить в сети или вне сети. В конечном итоге узлам в сети нужно только проверить эту квитанцию, а не повторно выполнять все вычисления. Таким образом, стоимость "согласованности всей сети" снижается с повторного выполнения до проверки короткого доказательства.