SBC 22: Σημειώσεις πεδίου από το Science of Blockchain 2022

Σημειώσεις πεδίου είναι μια σειρά όπου κάνουμε αναφορές επί τόπου σε σημαντικές εκδηλώσεις της βιομηχανίας, της έρευνας και άλλων. Σε αυτήν την έκδοση, μερικά από τα μέλη της ομάδας κρυπτογράφησης a16z που ήταν παρόντα συγκέντρωσαν μια συλλογή από ενδιαφέρουσες ομιλίες, έγγραφα, διαφάνειες και άλλα DeFi Security Summit 2022 (27-28 Αυγ.), το Συνέδριο Science of Blockchain 2022 γνωστό και ως SBC 22 (29-31 Αυγούστου) και διάφορα συνδεδεμένα εργαστήρια (28 Αυγούστου-2 Σεπτεμβρίου), τα οποία πραγματοποιήθηκαν στο Πανεπιστήμιο του Στάνφορντ τον περασμένο μήνα.

1. Συνέδριο Science of Blockchain 2022

Η Συνέδριο Science of Blockchain επικεντρώνεται σε τεχνικές καινοτομίες στο οικοσύστημα blockchain και συγκεντρώνει ερευνητές και επαγγελματίες που εργάζονται στον χώρο σε κρυπτογραφία, ασφαλή υπολογισμό, κατανεμημένα συστήματα, ανάπτυξη αποκεντρωμένων πρωτοκόλλων, επίσημες μεθόδους, εμπειρική ανάλυση, κρυπτοοικονομία, ανάλυση οικονομικού κινδύνου και πολλά άλλα. Στην εκδήλωση συμπροεδρεύει ο καθηγητής του Στάνφορντ (και ανώτερος σύμβουλος έρευνας κρυπτογράφησης a16z) Dan Boneh. Ο επικεφαλής έρευνας κρυπτογράφησης a16z Tim Roughgarden ήταν επίσης στην επιτροπή του προγράμματος και έδωσε μια προσκεκλημένη ομιλία σχετικά με το χαρτί που μοιραστήκαμε με τους αναγνώστες στο τελευταίο μας ενημερωτικό δελτίο.

Ακολουθεί ένας γρήγορος συνδυασμός ορισμένων από τις σημειώσεις πεδίου, τους συνδέσμους και τα θέματα της ομάδας μας από το SBC 22 καθώς και από μερικά συνεργαζόμενα εργαστήρια – συμπεριλαμβανομένου του εργαστηρίου «επιστήμης και μηχανικής της συναίνεσης» (28 Αυγούστου) και ενός άλλου για τη μέγιστη εξαγώγιμη αξία, ή MEV (1 Σεπτεμβρίου) – χωρίς ιδιαίτερη σειρά:

• Ο Peiyao Sheng σε μια ανάλυση διαφορετικών πρωτοκόλλων blockchain, ανακαλύπτοντας ποια έχουν καλύτερη ιατροδικαστική υποστήριξη που βοηθά στην ανίχνευση της κακής συμπεριφοράς ενός επικυρωτή με στοιχεία (χαρτί)
• Η ομιλία του Pratyush Mishra για τα arkworks, ένα οικοσύστημα Rust για zkSNARK που χρησιμοποιείται ευρέως σε πολλές υλοποιήσεις έργων κρυπτογράφησης (GitHub)
• Ο Srivatsan Sridhar σχετικά με την αλλαγή του κανόνα λήψης με συναίνεση μεγαλύτερης αλυσίδας προκειμένου να μετριαστεί η συμφόρηση εύρους ζώνης κατά τις επιθέσεις ανεπιθύμητης αλληλογραφίας στο δίκτυο (χαρτί)
• Οι συνομιλίες των Ari Juels και Mahimna Kelkar σχετικά με την προστασία από την αντιπαλότητα της παραγγελίας συναλλαγών και ένα σχέδιο για την επιβολή της δίκαιης παραγγελίας συναλλαγών (περίληψη εργαστηρίου, χαρτί)
• Ο συνιδρυτής του Ethereum Vitalik Buterin για την απόκριση και την επιβίωση σε επιθέσεις κατά 51% (tweet του παρευρισκόμενου με διαφάνειες)
• Ο David Tse σχετικά με την επαναχρησιμοποίηση της ισχύος κατακερματισμού Bitcoin για την ενίσχυση της ασφάλειας των αλυσίδων PoS (χαρτί)
• Η ομιλία του John Adler για τη λογοδοσία — σε αυτήν την περίπτωση, την ικανότητα εντοπισμού και τιμωρίας των επιτιθέμενων — σε συστήματα PoS (περίληψη εργαστηρίου)
• Ο Phil Daian σχετικά με την εξέλιξη του MEV "σκοτεινό δάσος", που καλύπτει τα πάντα, από το πρωτοποριακό πρόβλημα θεωρητικό περίγραμμα, στην αρχική του ταύτιση στο δικό του Χαρτί Flash Boys 2.0, στην εμφάνιση του ερευνητικού οργανισμού MEV Flashbots, στις σημερινές σκέψεις που σχετίζονται με την αντίσταση στη λογοκρισία συναλλαγών και τη δημιουργία μιας ισχυρής αγοράς κατασκευαστών και προτάσεων για πακέτα συναλλαγών μετά τη συγχώνευση (περίληψη εργαστηρίου / διαφάνειες)
• A θέμα: «ασύμμετρες και υποκειμενικές υποθέσεις εμπιστοσύνης (δεν είναι όλοι οι κόμβοι εξίσου αξιόπιστοι, δεν εμπιστεύονται όλοι οι κόμβοι εξίσου) και πρωτόκολλα που βασίζονται σε προβολή (οι κόμβοι ερμηνεύουν την άποψή τους για την κατάσταση τοπικά και τελικά μια συγχώνευση προβολής καθορίζει τα κανονικά DAG, τα οποία είναι κατευθυνόμενα άκυκλα γραφήματα, επιλογή πιρουνιού, κ.λπ.)» [σχετικό χαρτί]

