zk-STARK

Ένα zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) είναι ένα κρυπτογραφικό σύστημα αποδείξεων που επιτρέπει σε έναν αποδεικνύοντα να πείσει έναν επαληθευτή για την ορθότητα ενός υπολογισμού χωρίς αξιόπιστη ρύθμιση παραμέτρων ή αποκάλυψη λεπτομερειών του υπολογισμού. Παρουσιάστηκαν από τον Ben-Sasson και συνεργάτες το 2018, τα zk-STARKs αντιμετωπίζουν έναν βασικό περιορισμό των zk-SNARKs: δεν απαιτούν φάση προεπεξεργασίας ευάλωτη σε καταστροφή. Αντ' αυτού, τα STARKs βασίζονται μόνο σε κρυπτογραφικές συναρτήσεις κατακερματισμού, καθιστώντας τα απλούστερα, πιο διαφανή και πιστεύεται ότι είναι ασφαλή έναντι των κβαντικών υπολογιστών.