Το zkVM είναι μια εικονική μηχανή που εκτελεί συναλλαγές και δημιουργεί αποδείξεις εγκυρότητας (ZK proofs) για αυτές. Προσφέρει πλήρη ιδιωτικότητα και αποδοτικότητα, επεκτείνοντας τη χρήση των zk-rollups και privacy protocols.