παρακολουθήστε τις παρουσιάσεις: ημέρα 1, ημέρα 2, ημέρα 3

2. Applied ZK Workshop (μέρος του SBC 22)

Μετά την ολοκλήρωση του Συνεδρίου Science of Blockchain, το Εφαρμοσμένο Εργαστήριο ΖΚ (2 Σεπτεμβρίου) συγκέντρωσε ερευνητές και προγραμματιστές για μια ακόμη μέρα μάθησης και συζήτησης σχετικά με τις τελευταίες εξελίξεις στο οικοσύστημα μηδενικής γνώσης (ZK). Τα ηχεία κάλυψαν τα πάντα, από νέες αρχιτεκτονικές κυκλωμάτων και εικονικές μηχανές (VM) έως τη διασφάλιση της ασφάλειας μέσω επαλήθευσης και ελέγχου.

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

• Ο Junrui Liu παρουσιάστηκε σε εξέλιξη δουλειά σχετικά με την επίσημη επαλήθευση της λειτουργικής ορθότητας του circom κύκλωμα βιβλιοθήκη χρησιμοποιώντας έναν βοηθό απόδειξης Coq και Yu Feng εισήγαγε Πίκους, ένα εργαλείο στατικής ανάλυσης που επαληθεύει αυτόματα ορισμένες κρίσιμες ιδιότητες (π.χ. μοναδικότητα κυκλώματος) για ένα δεδομένο κύκλωμα R1CS
• Ο Eric McCarthy συζήτησε για την ομάδα του "επαληθεύοντας” μεταγλωττιστής για Λέων, μια μεταγλωττιστής που παράγει αυτόματα μια επίσημη απόδειξη της ορθότητας, που εγγυάται ότι το μεταγλωττισμένο κύκλωμα R1CS είναι ισοδύναμο με το πρόγραμμα πηγής Leo

Και περισσότερα στιγμιότυπα από την εκδήλωση:

