Το Crypto αυτή τη στιγμή μαραζώνει όπως το διαδίκτυο το 1996 με αργές ταχύτητες και λίγες περιπτώσεις πρακτικής χρήσης, λέει ο Steve Newcomb, επικεφαλής προϊόντων της Matter Labs.
Αλλά μια σημαντική αύξηση του εύρους ζώνης και της ασφάλειας αμέσως μετά οδήγησε το Διαδίκτυο να γίνει κρίσιμο μέρος της καθημερινής ζωής σε όλο τον κόσμο – και βρισκόμαστε ακριβώς στο κατώφλι να συμβεί αυτό για την κρυπτογράφηση τους επόμενους μήνες.
«Κανείς δεν εμπιστευόταν την πιστωτική του κάρτα σε αυτήν και όλοι νόμιζαν ότι ήταν μόδα και δεν υπήρχαν περιπτώσεις χρήσης για αυτό», εξηγεί ο Newcomb.
«Και μετά είχαμε 10x στιγμές σε εύρος ζώνης και μετά ήρθε το SSL και το HTPS όπου πήρατε αυτό το κλείδωμα — ήταν μια στιγμή εμπιστοσύνης 10 φορές. Ξαφνικά το 2005 το ηλεκτρονικό εμπόριο μόλις πέρασε από την οροφή».
Η στιγμή '10x' του Crypto θα μπορούσε επιτέλους να είναι εδώ, με το mainnet συμβατό με Ethereum Virtual Machine του zkSync να κυκλοφορεί στις 28 Οκτωβρίου. Το EVM είναι ουσιαστικά το λειτουργικό σύστημα για το Ethereum και επιτρέποντάς του να λειτουργεί χρησιμοποιώντας μηδενικές συνάθροιση γνώσεων σημαίνει ότι οτιδήποτε τρέχει στο Ethereum μπορεί να μεταφερθεί απρόσκοπτα στην εμπειρία τεράστιο άλμα στην ταχύτητα και χαμηλότερο κόστος.
Δεν είναι οι μόνοι που επιτίθενται στο πρόβλημα: η Polygon κυκλοφόρησε το δοκιμαστικό δίκτυο για το δικό της zkEVM αυτή την εβδομάδα με τα Aave, Uniswap και Lens να δεσμεύονται να αναπτύξουν σε αυτό. Η Scroll κυκλοφόρησε το "Pre Alpha testnet" τον Ιούλιο ενώ Η λύση zk της StarkWare ολοκληρώνει εκατομμύρια συναλλαγές το μήνα.
Αυτές οι λύσεις είναι όλες καλά χρηματοδοτούμενες, με το Scroll να συγκεντρώνει $30 εκατομμύρια, το Starkware να συγκεντρώνει $150 εκατομμύρια και το Polygon να συγκεντρώνει $450 εκατομμύρια. Η Newcomb υπαινίσσεται ότι ο γύρος ιδίας χρηματοδότησης του zkSync βρίσκεται στον ίδιο χώρο με το Polygon, αλλά δεν έχει ακόμη ανακοινωθεί επίσημα.
Το StarkWare είναι πολύ μπροστά από το πακέτο, έχοντας λανσάρει τη δική του λύση συλλογής ZK πριν από εννέα μήνες και ενεργοποίησε την αναδρομική κλιμάκωση τον Αύγουστο. Αλλά πήρε επίσης την επικίνδυνη απόφαση να χρησιμοποιήσει μια προσαρμοσμένη γλώσσα προγραμματισμού που ονομάζεται Cairo προκειμένου να κλιμακωθεί πιο αποτελεσματικά. Αυτό θα μπορούσε να οδηγήσει την υιοθέτηση από τα μεγάλα πρωτόκολλα να κινηθεί προς το μονοπάτι της ελάχιστης αντίστασης στις συμβατές λύσεις EVM.
Όλες οι λύσεις εργάζονται επίσης σε αναδρομική κλιμάκωση ή/και υλοποιήσεις «Επίπεδο 3» που θα δουν τις συναλλαγές του Ethereum να γίνονται δυνητικά χιλιάδες φορές πιο γρήγορες, θα καταργήσουν την ανάγκη για γέφυρες μεταξύ των αλυσίδων και θα επιτρέψουν στο crypto να συνειδητοποιήσει τελικά τις πραγματικές του δυνατότητες.
Τι είναι η συγκέντρωση μηδενικών γνώσεων ή η συνάθροιση zk;
Οι συναθροίσεις ZK είναι από τις μεγαλύτερες λέξεις-κλειδιά στο blockchain σήμερα. Η τεχνολογία επιτρέπει τον υπολογισμό χιλιάδων συναλλαγών μακριά από το οδυνηρά αργό blockchain του Ethereum, με μια μικρή «απόδειξη εγκυρότητας» που επαληθεύει ότι όλες οι συναλλαγές πραγματοποιήθηκαν σωστά. Έτσι, μπορείτε να "συστοιχίσετε" 10,000 συναλλαγές που πραγματοποιήθηκαν αλλού σε μία μόνο συναλλαγή ETH. Αυτό είναι μεγάλη υπόθεση γιατί ακόμα και μετά την ολοκλήρωση του Merge Ethereum με 15 συναλλαγές ανά δευτερόλεπτο.
Οι συνάψεις ZK χρησιμοποιούνται για NFT και οικονομικές συναλλαγές εδώ και αρκετό καιρό σε πλατφόρμες όπως το Loopring, το dyDx και άλλες. Αλλά όπως τόνισε ο συνιδρυτής Vitalik Buterin κατά τη διάρκεια του ETH Seoul τον Αύγουστο:
«Γενικά, νομίζω ότι μάθαμε ότι οι άνθρωποι δεν θέλουν απλώς ένα κλιμακούμενο χρήμα, θέλουν ένα επεκτάσιμο EVM».
Είναι ένα από αυτά που η Newcomb αποκαλεί "πέντε μαγικά στοιχεία" για συνάθροιση ZK. Κατά την άποψή του, μια λύση συλλογής ZK θα πρέπει να είναι γενικής χρήσης, συμβατή με EVM και να υποστηρίζει τη γλώσσα προγραμματισμού Solidity του Ethereum. Θα πρέπει επίσης να είναι ανοιχτού κώδικα για να ταιριάζει με το ιδρυτικό ήθος της κρυπτογράφησης και θα πρέπει να έχει μια συμβολική διανομή που αποκεντρώνει το πρωτόκολλο αντί να συγκεντρώνει τον πλούτο στην ομάδα.
Κατά περίεργη σύμπτωση, το zkSync έχει επιτύχει και τις πέντε από αυτές τις μετρήσεις που επιβάλλονται από τον εαυτό τους. (Ο Newcomb λέει ότι δεν μπορεί να αναφέρει λεπτομερώς την ακριβή κατανομή του token, αλλά λέει ότι περίπου το 30% για τους μυημένους φαίνεται να είναι η «συναίνεση».)
Η λίστα ελέγχου είναι κάτι σαν συγκαλυμμένη κριτική στον ανταγωνιστή StarkWare, ο οποίος πρόκειται να δώσει το 49.9% της προσφοράς συμβολαίων StarkNet σε επενδυτές και βασικούς συνεισφέροντες. Επίσης, δεν είναι ανοιχτού κώδικα, αν και σχεδιάζει να δώσει τον έλεγχο της IP στην κοινότητά του.
Ο συνιδρυτής Eli Ben-Sasson εξηγεί ότι ο μόνος τρόπος για να εκμεταλλευτείτε πλήρως την κλιμάκωση που προσφέρουν οι συνάθροιση ZK είναι να χρησιμοποιήσετε μια προσαρμοσμένη γλώσσα όπως το Κάιρο.
«Είμαι πολύ σίγουρος ότι οι άνθρωποι θα συνειδητοποιήσουν μόλις ενεργοποιήσουν τις αποδείξεις ότι ο στόχος δεν είναι η προσομοίωση του EVM. Ο στόχος είναι να επιτευχθεί επεκτασιμότητα. Να βάλεις 10,000, 100,000, ένα εκατομμύριο συναλλαγές και να τοποθετηθεί η απόδειξη σε ένα μόνο μπλοκ Ethereum», λέει.
«Είμαι πρόθυμος να στοιχηματίσω ότι δεν θα δείτε ένα πλήρες ZK EVM που μπορεί να βάλει ένα εκατομμύριο συναλλαγές σε ένα μόνο απόδειξη στο Ethereum. Όπως μπορούμε εύκολα να κάνουμε σήμερα και κάνουμε εδώ και μήνες και χρόνια».
Κλιμάκωση έναντι συμβατότητας
Το Odin-Free της StarkWare εξήγησε στο Twitter ότι υπάρχουν περίπλοκοι μαθηματικοί λόγοι πίσω από την ανάγκη για μια προσαρμοσμένη γλώσσα, επειδή «συστήματα απόδειξης όπως το Stark βασίζονται σε πολυώνυμα σε πεπερασμένα πεδία, δίνοντας μια πολύ πιο αποτελεσματική πολυωνυμική εξίσωση». Εντάξει, ας πάρουμε τα λόγια του.
Για τον Ben-Sasson, το να προσπαθείς να φτιάξεις το EVM είναι απλώς χαζό:
«Αν θέλατε να λύσετε τη μεταφορά, θα μπορούσατε να πάρετε ένα μεγάλο φορτηγό και να το βάλετε μέσα σε ένα αεροπλάνο και να το παραδώσει το αεροπλάνο», λέει.
«Υπάρχουν αεροπλάνα που μπορούν να χωρέσουν ένα φορτηγό μέσα, αλλά αυτός είναι ένας πολύ αναποτελεσματικός τρόπος να το κάνεις. Πολύ καλύτερος τρόπος είναι απλώς να παίρνεις πράγματα και να τα βάζεις απευθείας στο αεροπλάνο».
Τούτου λεχθέντος, το οικοσύστημα έχει ένα transpiler που ονομάζεται Warp που μετατρέπει τον κώδικα Solidity σε κώδικα του Καΐρου και το οποίο μόλις χρησιμοποιήθηκε για τη μεταφορά μέσω μιας διχάλας Uniswap στο StarkNet.
Πηγή: https://cointelegraph.com/magazine/2022/10/12/attack-zkevms-cryptos-10x-moment