Em uma VM tradicional, o consenso depende de "todos os nós executarem repetidamente cada transação", portanto, a capacidade total da rede é limitada pelo nó mais lento, e o poder de computação é desperdiçado em uma grande quantidade de cálculos repetidos. No entanto, na zkVM, o processo é dividido em "execução + prova + verificação": o programa e a entrada precisam ser executados apenas uma vez na zkVM, gerando um resultado e uma prova de conhecimento zero; os outros nós não precisam recalcular, apenas verificar essa prova. Assim, a carga computacional é significativamente reduzida. Tomando como exemplo a zkVM da RISC Zero (doravante chamada de R0VM): 🔹 Ela tem como núcleo o conjunto de instruções RISC-V, e os desenvolvedores precisam apenas escrever programas guest em Rust / C / C++, e depois compilar em arquivos ELF RISC-V; 🔹 Cada arquivo ELF corresponderá a um ID de Imagem único, para garantir que "a execução é realmente esse código"; 🔹 O resultado da execução gerará um recibo, que inclui: Journal: saída pública ou resultado de compromisso; Seal: uma breve prova ZK que pode ser verificada na cadeia ou fora dela. No final, os nós na rede precisam apenas verificar esse recibo, sem a necessidade de reexecutar todos os cálculos. Assim, o custo de "consenso em toda a rede" é reduzido drasticamente de uma execução repetida para a verificação de uma prova curta.