• Ο Yi Sun και ο Jonathan Wang παρουσίασαν την εφαρμογή halo2 βασικών πράξεων ελλειπτικής καμπύλης, συμπεριλαμβανομένου πολλαπλασιασμού πολλαπλών βαθμίδων και επαλήθευσης υπογραφής με αλγόριθμο ψηφιακής υπογραφής ελλειπτικής καμπύλης (ECDSA) (ως συνέχεια της εργασίας τους για ζεύγη ελλειπτικών καμπυλών στο circom); ιδιαίτερα ωραίο: η ρυθμιζόμενη αντιστάθμιση χρόνου prover-verifier που επιτυγχάνεται με την τροποποίηση του σχήματος του πίνακα κυκλώματος PlonKish (ένας ευρύτερος [πιο ψηλός] πίνακας οδηγεί σε χαμηλότερο [υψηλότερο] κόστος prover αλλά υψηλότερο [χαμηλότερο] κόστος επαληθευτή)
• Ο Bobbin Threadbare μας πήγε σε μια περιήγηση εκ των έσω στο μηδενικής γνώσης VM του Polygon Miden που βασίζεται στο STARK. Σε αντίθεση με άλλα ZK VM, τα προγράμματα τροφοδοτούνται ως Merkelized abstract syntax trees (MAST) των οδηγιών, βελτιώνοντας τόσο την αποτελεσματικότητα όσο και την ασφάλεια (διαφάνειες)
• Η Nalin Bhardarj συζήτησε την εφαρμογή αναδρομικών SNARK στο circom, μια ισχυρή τεχνική που βρίσκει το δρόμο της σε άλλες εφαρμογές ZK, συμπεριλαμβανομένου συλλογές; τα ζεύγη σε κύκλο επιτρέπουν την επαλήθευση των Groth16 SNARK μέσα στο ίδιο το κύκλωμα, το οποίο, με τη σειρά του, επιτρέπει την πιο κλιμακούμενη συνάθροιση (ένα προς ένα έναντι όλων ταυτόχρονα) και επιτρέπει σε έναν δοκιμαστή να δείξει γνώση ενός γεγονότος χωρίς να γνωρίζει ο ίδιος το ακριβές γεγονός (το Το prover βρίσκεται και στις δύο πλευρές της ιδιότητας μηδενικής γνώσης τώρα)!
• Ο Aayush Gupta παρουσίασε ένα νέο σχήμα για ντετερμινιστικούς μηδενιστές που επιτρέπουν στις εφαρμογές ZK να περιορίζουν τους χρήστες σε μία μόνο ενέργεια, όπως η αξίωση airdrop (διαφάνειες)
• Η Uma Roy και ο John Guibas παρουσίασαν την εργασία τους σχετικά με την τοποθέτηση ελαφρών πελατών στην αλυσίδα, επαληθεύοντας τη συναίνεση μέσω των zk-SNARKs. το αποτέλεσμα είναι τεσεράκτ, μια πρωτότυπη γέφυρα ZK μεταξύ ETH2 και Gnosis που έχει βελτιώσει την ασφάλεια και την αντίσταση στη λογοκρισία

δείτε την πλήρη ατζέντα

3. DeFi Security Summit (προηγήθηκε το SBC 22)

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

Μερικές γρήγορες σημειώσεις για θέματα, με συνδέσμους για ομιλίες:

• Οι Kurt Barry, Jared Flatow και storming0x εξήγησαν την ασφαλή πρακτική ανάπτυξης έξυπνων συμβολαίων τους στο MakerDAO, Χημική ένωση, να Λαχταρώ, αντίστοιχα? ένα κοινό θέμα ήταν το Ελβετικό μοντέλο τυριού, το οποίο συνδυάζει διάφορα συμπληρωματικά μέτρα ασφαλείας
• Ο Christoph Michel συζήτησε την εξέλιξη του επιθέσεις χειραγώγησης τιμών (με ένα ενδιαφέρον CTF πρόκληση ως μπόνους!) και ο Yoav Weiss εξήγησε διάφορα κατορθώματα γέφυρας
• Ο Mitchell Amador κήρυξε τη σημασία του δυνατού κινήτρων για την απόκτηση περισσότερων ταλέντων ασφαλείας για να διατηρήσετε αυτόν τον χώρο ασφαλή
• Πραγματοποιήθηκαν συζητήσεις σε πάνελ για διάφορα θέματα όπως η χρονικά σταθμισμένη μέση τιμή (TWAP) ασφάλεια του μαντείου μετά τη συγχώνευση καθώς και στις αρθρωτότητα και δυνατότητα αναβάθμισης
• Ένα άλλο θέμα ήταν ο καθορισμός σωστών προσδοκιών για τις ελεγκτικές πρακτικές. συνηθισμένα μηνύματα από τους ελεγκτές ήταν ότι αντί για «ελέγχους», θα έπρεπε πραγματικά να ονομάζονται «αξιολόγηση ασφαλείας σε χρονική διάρκεια» καθώς και η παρατήρηση ότι οι εργασίες ελέγχου «είναι περισσότερες ευθυγραμμία αντί ευθύνη"
• Οι προγραμματιστές εξέφρασαν ανησυχίες σχετικά με κοινές αδυναμίες ελέγχου, όπως μεγάλους χρόνους παράδοσης και ανεπαρκή κίνητρα για την εξασφάλιση βάσεων κωδικών. Ο Σέρλοκ πρότεινε ένα ενδιαφέρον πλησιάζω που θα μπορούσε να αντιμετωπίσει αυτά τα ζητήματα συνδυάζοντας την αποτελεσματικότητα των διαγωνισμών ελέγχου και των ελέγχων παλαιού τύπου για να λάβετε το "καλύτερο και από τους δύο" κόσμους

δείτε την πλήρη ατζέντα (με συνδέσμους για κάποιες συνομιλίες)

παρακολουθήστε τις παρουσιάσεις: ημέρα 1, ημέρα 2

Συντάκτες: Robert Hackett (@rhhackett) και Stephanie Zinn (@stephbzinn)

***

