Η Halborn ολοκλήρωσε ανεξάρτητη επισκόπηση της μηχανής MPC μας

Το The Vault ολοκλήρωσε μια ανεξάρτητη αξιολόγηση ασφάλειας της βάσης κώδικα σε Rust πίσω από τη μηχανή θεματοφυλακής υπολογισμού πολλών μερών (MPC), που διεξήχθη από τη Halborn. Η συνεργασία πραγματοποιήθηκε από μηχανικούς ασφάλειας με αφοσιωμένο υπόβαθρο στην κρυπτογραφία και το MPC, και κάλυψε τη βασική βιβλιοθήκη κρυπτογραφικού πρωτοκόλλου, την υπηρεσία signer και το επίπεδο μεταφοράς που συντονίζει την επικοινωνία μεταξύ των μερών.

Κατανοώντας την αξιολόγηση

Η αρχιτεκτονική θεματοφυλακής του The Vault είναι χτισμένη πάνω στο MPC. Αντί να δημιουργείται ένα ιδιωτικό κλειδί σε ένα σημείο, το κλειδί δημιουργείται από κοινού σε χωριστά μέρη, ώστε κανένα μεμονωμένο μέρος να μην κρατά ποτέ το πλήρες κλειδί σε κανένα σημείο. Αυτά τα μέρη συνεργάζονται για να υπογράφουν συναλλαγές, να ανανεώνουν τα μερίδιά τους με τον χρόνο και να ανακτούν την πρόσβαση αν χαθεί ένα μερίδιο, όλα χωρίς το πλήρες κλειδί να ανασυγκροτείται ποτέ σε ένα σημείο.

Η αναθεώρηση της Halborn εστίασε στην επιβεβαίωση ότι αυτά τα κρυπτογραφικά πρωτόκολλα συμπεριφέρονται όπως προβλέπεται, ότι τα μερίδια κλειδιών χειρίζονται και αποθηκεύονται με ασφάλεια σε όλο τον κύκλο ζωής τους, και ότι η υπηρεσία signer επικοινωνεί και συντονίζεται με ασφάλεια με τα άλλα μέρη. Σε όλη την αξιολόγηση, εντοπίστηκαν 33 ζητήματα, συμπεριλαμβανομένων 2 κρίσιμων και 4 υψηλής σοβαρότητας. Κάθε ζήτημα που τέθηκε έχει αποκατασταθεί και επαληθευτεί από τη Halborn.

Τι σημαίνει αυτό για τους πελάτες μας

• Ανεξάρτητη επαλήθευση της κρυπτογραφίας, όχι μόνο της διεπαφής. Η ασφάλεια του MPC εξαρτάται από την ορθότητα σε επίπεδο πρωτοκόλλου. Μια αναθεώρηση από μηχανικούς εξειδικευμένους στην κρυπτογραφία και το MPC δίνει στα ιδρύματα διασφάλιση που ξεπερνά ένα τυπικό τεστ ασφάλειας εφαρμογών.
• Ένα τεκμηριωμένο αρχείο αποκατάστασης. Κάθε εύρημα που εντοπίστηκε κατά την αξιολόγηση έχει αντιμετωπιστεί και επιβεβαιωθεί, δίνοντας στις ομάδες κινδύνου και συμμόρφωσης μια συγκεκριμένη βάση για δέουσα επιμέλεια αντί για μια γενική διαβεβαίωση.
• Μειωμένος κίνδυνος αντισυμβαλλομένου στη διαχείριση κλειδιών. Επειδή κανένα μεμονωμένο μέρος δεν κρατά ποτέ ένα πλήρες κλειδί, και τα πρωτόκολλα που συντονίζουν αυτή τη διανομή έχουν αναθεωρηθεί ανεξάρτητα, τα ιδρύματα μπορούν να αξιολογήσουν έναν σχεδιασμό θεματοφυλακής που έχει δοκιμαστεί έναντι πραγματικού κινδύνου υλοποίησης, όχι μόνο έναντι της προδιαγραφής του στο χαρτί.
• Ένα θεμέλιο για να χτίσουμε. Αυτή η αναθεώρηση συνυπάρχει με το υπάρχον πρόγραμμα αδειοδότησης και ελέγχου του The Vault, και θα επαναληφθεί καθώς εξελίσσεται η μηχανή MPC.

Εύρος της αξιολόγησης

Η αναθεώρηση της Halborn κάλυψε:

• Τη βασική κρυπτογραφική βιβλιοθήκη που υλοποιεί τα πρωτόκολλα MPC του The Vault, συμπεριλαμβανομένων της κατανεμημένης δημιουργίας κλειδιών, της υπογραφής κατωφλίου, της ανανέωσης μεριδίων και της ανάκτησης.
• Την υπηρεσία signer που είναι υπεύθυνη για τη συμμετοχή σε κάθε πράξη MPC.
• Το επίπεδο μεταφοράς και αναμετάδοσης που συντονίζει την επικοινωνία μεταξύ των μερών.

Αυτή η αξιολόγηση σηματοδοτεί ένα βήμα προς έναν πιο μακροπρόθεσμο στόχο: το άνοιγμα του κώδικα (open-source) της ίδιας της βιβλιοθήκης MPC. Μια ανεξάρτητα αναθεωρημένη και αποκατεστημένη βάση κώδικα είναι φυσική προϋπόθεση για αυτή την κίνηση, και αυτή η αξιολόγηση φέρνει το The Vault πιο κοντά στο να καταστήσει τη βασική του κρυπτογραφία ανοιχτή για δημόσιο έλεγχο, όχι μόνο για θεσμικούς πελάτες.

Το επόμενο βήμα είναι η μεταφορά της βιβλιοθήκης σε open source.