У традиційних віртуальних машинах консенсус ґрунтується на тому, що «всі вузли багаторазово виконують кожну транзакцію», тому пропускна здатність усієї мережі обмежена найповільнішим вузлом, а обчислювальна потужність витрачається на велику кількість перерахунків. У zkVM процес розбитий на «виконання + доказ + верифікація»: програми та входи потрібно запустити лише один раз у zkVM для генерації результатів та доказу з нульовим розголошенням; Іншим вузлам не потрібно проводити подвійні обчислення, просто перевірте цей доказ. Таким чином, обчислювальне навантаження значно зменшується. Візьмемо для прикладу zkVM (R0VM) RISC Zero: 🔹 У ньому в якості ядра використовується набір інструкцій RISC-V, а розробникам потрібно лише писати гостьові програми на Rust / C / C++ і компілювати їх в RISC-V ELF файли. 🔹 Кожен файл ELF відповідає унікальному ідентифікатору зображення, щоб гарантувати, що «цей код виконано»; 🔹 Результат виконання генерує Чек, який містить: Журнал: Загальнодоступний вихід або обіцяні результати; Печатка: короткий доказ ZK, який можна перевірити в ланцюжку або поза ланцюгом. Зрештою, вузлам у мережі потрібно лише перевірити це отримання без необхідності повторно виконувати всі обчислення. Як наслідок, вартість «узгодженості в масштабах всієї мережі» різко падає від повторного виконання до перевірки коротких доказів.