Το StarkNet αναθεωρεί τη γλώσσα προγραμματισμού Cairo για να προωθήσει την υιοθέτηση των προγραμματιστών

Η πλατφόρμα κλιμάκωσης στρώματος 2 Ethereum StarkNet έχει αναθεωρήσει την εσωτερική γλώσσα κωδικοποίησης Cairo για να κάνει την ανάπτυξη Web3 προσβάσιμη στους προγραμματιστές.

Μια ανακοίνωση που κοινοποιήθηκε στην Cointelegraph περιγράφει τις αναβαθμίσεις στο Cairo 1.0, το οποίο διαφημίζεται για να μιμηθεί τα χαρακτηριστικά της δημοφιλής γλώσσας προγραμματισμού Rust. Η γενική επισκευή σκοπεύει να επιτρέψει σε προγραμματιστές με γενική εμπειρία κωδικοποίησης να αρχίσουν να δημιουργούν αποκεντρωμένες εφαρμογές στο δίκτυο Ethereum layer-2 του StarkNet.

Ο συνιδρυτής και πρόεδρος της StarkWare, Eli Ben-Sasson, είπε στην Cointelegraph ότι το να γίνει η ανάπτυξη layer-2 πιο προσιτή σε προγραμματιστές διαφορετικού υπόβαθρου ήταν ο κύριος λόγος για την ανανέωση του Cairo:

«Τα βασικά προγράμματα οδήγησης ήταν η ασφάλεια και η ευκολία στη χρήση και η διεξαγωγή της γενικής επισκευής παρουσίασε μια καταπληκτική ευκαιρία για την κατάργηση της καταχώρισης για προγραμματιστές με υπόβαθρο συμβατικής γλώσσας».

Οι τεχνικές προδιαγραφές που περιγράφονται στην κυκλοφορία της 5ης Ιανουαρίου περιλαμβάνουν μια σειρά από βελτιώσεις στη γλώσσα του Καΐρου, συμπεριλαμβανομένων βελτιωμένων συντακτικών και γλωσσικών κατασκευών, ένα σύστημα ολιστικού τύπου, έξυπνες βιβλιοθήκες, βελτιστοποιημένο κώδικα και ισχυρή πληκτρολόγηση με απαιτητικές προδιαγραφές τύπων δεδομένων.

Το StarkNet τόνισε τη Sierra - που σημαίνει Ασφαλής Ενδιάμεση Αντιπροσώπευση - ως την κύρια προσθήκη στην γενική επισκευή του Καΐρου. Το Sierra λειτουργεί ως ένα νέο ενδιάμεσο επίπεδο αναπαράστασης μεταξύ του Cairo 1.0 και του κώδικα byte του Cairo.

Όπως εξήγησε ο Ben-Sasson, η Sierra είναι μια σημαντική πτυχή για τη διασφάλιση ενός δικτύου χωρίς άδεια. Η αναβάθμιση επιτρέπει τη συμπερίληψη των επαναφερόμενων συναλλαγών στα μπλοκ StarkNet, βοηθώντας το πρωτόκολλο να αποφύγει την προσθήκη πολύπλοκων «κρυπτοοικονομικών μηχανισμών».

Συγγενεύων: Το StarkNet κάνει το Cairo 1.0 ανοιχτού κώδικα στο πρώτο βήμα προς τον έλεγχο της κοινότητας

Ο Ben-Sasson είπε ότι η Sierra θα επιτρέψει στο StarkNet να «κληρονομήσει την πλήρη αντίσταση στη λογοκρισία του Ethereum» και προστατεύει κυρίως από επιθέσεις άρνησης υπηρεσίας Sequencer.

As αναφέρθηκε προηγουμένως από την Cointelegraph, πρωτοστάτησε ο Ben-Sasson zk-STARK κρυπτογραφία μαζί με άλλους επιστήμονες υπολογιστών. Το Zero-Knowledge Scalable Transparent Arguments of Knowledge είναι ένα σύστημα απόδειξης που κρυπτογραφεί και επαληθεύει τα δεδομένα συναλλαγών για να παρέχει ασφάλεια, επεκτασιμότητα και αντίσταση στον κβαντικό υπολογισμό.

Σύμφωνα με το StarkNet, το Κάιρο είναι η τέταρτη πιο δημοφιλής γλώσσα έξυπνων συμβολαίων βάσει συνολικής αξίας κλειδωμένης αξίας. Είναι η βάση των εφαρμογών που έχουν επεξεργαστεί περισσότερες από 300 εκατομμύρια συναλλαγές, έχουν κόψει 90 εκατομμύρια μη ανταλλάξιμα μάρκες και έχουν διευκολύνει συναλλαγές αξίας 790 εκατομμυρίων δολαρίων που έχουν διευθετηθεί στο Ethereum.