TLDR:
- Το επιχείρημα του Canton κατά των ZK βασίζεται σε μια κρυφή υπόθεση ότι δεν υπάρχει σύστημα εφεδρείας για να εντοπίσει αποτυχίες.
- Το μοντέλο του Canton που βασίζεται μόνο στην εμπιστοσύνη δεν διαθέτει κρυπτογραφικό επίπεδο, αφήνοντας τα παραβιασμένα κλειδιά να διαδίδουν ζημιά σιωπηλά.
- Το Prividium αναπτύσσει τρία ανεξάρτητα επίπεδα άμυνας, διατηρώντας οποιαδήποτε παραβίαση περιορισμένη στην αλυσίδα ενός μόνο ιδρύματος.
- Η DAML αντιμετωπίζει τις ίδιες ανησυχίες ωριμότητας που εγείρει το Canton σχετικά με τις αποδείξεις ZK, αλλά με πολύ λιγότερα μάτια ασφαλείας να παρακολουθούν.
Οι αποδείξεις μηδενικής γνώσης βρίσκονται στο επίκεντρο μιας αυξανόμενης συζήτησης στα θεσμικά χρηματοοικονομικά. Οι ιδρυτές του Canton Network υποστήριξαν ότι οι αποδείξεις ZK θέτουν μη αποδεκτούς κινδύνους για κρίσιμα χρηματοοικονομικά συστήματα.
Έχουν θέσει αυτό το ζήτημα σε αγοραστές και ρυθμιστές, τόσο δημόσια όσο και ιδιωτικά. Μια δημόσια απάντηση από τον ερευνητή ZK Alex αμφισβητεί άμεσα αυτό το επιχείρημα.
Η ανταπάντηση συγκρίνει τις αρχιτεκτονικές προσεγγίσεις του Canton και του Prividium.
Η Περίπτωση Κινδύνου του Canton και η Υπόθεση στην οποία Βασίζεται
Το επιχείρημα του Canton κατά των αποδείξεων ZK επικεντρώνεται στην πολυπλοκότητά τους. Τα σφάλματα σε τέτοια συστήματα μπορεί να μην εντοπιστούν επειδή τα υποκείμενα δεδομένα παραμένουν ιδιωτικά.
Εάν μια ελαττωματικότητα εξαπλωθεί σιωπηλά, θα μπορούσε να δημιουργήσει συστημικό κίνδυνο σε χρηματοοικονομικά δίκτυα. Η ανησυχία είναι γνήσια, αλλά η λογική που ακολουθεί περιέχει ένα κενό.
Η συλλογιστική υποθέτει ότι οι αποδείξεις ZK είναι η μόνη γραμμή άμυνας σε ένα σύστημα. Ο Alex παραλληλίζει με την αεροπορία, τους πυρηνικούς ελέγχους και τις ιατρικές συσκευές.
Καθένα από αυτά είναι πολύπλοκο, κρίσιμης αποστολής και ικανό για καταστροφική αποτυχία. Κανένα δεν εγκαταλείφθηκε για αυτόν τον λόγο—λειτουργούν μέσω πλεονασμού και περιορισμού, όχι της απουσίας κινδύνου.
Σε μια ανάρτηση στο X, ο @gluk64 το παρουσίασε ως ένα ευρύτερο πρότυπο. Οποιαδήποτε πολύπλοκη, κρίσιμης αποστολής τεχνολογία που μπορεί να αποτύχει καταστροφικά θα απέτυχε στο τεστ του Canton.
Η κρυφή υπόθεση που κάνει όλη τη δουλειά είναι ότι δεν υπάρχει σύστημα εφεδρείας. Αυτή η υπόθεση, όχι η ίδια η τεχνολογία, είναι αυτό που δημιουργεί συστημικό κίνδυνο.
Η ίδια η αρχιτεκτονική του Canton επεξηγεί αυτό το σημείο. Το μοντέλο απορρήτου του βασίζεται αποκλειστικά σε αξιόπιστους χειριστές για να διαχωρίσει δεδομένα μεταξύ των συμμετεχόντων. Δεν υπάρχει κρυπτογραφικό επίπεδο επαλήθευσης.
Εάν τα κλειδιά των χειριστών παραβιαστούν, η χειραγωγημένη κατάσταση διαδίδεται σιωπηλά σε αδιαφανείς αλυσίδες χωρίς τίποτα να το εντοπίσει.
Η Πολυεπίπεδη Άμυνα του Prividium και το Ερώτημα των Ανοιχτών Προτύπων
Το Prividium χτίζει το μοντέλο του σε τρία ανεξάρτητα επίπεδα άμυνας. Οι θεσμικοί εταίροι λειτουργούν κόμβους εντός των δικών τους ρυθμιζόμενων περιβαλλόντων.
Οι αποδείξεις μηδενικής γνώσης στη συνέχεια προσθέτουν ένα κρυπτογραφικό επίπεδο επαλήθευσης πάνω από την επιχειρησιακή ασφάλεια. Καθώς τα συστήματα απόδειξης ωριμάζουν, πολλαπλοί ανεξάρτητοι αποδείκτες μπορούν να επαληθεύσουν τον ίδιο υπολογισμό. Μια ελαττωματικότητα σε μια υλοποίηση στη συνέχεια εντοπίζεται από άλλη.
Ο περιορισμός είναι ενσωματωμένος στην αρχιτεκτονική από το σχεδιασμό. Κάθε περίπτωση Prividium είναι μια ξεχωριστή αλυσίδα που λειτουργεί από ένα μόνο ίδρυμα.
Οι αλληλεπιδράσεις μεταξύ αλυσίδων περνούν μέσω λογιστικών μηχανισμών που επιβάλλονται ανεξάρτητα από συμμετέχοντα ιδρύματα ή on-chain. Ακόμη και μια συνδυασμένη επίθεση σε εσωτερικά IT και ένα σφάλμα ZKP παραμένει περιορισμένη σε αυτήν την αλυσίδα.
Το ερώτημα των ανοιχτών προτύπων προσθέτει άλλο ένα επίπεδο στη σύγκριση. Η κίνηση του ZKsync προς την πλήρη ισοδυναμία EVM αντικατοπτρίζει την αρχή ότι η απόκλιση από τα ανοιχτά πρότυπα διευρύνει την επιφάνεια επίθεσης.
Η υποδομή του Ethereum έχει αντιμετωπίσει περισσότερο από μια δεκαετία εχθρικών δοκιμών με εκατοντάδες δισεκατομμύρια σε κίνδυνο. Αυτή η διαδικασία έχτισε ισχυρότερα πρότυπα ελέγχου, εργαλεία επίσημης επαλήθευσης και ενισχυμένα σχέδια σχεδιασμού.
Οι ανησυχίες ωριμότητας του Canton σχετικά με τις αποδείξεις ZK ισχύουν εξίσου για την DAML, την ιδιόκτητη γλώσσα έξυπνων συμβολαίων της. Η DAML λειτουργεί εντός ενός κλειστού οικοσυστήματος με πολύ λιγότερους προγραμματιστές και ερευνητές ασφαλείας να παρακολουθούν.
Κάθε κύκλος ευπάθειας που διέλυσε το Ethereum εξακολουθεί να βρίσκεται μπροστά για την DAML. Η αρχιτεκτονική με το μεγαλύτερο ιστορικό κάτω από τις πιο σκληρές συνθήκες φέρει τον μικρότερο κίνδυνο.
Το άρθρο ZK Proofs Draw Fire as Canton Disputes Their Role in Institutional Finance εμφανίστηκε πρώτα στο Blockonomi.
Πηγή: https://blockonomi.com/zk-proofs-draw-fire-as-canton-disputes-their-role-in-institutional-finance/
