CESC '22: Σημειώσεις πεδίου από το εργαστήριο ZKP

Οι σημειώσεις πεδίου είναι μια σειρά όπου κάνουμε αναφορές επί τόπου σε σημαντικές βιομηχανίες, έρευνες και άλλες εκδηλώσεις. Σε αυτήν την έκδοση, η Valeria Nikolaenko, Ερευνητική Εταίρος με το εργαστήριο κρυπτογράφησης a16z, αναφέρει Εργαστήριο Μηδενικής Απόδειξης Γνώσης από το Συνέδριο Crypto Economics Security (CESC), που πραγματοποιήθηκε στις 30 Οκτωβρίου στο Πανεπιστήμιο της Καλιφόρνια στο Μπέρκλεϋ. ο πρόγραμμα είχε ως στόχο να φέρει κοντά ερευνητές και επαγγελματίες για να παρουσιάσουν και να συζητήσουν τις πιο πρόσφατες εξελίξεις στο blockchain και στο web3. Μπορείτε να παρακολουθήσετε ηχογραφήσεις των παρουσιάσεων εδώ.

• Dawn Song (UC Berkeley) ανακοίνωσε ένα νέο MOOC για την άνοιξη του 2023 σχετικά με τις αποδείξεις μηδενικής γνώσης, το οποίο έχει προγραμματιστεί να ξεκινούν στις 17 Ιανουαρίου 2023 και υπενθυμίζουν τα MOOC που ήδη εκτελούνται το Φθινόπωρο του 2022:

• Yupeng Zhang (Texas A&M University) παρουσίασε α σεμινάριο σχετικά με την πρόσφατη ανάπτυξη συστημάτων ZKP, μια εξαιρετική επισκόπηση των διαφορετικών προσεγγίσεων για τη δημιουργία συστημάτων προστασίας zk, αντιστοίχισής τους σε 4 άξονες: συνοπτική παρουσίαση, αποτελεσματικότητα prover και επαληθευτή και διαφανής έναντι αξιόπιστης εγκατάστασης.

• Νταν Μπόνεχ (Πανεπιστημιο του Στανφορντ) παρουσιάζονται μια επισκόπηση της αφαίρεσης των ΕΟΠ γενικά και του πολυωνύμου Plonk-ΙΟΡ ειδικότερα.

Ο Dan εξήγησε επίσης ένα νέο σύστημα που ονομάζεται HyperPlonk, το οποίο μπορεί να εξαλείψει τα ακριβά FFT από την πλευρά του prover και να χειρίζεται πύλες υψηλού βαθμού πολύ πιο αποτελεσματικά, μειώνοντας τόσο τον χρόνο του prover όσο και το μέγεθος του proof. Η ενδιαφέρουσα παράμετρος που πρέπει να θυμάστε είναι ότι τα FFT κυριαρχούν στον χρόνο του prover όταν ο αριθμός των πυλών είναι πάνω από 2²⁰.

• Tiancheng Xie (UC Berkeley) που παρουσιάζεται στο zkBridge (διαβάστε την εργασία εδώ), τονίζοντας τη σημασία του καλύτερου σχεδιασμού για τις γέφυρες υπό το πρίσμα των πολυάριθμων πρόσφατων εισβολών (Εκμετάλλευση της γέφυρας Ronin, Hack με σκουληκότρυπα, Αποχέτευση νομαδικής γέφυρας, και ούτω καθεξής). Το zkBridge ελαχιστοποιεί την εμπιστοσύνη και βελτιώνει την απόδοση με το σύστημα μηδενικής απόδειξης γνώσης deVirgo.
• Dawn Song (UC Berkeley) ανακοίνωσε το zkCollective – ένα θεμέλιο για ασφαλή διαλειτουργικότητα μεταξύ των αλυσίδων. Η φόρμα συμμετοχής στην προσπάθεια μπορεί να συμπληρωθεί εδώ.

• Λέο Φαν (Cysic) τόνισε τα αποτελέσματά τους για τον επιταχυνόμενο πολλαπλασιασμό πολλαπλών βαθμίδων (MSM) σε FPGA για zk-prover, όπου το MSM συχνά αντιπροσωπεύει περισσότερο από το 50% του χρόνου του prover. Εκτιμάται ότι είναι ταχύτερες από συγκρίσιμες προσπάθειες (PipeMSM και CycloneMSM). Ο απώτερος στόχος τους είναι να δημιουργήσουν ένα ASIC.
• Μάρεκ Ολσέφσκι (Ζεαλ) έδωσε ένα υπέροχο demo για τη λειτουργία του ελαφρού πελάτη της Celo, Plumo, το οποίο έχει αναπτυχθεί 2 χρόνια και κυκλοφόρησε φέτος. Ο πελάτης αναπτύσσεται ως ένα τεράστιο κύκλωμα με 2²⁷ πύλες, και τροφοδοτείται από μια αισιόδοξη δυνάμεις-of-tau τελετή που μπορεί να είναι χρήσιμη για άλλα έργα. Τα μέλη της κοινότητας δημιουργούν SNARK-proofs καθημερινά (μετά από κάθε αλλαγή εποχής), η απόδειξη διαρκεί ~1 ώρα σε μια μηχανή 256 πυρήνων. Η βιβλιοθήκη WASM τους επιτρέπει την επαλήθευση των αποδείξεων από εφαρμογές Ιστού.
• Χάουαρντ Γου (Αλέο) παρουσίασε τις ιδέες πίσω από το σχεδιασμό του Aleo, το οποίο δημιουργεί ένα blockchain για ιδιωτικές συναλλαγές που επιτρέπει τη ταυτόχρονη και αποτελεσματικές ενημερώσεις κατάστασης.
• Τζέρεμι Μπρούστλ (Κίνδυνος 0) εξήγησε το σκεπτικό του σχεδιασμού πίσω από τη δημιουργία ενός συνόλου εντολών zkVM για RISC-V που υλοποιείται με zkSTARKs. Το RISC-V έχει ένα πολύ μικρό σύνολο εντολών (<40), που υποστηρίζονται καλά από διαφορετικούς μεταγλωττιστές, πλήρως ανοιχτό. Και, το πιο σημαντικό, είναι σχεδιασμένο για αποτελεσματικές υλοποιήσεις υλικού, κάτι που συνεπάγεται αποτελεσματικό σχεδιασμό κυκλώματος για δοκιμές zk.
• Ούμα Ρόι (Συνοπτικά Εργαστήρια) έδωσε μια επισκόπηση ενός τρόπου για να επαληθεύσουμε συνοπτικά τη συναίνεση του Ethereum με τα zkSNARK με χρόνο απόδειξης μόνο 1 λεπτό.

***

Βαλέρια Νικολαένκο είναι Ερευνητικός Συνεργάτης στο a16z crypto. Η έρευνά της επικεντρώνεται στην κρυπτογραφία και την ασφάλεια του blockchain. Έχει επίσης εργαστεί σε θέματα όπως επιθέσεις μεγάλης εμβέλειας σε πρωτόκολλα συναίνεσης PoS, σχήματα υπογραφών, μετα-κβαντική ασφάλεια και υπολογισμός πολλαπλών μερών. Είναι κάτοχος διδακτορικού στην Κρυπτογραφία από το Πανεπιστήμιο του Στάνφορντ υπό τη συμβουλή του καθηγητή Dan Boneh και εργάστηκε στο blockchain Diem ως μέρος της βασικής ερευνητικής ομάδας.

***

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

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

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