În mașinile virtuale tradiționale, consensul se bazează pe "toate nodurile execută în mod repetat fiecare tranzacție", astfel încât debitul întregii rețele este limitat de cel mai lent nod, iar puterea de calcul este irosită pe o mulțime de recalcule. În zkVM, procesul este împărțit în "execuție + dovadă + verificare": programele și intrările trebuie rulate o singură dată în zkVM pentru a genera rezultate și o dovadă zero-knowledge; Alte noduri nu trebuie să calculeze de două ori, doar să verifice această dovadă. În acest fel, sarcina de calcul este mult redusă. Luați zkVM (R0VM) de la RISC Zero ca exemplu: 🔹 Folosește setul de instrucțiuni RISC-V ca nucleu, iar dezvoltatorii trebuie doar să scrie programe invitate în Rust / C / C++ și să le compileze în fișiere RISC-V ELF. 🔹 Fiecare fișier ELF corespunde unui ID unic de imagine pentru a se asigura că "acest cod este executat"; 🔹 Rezultatul execuției generează o chitanță care include: Jurnal: Rezultate disponibile public sau rezultate promise; Sigiliu: O dovadă ZK scurtă care poate fi verificată în lanț sau în afara lanțului. În cele din urmă, nodurile din rețea trebuie doar să verifice această chitanță fără a fi nevoie să efectueze din nou toate calculele. Ca urmare, costul "consistenței la nivelul întregii rețele" scade dramatic de la execuția repetată la verificarea probelor scurte.