Απόδειξη Μηδενικής Γνώσης και Ιδιωτικότητα στα dVPN | Web3

Το Πρόβλημα της Εμπιστοσύνης στα Παραδοσιακά VPN

Έχετε αναρωτηθεί ποτέ γιατί παραδίδουμε ολόκληρη την ψηφιακή μας ζωή σε έναν πάροχο VPN, ελπίζοντας απλώς ότι δεν θα «ρίξει μια ματιά»; Είναι ειλικρινά εξωφρενικό το γεγονός ότι εν έτει 2025, η καλύτερη άμυνα για την ιδιωτικότητά μας παραμένει μια απλή υπόσχεση από μια κεντρικοποιημένη εταιρεία.

Οι περισσότερες παραδοσιακές υπηρεσίες διατυμπανίζουν τις πολιτικές «μη τήρησης αρχείων καταγραφής» (no-logs), αλλά ως άνθρωπος του δικτύου, βλέπω την πραγματικότητα σε επίπεδο πακέτων δεδομένων. Ακόμα κι αν δεν αποθηκεύουν το ιστορικό περιήγησής σας, εξακολουθούν να βλέπουν την πραγματική σας διεύθυνση IP και τα δεδομένα χρονισμού τη στιγμή που συνδέεστε.

• Κεντρικοποιημένα Σημεία Αποτυχίας: Οι παραδοσιακοί πάροχοι λειτουργούν σε συστάδες διακομιστών που ελέγχουν οι ίδιοι. Εάν μια κυβέρνηση τους επιδώσει κλήτευση ή εάν ένας χάκερ αποκτήσει πρόσβαση διαχειριστή (root access), τα δεδομένα σας βρίσκονται εκτεθειμένα απευθείας στη μνήμη RAM.
• Το Χάσμα Εμπιστοσύνης: Πρέπει να βασιστείτε στον λόγο τους. Μια μελέτη της ExpressVPN για το 2024 σημειώνει ότι οι χρήστες ουσιαστικά επαφίενται στην ειλικρίνεια του παρόχου, καθώς δεν υπάρχει τεχνικός τρόπος να επαληθευτεί τι συμβαίνει στο εσωτερικό των υποδομών τους (backend).
• Νόμοι περί Διατήρησης Δεδομένων: Σε πολλές δικαιοδοσίες, οι πάροχοι υπηρεσιών διαδικτύου (ISP) και οι εταιρείες VPN υποχρεούνται από το νόμο να διατηρούν ορισμένα μεταδεδομένα, καθιστώντας την πολιτική «μη τήρησης αρχείων» νομικά αδύνατη σε αυτές τις περιοχές.

Έχω περάσει χρόνια μελετώντας την επιτήρηση από τους παρόχους διαδικτύου και το πρόβλημα είναι πάντα ο ενδιάμεσος. Εάν ο διακομιστής γνωρίζει την ταυτότητά σας για να σας ταυτοποιήσει, αυτή η πληροφορία αποτελεί ευπάθεια.

Σύμφωνα με τη Wikipedia, οι αποδείξεις μηδενικής γνώσης (Zero-Knowledge Proofs - ZKP) επινοήθηκαν ήδη από το 1985 για να λύσουν ακριβώς αυτό το πρόβλημα: την απόδειξη της ταυτότητας χωρίς την αποκάλυψη μυστικών. Επιτέλους, βλέπουμε αυτή την τεχνολογία να μεταφέρεται από τις μαθηματικές μελέτες στον πραγματικό κώδικα.

Όπως και να έχει, το πραγματικό ζήτημα δεν είναι μόνο οι κακόβουλοι παράγοντες· είναι η ίδια η αρχιτεκτονική. Χρειαζόμαστε ένα σύστημα όπου το δίκτυο θα μπορεί να επαληθεύσει ότι έχετε πληρώσει ή ότι έχετε δικαίωμα πρόσβασης, χωρίς να γνωρίζει στην πραγματικότητα ποιοι είστε «εσείς».

Στη συνέχεια, θα εξετάσουμε πώς οι αποδείξεις μηδενικής γνώσης ανατρέπουν τα δεδομένα για να λύσουν το πρόβλημα της εμπιστοσύνης.

Τι είναι τελικά οι Αποδείξεις Μηδενικής Γνώσης (Zero-Knowledge Proofs);

