Ο Charles Hoskinson αναπτύσσει νέα γλώσσα προγραμματισμού για το δίκτυο Cardano

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

Η νέα τεχνολογία φιλοδοξεί να προσφέρει στους προγραμματιστές περισσότερες δυνατότητες για τη δημιουργία αποκεντρωμένων εφαρμογών, ενισχύοντας παράλληλα την ασφάλεια και την αποδοτικότητα των συναλλαγών.

Την είδηση γνωστοποίησε ο ίδιος ο Hoskinson μέσω ανάρτησής του στην πλατφόρμα X την Κυριακή, αποκαλύπτοντας ότι εργάζεται πάνω στο εγχείρημα μαζί με τον Lucas Rosa, μηχανικό λογισμικού της Input Output Global (IOG), ο οποίος είναι επίσης ένας από τους δημιουργούς της Aiken, μιας από τις βασικές γλώσσες που χρησιμοποιούνται για την ανάπτυξη έξυπνων συμβολαίων στο Cardano.

Η εμπλοκή του Hoskinson στην ανάπτυξη ενός τέτοιου εργαλείου παρουσιάζει ιδιαίτερο ενδιαφέρον, καθώς το Cardano αποτελεί ήδη ένα σημαντικό οικοσύστημα στον χώρο του blockchain. Αντί να περιορίζεται στον στρατηγικό σχεδιασμό και τη διοίκηση, ο ιδρυτής του δικτύου συμμετέχει ενεργά στη δημιουργία μιας τεχνολογίας που θα μπορούσε να αποτελέσει τη βάση για την επόμενη γενιά εφαρμογών του.

Συναλλαγές με μεγαλύτερη ευελιξία και κρυπτογραφική επαλήθευση

Σύμφωνα με τις πληροφορίες που έχουν γίνει γνωστές μέχρι στιγμής, η νέα γλώσσα προγραμματισμού θα υποστηρίζει τρεις βασικές τεχνολογικές λειτουργίες: τις προθέσεις συναλλαγών (transaction intents), τα δεδομένα που συνοδεύονται από αποδείξεις (proof-carrying data) και τις κρυπτογραφικές αποδείξεις Groth16.

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

Η προσέγγιση αυτή θα μπορούσε να απλοποιήσει τη χρήση αποκεντρωμένων εφαρμογών, καθώς οι χρήστες δεν θα χρειάζεται να γνωρίζουν όλες τις τεχνικές λεπτομέρειες πίσω από κάθε συναλλαγή. Παράλληλα, οι προγραμματιστές θα αποκτήσουν μεγαλύτερη ευελιξία στον σχεδιασμό σύνθετων λειτουργιών.

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

Η συγκεκριμένη λειτουργία θα μπορούσε να διευκολύνει την επικοινωνία μεταξύ διαφορετικών υπηρεσιών και εφαρμογών, περιορίζοντας τις περιττές υπολογιστικές διαδικασίες και καθιστώντας την επαλήθευση των πληροφοριών πιο αποτελεσματική.

Ο ρόλος των αποδείξεων Groth16

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

Μέσω αυτής της μεθόδου, είναι δυνατό να αποδειχθεί ότι μια συγκεκριμένη συνθήκη έχει εκπληρωθεί χωρίς να αποκαλύπτονται τα προσωπικά ή εμπιστευτικά δεδομένα που χρησιμοποιήθηκαν για την απόδειξή της. Η δυνατότητα αυτή είναι ιδιαίτερα σημαντική για εφαρμογές που απαιτούν αυξημένη προστασία της ιδιωτικότητας, χωρίς να θυσιάζουν την αξιοπιστία και τη διαφάνεια της επαλήθευσης.

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

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

Η θέση της νέας γλώσσας  

Το Cardano διαθέτει ήδη εργαλεία για την ανάπτυξη έξυπνων συμβολαίων, με βασικές επιλογές τις Plutus και Aiken. Η Plutus βασίζεται στη γλώσσα προγραμματισμού Haskell, ενώ η Aiken έχει αναπτυχθεί με στόχο να προσφέρει ένα πιο εξειδικευμένο περιβάλλον για τη δημιουργία έξυπνων συμβολαίων στο οικοσύστημα του Cardano.

Παράλληλα, η Input Output Global, η εταιρεία που συνδέεται με την ανάπτυξη του δικτύου, έχει αναπτύξει και το Compact, μια γλώσσα προγραμματισμού για το Midnight, το blockchain που εστιάζει στην προστασία της ιδιωτικότητας και στη διαχείριση εμπιστευτικών δεδομένων.

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

Χωρίς επίσημο χρονοδιάγραμμα 

Παρά την ανακοίνωση του Hoskinson, αρκετές βασικές λεπτομέρειες παραμένουν άγνωστες. Μέχρι στιγμής, δεν έχει αποκαλυφθεί η ονομασία της νέας γλώσσας, δεν έχει δημοσιοποιηθεί κώδικας ούτε έχουν παρουσιαστεί αναλυτικές τεχνικές προδιαγραφές. Επίσης, δεν υπάρχει επίσημη ημερομηνία κυκλοφορίας ή ενημέρωση σχετικά με το πότε θα μπορούν οι προγραμματιστές να ξεκινήσουν να τη χρησιμοποιούν.

Η εξέλιξη παρακολουθείται με ενδιαφέρον, καθώς ο συνδυασμός προθέσεων συναλλαγών και κρυπτογραφικών αποδείξεων θα μπορούσε να προσφέρει νέες δυνατότητες στον τρόπο με τον οποίο σχεδιάζονται και εκτελούνται οι λειτουργίες στο blockchain.

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

ΔΙΑΒΑΣΤΕ ΠΕΡΙΣΣΟΤΕΡΕΣ ΕΙΔΗΣΕΙΣ:

• 40 UNDER 40 2026: Όλοι οι νέοι επιχειρηματίες που ξεχώρισαν φέτος
• «Δαίδαλος»: Ο νέος ελληνικός υπερυπολογιστής στους ισχυρότερους της Ευρώπης – Πώς λειτουργεί
• Έρχεται νέα κρίση χρέους στην Ευρωζώνη με επίκεντρο τη Γαλλία;
• Από τον παιδικό «κουμπαρά», στα φιλοδωρήματα – Οι 2+1 αλλαγές για την τσέπη των νοικοκυριών