Οι απόψεις που εκφράζονται εδώ είναι αυτές του μεμονωμένου προσωπικού της AH Capital Management, LLC ("a16z") που αναφέρεται και δεν είναι απόψεις της a16z ή των θυγατρικών της. Ορισμένες πληροφορίες που περιέχονται εδώ έχουν ληφθεί από τρίτες πηγές, συμπεριλαμβανομένων των εταιρειών χαρτοφυλακίου κεφαλαίων που διαχειρίζεται η a16z. Αν και λαμβάνεται από πηγές που πιστεύεται ότι είναι αξιόπιστες, το a16z δεν έχει επαληθεύσει ανεξάρτητα τέτοιες πληροφορίες και δεν κάνει δηλώσεις σχετικά με την τρέχουσα ή διαρκή ακρίβεια των πληροφοριών ή την καταλληλότητά τους για μια δεδομένη κατάσταση. Επιπλέον, αυτό το περιεχόμενο μπορεί να περιλαμβάνει διαφημίσεις τρίτων. Η a16z δεν έχει ελέγξει τέτοιες διαφημίσεις και δεν υποστηρίζει κανένα διαφημιστικό περιεχόμενο που περιέχεται σε αυτές.

Αυτό το περιεχόμενο παρέχεται μόνο για ενημερωτικούς σκοπούς και δεν θα πρέπει να βασίζεται ως νομική, επιχειρηματική, επενδυτική ή φορολογική συμβουλή. Θα πρέπει να συμβουλευτείτε τους δικούς σας συμβούλους για αυτά τα θέματα. Οι αναφορές σε οποιουσδήποτε τίτλους ή ψηφιακά περιουσιακά στοιχεία είναι μόνο για ενδεικτικούς σκοπούς και δεν αποτελούν επενδυτική σύσταση ή προσφορά για παροχή επενδυτικών συμβουλευτικών υπηρεσιών. Επιπλέον, αυτό το περιεχόμενο δεν απευθύνεται ούτε προορίζεται για χρήση από επενδυτές ή υποψήφιους επενδυτές και δεν μπορεί σε καμία περίπτωση να γίνει επίκληση του κατά τη λήψη απόφασης για επένδυση σε οποιοδήποτε αμοιβαίο κεφάλαιο που διαχειρίζεται η a16z. (Μια προσφορά για επένδυση σε ένα αμοιβαίο κεφάλαιο a16z θα γίνει μόνο από το μνημόνιο ιδιωτικής τοποθέτησης, τη συμφωνία εγγραφής και άλλη σχετική τεκμηρίωση οποιουδήποτε τέτοιου κεφαλαίου και θα πρέπει να διαβαστεί στο σύνολό τους.) Τυχόν επενδύσεις ή εταιρείες χαρτοφυλακίου που αναφέρονται, αναφέρονται ή που περιγράφονται δεν είναι αντιπροσωπευτικές όλων των επενδύσεων σε οχήματα που διαχειρίζεται η a16z και δεν μπορεί να υπάρξει διαβεβαίωση ότι οι επενδύσεις θα είναι κερδοφόρες ή ότι άλλες επενδύσεις που θα πραγματοποιηθούν στο μέλλον θα έχουν παρόμοια χαρακτηριστικά ή αποτελέσματα. Μια λίστα με επενδύσεις που πραγματοποιήθηκαν από αμοιβαία κεφάλαια που διαχειρίζεται ο Andreessen Horowitz (εξαιρουμένων των επενδύσεων για τις οποίες ο εκδότης δεν έχει παράσχει άδεια για δημοσιοποίηση της a16z καθώς και των απροειδοποίητων επενδύσεων σε δημόσια διαπραγματεύσιμα ψηφιακά περιουσιακά στοιχεία) είναι διαθέσιμη στη διεύθυνση https://a16z.com/investments /.

Τα γραφήματα και τα γραφήματα που παρέχονται εντός προορίζονται αποκλειστικά για ενημερωτικούς σκοπούς και δεν θα πρέπει να βασίζονται σε αυτά όταν λαμβάνεται οποιαδήποτε επενδυτική απόφαση. Οι προηγούμενες αποδόσεις δεν είναι ενδεικτικές των μελλοντικών αποτελεσμάτων. Το περιεχόμενο μιλά μόνο από την ημερομηνία που υποδεικνύεται. Οποιεσδήποτε προβλέψεις, εκτιμήσεις, προβλέψεις, στόχοι, προοπτικές και/ή απόψεις που εκφράζονται σε αυτό το υλικό υπόκεινται σε αλλαγές χωρίς προειδοποίηση και μπορεί να διαφέρουν ή να είναι αντίθετες με τις απόψεις που εκφράζονται από άλλους. Ανατρέξτε στη διεύθυνση https://a16z.com/disclosures για πρόσθετες σημαντικές πληροφορίες.