Αν έχετε προσπαθήσει ποτέ να εξηγήσετε την κρυπτογραφία σε κάποιον που δεν είναι «άνθρωπος των δικτύων», ξέρετε πόσο δύσκολο είναι. Όμως, οι αποδείξεις μηδενικής γνώσης (ZKP) είναι στην πραγματικότητα αρκετά διαισθητικές, αρκεί να σταματήσετε να σκέφτεστε τους πρώτους αριθμούς για ένα δευτερόλεπτο και να φανταστείτε μια μαγική σπηλιά.

Ο κλασικός τρόπος εξήγησης είναι η ιστορία της σπηλιάς του Αλή Μπαμπά. Φανταστείτε μια κυκλική σπηλιά με δύο διαδρομές, την Α και τη Β, που συναντώνται σε μια μαγική πόρτα στο βάθος. Η Πέγκυ γνωρίζει τη μυστική λέξη για να ανοίξει αυτή την πόρτα· ο Βίκτωρ θέλει μια απόδειξη ότι η Πέγκυ δεν ψεύδεται, αλλά η Πέγκυ δεν θέλει να αποκαλύψει τον κωδικό πρόσβασης.

Για να το αποδείξει, η Πέγκυ μπαίνει στη σπηλιά ενώ ο Βίκτωρ περιμένει έξω. Στη συνέχεια, ο Βίκτωρ φωνάζει: «Βγες από τη διαδρομή Α!». Αν η Πέγκυ βρίσκεται στην πόρτα, την ανοίγει και εμφανίζεται. Αν το επαναλάβουν αυτό 20 φορές και δεν αποτύχει ποτέ, τα μαθηματικά λένε ότι σχεδόν σίγουρα γνωρίζει τη λέξη. Αυτό λειτουργεί επειδή κάθε γύρος που περνάει επιτυχώς μειώνει στο μισό την πιθανότητα να στάθηκε απλώς τυχερή· μετά από 20 γύρους, οι πιθανότητες να είναι απατεώνας είναι ουσιαστικά μία στο εκατομμύριο. Αυτό είναι που ονομάζουμε «αρτιότητα» (soundness) στον κόσμο των μαθηματικών.

Όπως επισημαίνει η concordium, πρόκειται για τη μετάβαση από τον «διαμοιρασμό δεδομένων» στον «διαμοιρασμό απόδειξης». Για να θεωρηθεί ένα πρωτόκολλο πραγματικά ως ZKP, πρέπει να πληροί τρία τεχνικά κριτήρια:

• Πληρότητα (Completeness): Εάν η δήλωση είναι αληθής, ένας έντιμος αποδεικνύων (prover) θα πείθει πάντα τον επαληθευτή (verifier). Δεν επιτρέπονται «ψευδώς αρνητικά» αποτελέσματα στη λογική του συστήματος.
• Αρτιότητα (Soundness): Εάν η Πέγκυ ψεύδεται, δεν θα πρέπει να μπορεί να εξαπατήσει τον Βίκτωρα, παρά μόνο με μια ελάχιστη, αστρονομικά μικρή πιθανότητα. Σύμφωνα με το NIST, αυτό συχνά ονομάζεται «ZKP Γνώσης», όπου αποδεικνύεις ότι κατέχεις τον «μάρτυρα» (witness), δηλαδή το μυστικό.
• Μηδενική Γνώση (Zero-knowledge): Αυτό είναι το σημαντικότερο. Ο Βίκτωρ δεν μαθαίνει τίποτα για τον ίδιο τον κωδικό πρόσβασης, παρά μόνο ότι η Πέγκυ τον κατέχει.

Στον δικό μου κλάδο, συνήθως βλέπουμε την ταυτότητα ως ευθύνη ή κίνδυνο (liability). Αν ένας κόμβος dVPN γνωρίζει το δημόσιο κλειδί σας, αυτό αποτελεί ένα ψηφιακό ίχνος σε επίπεδο πακέτου δεδομένων. Οι αποδείξεις μηδενικής γνώσης ανατρέπουν αυτό το δεδομένο.

