Τι είναι η Solidity;

Πώς ξέρει μια εφαρμογή crypto ποιος δικαιούται να πάρει token ή πότε επιτρέπεται μια ανάληψη;

Σκεφτείτε έναν αυτόματο πωλητή: επιλέγετε προϊόν, βάζετε χρήματα και το μηχάνημα ακολουθεί συγκεκριμένους κανόνες. Αντίστοιχα, ένας προγραμματιστής μπορεί να χρησιμοποιήσει τη Solidity για να γράψει ένα έξυπνο συμβόλαιο (smart contract) που δέχεται καταθέσεις, καταγράφει υπόλοιπα ή επιτρέπει μεταφορές token. Οι κανόνες χρειάζεται να περιγράφουν τόσο τις επιτρεπόμενες ενέργειες όσο και το ποιος μπορεί να τις εκτελέσει.

Ο κώδικας μετατρέπεται μέσω μεταγλώττισης (compilation) σε εντολές που καταλαβαίνει η εικονική μηχανή του Ethereum (Ethereum Virtual Machine, EVM). Στη συνέχεια, το συμβόλαιο εγκαθίσταται στο blockchain και αποκτά τη δική του διεύθυνση. Όταν μια συναλλαγή καλεί μια λειτουργία του, το δίκτυο εκτελεί τις αντίστοιχες εντολές. Αυτή η εκτέλεση καταναλώνει gas, δηλαδή μονάδες υπολογιστικής εργασίας, για τις οποίες καταβάλλεται χρέωση.

Γιατί έχει σημασία

Δεν χρειάζεται να ξέρετε προγραμματισμό για να χρησιμοποιήσετε μια εφαρμογή γραμμένη σε Solidity. Όταν όμως ανταλλάσσετε token ή καταθέτετε crypto σε μια υπηρεσία αποκεντρωμένης χρηματοδότησης (DeFi), μπορεί να αλληλεπιδράτε με τέτοια συμβόλαια χωρίς καν να βλέπετε τον κώδικά τους.

Η Solidity χρησιμοποιείται και σε άλλα δίκτυα συμβατά με την EVM, όχι μόνο στο Ethereum. Επίσης, είναι γλώσσα προγραμματισμού, όχι κρυπτονόμισμα. Το ότι ένα project τη χρησιμοποιεί περιγράφει ένα τεχνικό χαρακτηριστικό του, όχι την αξιοπιστία του.

Τι να προσέξεις

Ένα λάθος στον κώδικα μπορεί να επιτρέψει κλοπή κεφαλαίων ή να τα εγκλωβίσει. Και επειδή ο εγκατεστημένος κώδικας συνήθως δεν αλλάζει απευθείας, η διόρθωση δεν είναι τόσο εύκολη όσο μια ενημέρωση εφαρμογής στο κινητό. Υπάρχουν μηχανισμοί αναβάθμισης, αλλά τότε μετράει ποιος τους ελέγχει και τι δικαιώματα διαθέτει.

Εμείς ξεχωρίζουμε τη διαφάνεια από την ασφάλεια: ο δημοσιευμένος και επαληθευμένος πηγαίος κώδικας επιτρέπει να ελεγχθεί τι κάνει ένα συμβόλαιο, αλλά δεν αποδεικνύει ότι είναι ακίνδυνο. Αντίστοιχα, ένας έλεγχος ασφαλείας (audit) μπορεί να εντοπίσει προβλήματα, χωρίς να εγγυάται ότι δεν υπάρχουν άλλα.