Οι zk-Provers είναι τα συστήματα που δημιουργούν αποδείξεις εγκυρότητας (Zero-Knowledge Proofs) για συναλλαγές ή υπολογισμούς. Αποτελούν κρίσιμο κομμάτι των zk-rollups, επιτρέποντας την ασφαλή και ταχεία επιβεβαίωση χωρίς αποκάλυψη δεδομένων.