Ένα άρθρο του 2024 από την concordium αναφέρει ότι για τις επιχειρήσεις, η ιδιωτικότητα γίνεται πλέον «βασική απαίτηση» (baseline requirement) και όχι απλώς ένα επιπλέον χαρακτηριστικό. Είτε πρόκειται για την απόδειξη ότι είστε άνω των 18 ετών σε έναν ιστότοπο λιανικής, είτε για την επαλήθευση ενός ιατρικού αρχείου, οι ZKP μας επιτρέπουν να διαχειριζόμαστε τη λογική χωρίς την έκθεση των δεδομένων.

Στη συνέχεια, ας δούμε πώς ακριβώς αυτή η τεχνολογία διατηρεί την IP σας κρυφή σε ένα αποκεντρωμένο δίκτυο.

Εφαρμογή των Αποδείξεων Μηδενικής Γνώσης (ZKP) στο Οικοσύστημα των dVPN

Πώς μπορούμε, λοιπόν, να πάρουμε αυτά τα μαθηματικά του «μαγικού σπηλαίου» και να τα ενσωματώσουμε σε ένα αποκεντρωμένο VPN (dVPN); Είναι άλλο πράγμα η θεωρία επί χάρτου και άλλο η διαχείριση ακατέργαστων πακέτων δεδομένων που φτάνουν σε έναν κόμβο, όπου τα πράγματα γίνονται περίπλοκα. Σε ένα παραδοσιακό δίκτυο, ο διακομιστής συνήθως επαληθεύει την ταυτότητά σας μέσω μιας βάσης δεδομένων — κάτι που αποτελεί τεράστιο κίνδυνο για την ιδιωτικότητα.

Ο στόχος εδώ είναι η ανώνυμη πιστοποίηση. Θέλουμε ο κόμβος να γνωρίζει ότι έχετε το δικαίωμα να χρησιμοποιήσετε το εύρος ζώνης (bandwidth), χωρίς όμως να γνωρίζει ποιος είστε ή το ιστορικό των πληρωμών σας.

Τα περισσότερα σύγχρονα έργα dVPN στρέφονται προς τα zk-SNARKs (Συνοπτικά Μη Διαδραστικά Επιχειρήματα Γνώσης). Όπως είδαμε προηγουμένως, αυτά είναι εξαιρετικά αποτελεσματικά επειδή δεν απαιτούν συνεχή αλληλεπίδραση μεταξύ των μερών.

• Αποδείξεις Συνδρομής: Μπορείτε να αποδείξετε ότι έχετε πληρώσει για ένα μηνιαίο πλάνο στο blockchain. Ο κόμβος επαληθεύει μια «απόδειξη» ότι το πορτοφόλι σας ανήκει στο σύνολο των «πληρωμένων χρηστών», χωρίς να δει ποτέ τη διεύθυνση του πορτοφολιού σας.
• Έλεγχος Πρόσβασης: Αντί για ένα όνομα χρήστη ή κωδικό πρόσβασης που θα μπορούσε να υποκλαπεί από έναν πάροχο υπηρεσιών διαδικτύου (ISP) ή να καταγραφεί από έναν κόμβο, στέλνετε μια κρυπτογραφική απόδειξη. Είναι σαν να επιδεικνύετε ένα σήμα «πιστοποιημένου χρήστη» χωρίς να δείχνετε την ταυτότητά σας.
• Φήμη Κόμβων: Οι κόμβοι μπορούν επίσης να χρησιμοποιούν ZKP για να αποδείξουν ότι δεν είναι κακόβουλοι — για παράδειγμα, αποδεικνύοντας ότι δεν έχουν παραποιήσει τα πακέτα δεδομένων — χωρίς να αποκαλύπτουν την εσωτερική αρχιτεκτονική του διακομιστή τους.

Σε ένα δίκτυο ομότιμων (P2P), η διεύθυνση IP σας είναι ουσιαστικά η διεύθυνση του σπιτιού σας. Εάν ένας διαχειριστής κόμβου έχει δόλιες προθέσεις, θα μπορούσε να καταγράψει κάθε IP που συνδέεται. Χρησιμοποιώντας ZKP για τη διαδικασία της χειραψίας (handshake), διαχωρίζουμε την «ταυτότητα» από τη «σύνδεση».

