Το StarkNet ανανεώνει τον προγραμματισμό του στο Κάιρο, αλλά γιατί;

Το StarkNet είναι μια αποκεντρωμένη συλλογή εγκυρότητας χωρίς άδεια. Λειτουργεί ως δίκτυο L2 μέσω Ethereum. Επιτρέπει σε κάθε dApp να επιτύχει απεριόριστη κλίμακα για τον υπολογισμό του – χωρίς να θέτει σε κίνδυνο τη συνθεσιμότητα και την ασφάλεια του Ethereum.

Από την πρόσφατη ενημέρωση του StarkNet, έχει αναθεωρήσει την εσωτερική γλώσσα προγραμματισμού Cairo για να κάνει την ανάπτυξη Web3 προσβάσιμη στους προγραμματιστές. Σε ένα Medium blog-post από το StarkWare, οι λύσεις κλιμάκωσης βάσει Stark, περιέγραψαν τις αναβαθμίσεις στο Cairo 1.0.

Σύμφωνα με την ανάρτηση ιστολογίου, "Οι προγραμματιστές μπορούν να αρχίσουν να γράφουν, να μεταγλωττίζουν και να δοκιμάζουν προγράμματα Cairo 1.0!" Η πλατφόρμα ενθαρρύνει τους προγραμματιστές να αρχίσουν να πειραματίζονται με το Cairo 1.0 και να εξοικειωθούν με τη νέα σύνταξη και τις νέες δυνατότητες."

Τι είναι το Cairo 1.0;

Το Cairo παρουσιάστηκε για πρώτη φορά το 2020 και μετά την εξέλιξη ως η πρώτη δημόσια έκδοση του Cairo 1.0 είναι πλέον διαθέσιμη. Επίσης, είναι μια "γλώσσα προγραμματισμού με πλήρη Turing" για την αποτελεσματική σύνταξη προγραμμάτων που αποδεικνύονται με STARK. «Το Cairo 1.0 είναι μια γλώσσα υψηλού επιπέδου που μοιάζει με Rust. Όπως το Rust, προορίζεται να επιτρέψει στους προγραμματιστές να γράφουν εύκολα κώδικα που είναι αποτελεσματικός και ασφαλής."

Ο συνιδρυτής και Πρόεδρος της StarkWare, Eli Ben-Sasson, μοιράστηκε τον λόγο για την ανανέωση του Καΐρου καθώς είπε, «Οι βασικοί οδηγοί ήταν η ασφάλεια και η ευκολία χρήσης, και η διεξαγωγή της γενικής επισκευής παρουσίασε μια καταπληκτική ευκαιρία να αφαιρεθεί η καταχώρηση για προγραμματιστές με συμβατική γλώσσα. υπόβαθρα."

Το Cairo 1.0 εισάγει περαιτέρω τη Sierra, μια νέα ενδιάμεση αναπαράσταση που διασφαλίζει ότι κάθε διαδρομή στο Κάιρο μπορεί να αποδειχθεί. Αυτό καθιστά το Cairo 1.0 ιδιαίτερα κατάλληλο για χρήση σε ένα δίκτυο χωρίς άδεια όπως το StarkNet, όπου μπορεί να παρέχει ισχυρή προστασία DoS και αντίσταση στη λογοκρισία.

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

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

«Ωστόσο, το StarkNet δεν υποστηρίζει ακόμη την ανάπτυξη και την εκτέλεση συμβάσεων Cairo 1.0. Το StarkNet Alpha V0.11.0, που προγραμματίζεται τις επόμενες εβδομάδες, θα εισαγάγει τη δυνατότητα ανάπτυξης και εκτέλεσης συμβάσεων Cairo 1.0. Η αναβάθμιση στην έκδοση 0.11.0 θα σηματοδοτήσει την έναρξη της Μεταβατικής Περιόδου προς ένα σύστημα που εκτελεί μόνο συμβόλαια Cairo 1.0», σύμφωνα με το StarkNet.

Nancy J. Allen
Τελευταίες δημοσιεύσεις από Nancy J. Allen (δείτε όλα)

Πηγή: https://www.thecoinrepublic.com/2023/01/06/starknets-revamping-of-its-cairo-programming-but-why/