Σύμφωνα με την Cloudflare, η εταιρεία άρχισε να χρησιμοποιεί «αποδείξεις ένας-προς-πολλούς» (one-out-of-many proofs) ήδη από το 2021 για την ιδιωτική πιστοποίηση ιστού. Αυτό επιτρέπει ουσιαστικά σε έναν χρήστη να αποδείξει ότι ανήκει σε μια ομάδα εξουσιοδοτημένων χρηστών (όπως οι «συνδρομητές») χωρίς να αποκαλύπτει ποιος συγκεκριμένος χρήστης είναι. Αν ένας κολοσσός αυτού του βεληνεκούς χρησιμοποιεί αυτή την τεχνολογία για την επαλήθευση υλικού χωρίς διαρροή δεδομένων, είναι βέβαιο ότι τα dVPN κάνουν το ίδιο για τις συνεδρίες των χρηστών.

Έργα όπως το SquirrelVPN εφαρμόζουν αυτές τις zk-SNARK χειραψίες για να διασφαλίσουν ότι ακόμη και ο κόμβος στον οποίο συνδέεστε δεν έχει την παραμικρή ιδέα για το ποιος είστε στην πραγματικότητα.

Στη συνέχεια, θα εξετάσουμε πώς αυτές οι αποδείξεις επιτρέπουν στην οικονομική πλευρά του διαμοιρασμού εύρους ζώνης να λειτουργεί αποτελεσματικά, χωρίς να εκτίθενται τα προσωπικά δεδομένα κανενός συμμετέχοντα.

Εξόρυξη Εύρους Ζώνης και Ανταμοιβές σε Διακριτικά (Tokens)

Σκεφτείτε την «εξόρυξη εύρους ζώνης» (bandwidth mining) ως το Airbnb του διαδικτύου. Επιτρέπετε σε τρίτους να διέρχονται από έναν ψηφιακό διάδρομο του οικιακού σας δικτύου και, ως αντάλλαγμα, πληρώνεστε σε ψηφιακά διακριτικά. Ωστόσο, χωρίς τη χρήση αποδείξεων μηδενικής γνώσης (ZKP), αυτοί οι τρίτοι —ή το ίδιο το δίκτυο— θα μπορούσαν να έχουν πρόσβαση σε πολύ περισσότερες πληροφορίες για το «σπίτι» σας από όσες θα έπρεπε.

Σε μια ομότιμη (P2P) δομή, πρέπει να αποδείξουμε δύο πράγματα: ότι ο κόμβος όντως δρομολόγησε τα δεδομένα και ότι ο χρήστης διαθέτει όντως τις πιστώσεις για να πληρώσει γι' αυτά. Ιστορικά, αυτό σήμαινε ότι το δίκτυο έπρεπε να παρακολουθεί κάθε πακέτο δεδομένων, γεγονός που αποτελεί τεράστια διαρροή της ιδιωτικότητας.

• Απόδειξη Δρομολόγησης (Proof of Routing): Χρησιμοποιούμε ZKP για να επαληθεύσουμε ότι ένας κόμβος διαχειρίστηκε έναν συγκεκριμένο όγκο κίνησης. Ο κόμβος παρέχει μια «απόδειξη» στο blockchain που αντιστοιχεί στην «απόδειξη πληρωμής» του χρήστη, αλλά καμία πλευρά δεν αποκαλύπτει το πραγματικό περιεχόμενο (payload) ή τον προορισμό των πακέτων.
• Κίνητρα μέσω Διακριτικών: Οι διαχειριστές κόμβων κερδίζουν ανταμοιβές με βάση τον επαληθευμένο χρόνο λειτουργίας (uptime) και τη διακίνηση δεδομένων (throughput). Επειδή η επαλήθευση είναι μηδενικής γνώσης, το δίκτυο δεν χρειάζεται να γνωρίζει την πραγματική ταυτότητα του διαχειριστή για να καταθέσει τα διακριτικά στο πορτοφόλι του.
• Δίκαιη Ανταλλαγή: Όπως επισημαίνεται και στη Wikipedia, αυτά τα πρωτόκολλα διασφαλίζουν ότι ένας «αποδεικνύων» (ο κόμβος) μπορεί να πείσει τον «επαληθευτή» (το δίκτυο) ότι η εργασία ολοκληρώθηκε, χωρίς να αποκαλύψει τα ευαίσθητα δεδομένα που περιλαμβάνονται σε αυτή την εργασία.

Ειλικρινά, έχοντας δει αρκετές περιπτώσεις επιτήρησης από παρόχους υπηρεσιών διαδικτύου (ISP), γνωρίζω καλά ότι αν δεν ανωνυμοποιήσεις το επίπεδο των πληρωμών, δεν έχεις πραγματική ιδιωτικότητα. Εάν η διεύθυνση του πορτοφολιού σου συνδέεται με την οικιακή σου IP και τα αρχεία καταγραφής της κίνησής σου, τότε το σκέλος του «VPN» σε ένα dVPN (αποκεντρωμένο VPN) είναι ουσιαστικά άχρηστο.

Στη συνέχεια, θα εξετάσουμε πώς αποτρέπουμε την καθυστέρηση (lag) του δικτύου ενώ εκτελούμε όλους αυτούς τους σύνθετους μαθηματικούς υπολογισμούς — το «Συνοπτικό» (Succinct) μέρος του παζλ.

Τα Τεχνικά Εμπόδια των Αποδείξεων Μηδενικής Γνώσης (ZKPs) στη Δικτύωση

Κοιτάξτε, λατρεύω τα μαθηματικά πίσω από τις αποδείξεις μηδενικής γνώσης (zkp), αλλά ας είμαστε ειλικρινείς: η ενσωμάτωσή τους σε ένα ζωντανό δίκτυο είναι πραγματικός πονοκέφαλος. Είναι άλλο πράγμα να αποδεικνύεις ότι κατέχεις ένα μυστικό σε έναν πίνακα και τελείως διαφορετικό να το κάνεις την ώρα που κάποιος προσπαθεί να δει βίντεο ανάλυσης 4k μέσω ενός αποκεντρωμένου κόμβου.

Το «Συνοπτικό» (Succinct) μέρος των zk-snarks υποτίθεται ότι επιταχύνει τις διαδικασίες, αλλά η παραγωγή αυτών των αποδείξεων εξακολουθεί να καταναλώνει πόρους της κεντρικής μονάδας επεξεργασίας (CPU) με μανία. Αν το τηλέφωνό σας πρέπει να καταβάλει τεράστια προσπάθεια μόνο και μόνο για την επικύρωση ενός πακέτου, η μπαταρία σας θα εξαντληθεί γρήγορα και η καθυστέρηση (latency) του δικτύου θα εκτοξευθεί.

Σύμφωνα με την εμπειρία μου στην ανάλυση πακέτων σε επίπεδο δικτύου, κάθε χιλιοστό του δευτερολέπτου μετράει για τη δρομολόγηση. Όταν προσθέτετε αποδείξεις μηδενικής γνώσης, ουσιαστικά επιβάλλετε έναν «υπολογιστικό φόρο» σε κάθε χειραψία (handshake) σύνδεσης.

• Επιβάρυνση CPU: Η δημιουργία μιας απόδειξης είναι πολύ πιο απαιτητική από την επαλήθευσή της. Οι περισσότεροι χρήστες αποκεντρωμένων VPN (dVPN) χρησιμοποιούν κινητά ή οικονομικούς δρομολογητές που δεν είναι ακριβώς υπερυπολογιστές, με αποτέλεσμα η πλευρά του «αποδεικνύοντος» (prover) να γίνεται το στενό σημείο συμφόρησης.
• Σφάλματα Κυκλωμάτων: Εάν τα μαθηματικά δεν είναι τέλεια, προκύπτουν «υπό-περιορισμένα κυκλώματα». Εκθέσεις ασφαλείας από εταιρείες όπως η Trail of Bits έχουν επισημάνει ότι η συντριπτική πλειονότητα των σφαλμάτων στα snarks προέρχεται από τέτοια λογικά κενά, όπου ένας χάκερ θα μπορούσε ενδεχομένως να πλαστογραφήσει μια απόδειξη.
• Καθυστέρηση Δικτύου: Οι διαδραστικές αποδείξεις απαιτούν συνεχή ανταλλαγή δεδομένων. Ακόμη και με τις μη διαδραστικές, το μέγεθος ορισμένων αποδείξεων μπορεί να αποτελέσει πρόβλημα. Για παράδειγμα, τα zk-starks είναι ένας διαφορετικός τύπος zkp που δεν απαιτεί «έμπιστη εγκατάσταση» (trusted setup), γεγονός που τα καθιστά πιο ασφαλή, αλλά έχουν πολύ μεγαλύτερο μέγεθος αποδείξεων που μπορεί να «μπουκώσει» το εύρος ζώνης (bandwidth) που προσπαθείτε να εξοικονομήσετε.

Ειλικρινά, οι περισσότεροι προγραμματιστές προσπαθούν ακόμα να βρουν τη «χρυσή τομή» όπου η ασφάλεια θα είναι αδιαπέραστη, αλλά το διαδίκτυο δεν θα θυμίζει dial-up σύνδεση του 1995.

Στη συνέχεια, θα δούμε πώς ο κλάδος προσπαθεί στην πράξη να λύσει αυτό το πρόβλημα της καθυστέρησης, ώστε να έχουμε επιτέλους απόλυτη ιδιωτικότητα χωρίς συμβιβασμούς στην ταχύτητα.

Το Μέλλον του Διαδικτύου χωρίς Λογοκρισία

Ποιο είναι, λοιπόν, το τελικό στάδιο όλης αυτής της μαθηματικής προσέγγισης; Ειλικρινά, βρισκόμαστε μπροστά σε μια καθολική μετατόπιση, όπου η «ιδιωτικότητα εκ σχεδιασμού» δεν θα είναι απλώς ένα διαφημιστικό σλόγκαν, αλλά μια σκληρά κωδικοποιημένη πραγματικότητα του δικτύου.

Καθώς οδεύουμε προς τα DePIN (Αποκεντρωμένα Δίκτυα Φυσικής Υποδομής), το παλιό μοντέλο παράδοσης της ταυτότητάς σας σε έναν κεντρικό πάροχο VPN θα μοιάζει τόσο ξεπερασμένο όσο η dial-up σύνδεση. Το μέλλον βασίζεται στην «επιλεκτική αποκάλυψη» — στην απόδειξη δηλαδή ακριβώς αυτού που απαιτείται και τίποτα παραπάνω.

Η επόμενη εποχή του διαδικτύου δεν θα οριστεί από το ποιος συλλέγει τα περισσότερα δεδομένα, αλλά από το ποιος θα βρει τον τρόπο να χρειάζεται τα λιγότερα. Εδώ ακριβώς εισέρχονται οι zkVMs (Εικονικές Μηχανές Μηδενικής Γνώσης). Μας επιτρέπουν να εκτελούμε σύνθετη λογική —όπως ο έλεγχος αν ένας χρήστης βρίσκεται σε περιορισμένη γεωγραφική ζώνη ή αν διαθέτει έγκυρη συνδρομή— εκτός αλυσίδας (off-chain) και στη συνέχεια να δημοσιεύουμε απλώς μια μικροσκοπική απόδειξη.

• Κλιμάκωση της Ιδιωτικότητας: Εργαλεία όπως το RISC Zero ή το Succinct Labs επιτρέπουν στους προγραμματιστές να γράφουν λογική αποδείξεων μηδενικής γνώσης (zkp) σε κοινές γλώσσες προγραμματισμού όπως η Rust. Αυτό σημαίνει ότι τα αποκεντρωμένα VPN (dVPN) μπορούν να κλιμακωθούν χωρίς τον τεράστιο «υπολογιστικό φόρο» που αναφέραμε προηγουμένως.
• Αντίσταση στη Λογοκρισία: Όταν ένας κόμβος δεν γνωρίζει ποιος είστε ή σε τι έχετε πρόσβαση, είναι πολύ πιο δύσκολο για μια κυβέρνηση να αναγκάσει αυτόν τον κόμβο να σας αποκλείσει.
• Εταιρική Υιοθέτηση: Όπως επισημάνθηκε και από την Concordium, οι επιχειρήσεις αρχίζουν να βλέπουν τα δεδομένα ως ευθύνη και ρίσκο (liability). Αν δεν κατέχουν τα δεδομένα σας, δεν μπορούν να τα χάσουν σε μια παραβίαση ασφαλείας.

Όπως και να έχει, η τεχνολογία βρίσκεται ακόμα σε πρώιμο στάδιο, αλλά η κατεύθυνση είναι ξεκάθαρη. Χτίζουμε ένα διαδίκτυο όπου δεν θα χρειάζεται να ζητάτε ιδιωτικότητα — θα είναι απλώς η προεπιλογή σε επίπεδο πρωτοκόλλου. Τα λέμε στην επόμενη εις βάθος ανάλυση.