Το επερχόμενο Hardfork της Kaspa με επίκεντρο τις συμφωνίες: Τι γνωρίζουμε

Τι είναι το Hardfork της Kaspa με επίκεντρο τις συμβάσεις;

Σύμφωνα με Το νήμα του Τέρα, Κάσπα προετοιμάζει ένα hardfork με επίκεντρο τις συμφωνίες που έχει προγραμματιστεί για ενεργοποίηση κεντρικού δικτύου στις 5 Μαΐου 2026. Η αναβάθμιση επεκτείνεται Επίπεδο 1 (L1) προγραμματισμού εισάγοντας εγγενή στοιχεία και εκτεταμένη λειτουργικότητα συμβατικών δεδομένων. Επίσης, θέτει τις βάσεις για επαληθεύσιμα προγράμματα (vProgs) και ενσωματώσεις μηδενικής γνώσης (ZK).

Το Kaspa λειτουργεί ως blockchain απόδειξης εργασίας χρησιμοποιώντας μια αρχιτεκτονική blockDAG. Αναβάθμιση Crescendo Τον Μάιο του 2025, η απόδοση αυξήθηκε σε 10 μπλοκ ανά δευτερόλεπτο (BPS). Έτσι, το επερχόμενο hardfork βασίζεται σε αυτή τη βάση χωρίς να αλλάζει τις απαιτήσεις των κόμβων ή τα θεμελιώδη στοιχεία συναίνεσης.

Οι βασικοί προγραμματιστές περιγράφουν την έκδοση ως μια αναβάθμιση με συγκεκριμένο εύρος. Εστιάζει στην ενεργοποίηση της έκδοσης εγγενών διακριτικών, των προγραμματιζόμενων κανόνων δαπανών και της επαλήθευσης ZK στο L1. 

Ποιο είναι το χρονοδιάγραμμα για το Hardfork της 5ης Μαΐου 2026;

Αρκετά ορόσημα προηγούνται της ενεργοποίησης του mainnet, σύμφωνα με το νήμα της Terah:

• Επαναφορά Testnet 12 (TN12): Προγραμματίστηκε για τις αρχές Φεβρουαρίου 2026 για την υποστήριξη δοκιμών συμβατικών και εγγενών στοιχείων ενεργητικού.
   
• KIP δέσμευσης αλληλουχητή: Αναμένεται γύρω στις 12 Φεβρουαρίου 2026. Αυτή η πρόταση εισάγει δεσμεύσεις ωφέλιμου φορτίου εξόρυξης για την ενίσχυση της αποκέντρωσης σε πραγματικό χρόνο.
   
• Έκδοση SilverScript: Μια γλώσσα προγραμματισμού υψηλού επιπέδου για τη σύνταξη προγραμμάτων στο Kaspa. Αναπτύχθηκε από την Ori Newman και τους συνεργάτες της, και απλοποιεί την ανάπτυξη συμβάσεων.
   
• Mainnet Hardfork: Μάιος 5, 2026.

Οι αναβαθμίσεις μετά το hardfork περιλαμβάνουν το DAGKnight, με στόχο την προσαρμοστική συναίνεση και την απόδοση άνω των 100 BPS, καθώς και την πλήρη ανάπτυξη των vProgs.

Πώς λειτουργούν τα εγγενή περιουσιακά στοιχεία και οι συμφωνίες στο Kaspa;

Εγγενή στοιχεία ενεργητικού στο Επίπεδο 1

Το hardfork εισάγει εγγενή στοιχεία, συμπεριλαμβανομένης της υποστήριξης για Διακριτικά KRC20Αυτά τα περιουσιακά στοιχεία υπάρχουν απευθείας στο L1 και μπορούν να μεταφερθούν ατομικά.

Οι ατομικές μεταφορές ισχύουν για:

• Κανονικές ενσωματωμένες συμφωνίες
• Εκτελέσεις συμβάσεων ZK και μη ZK
• Μεταφορές διακριτικών KRC20

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

Εκτεταμένες Διαθήκες (Διαθήκες++)

Το σύστημα συμβολαίων της Kaspa είναι εμπνευσμένο από την έρευνα του Bitcoin σχετικά με τις προγραμματιζόμενες συνθήκες δαπανών UTXO. Το Covenants++ επεκτείνει αυτό το σύστημα για να επιτρέψει πιο εκφραστικούς κανόνες συναλλαγών.

Ανακαλύψτε πολλά υποσχόμενα έργα...

Πολλά υποσχόμενα έργα...

(Διαφήμιση)

Το άρθρο συνεχίζεται...

Οι περιπτώσεις χρήσης περιλαμβάνουν:

• Έλεγχοι ασφαλείας τύπου Vault
• Μηχανισμοί μεσεγγύησης
• Μεταβιβάσεις υπό όρους
• Δομημένη λογική διακριτικών

Το σύστημα διατηρεί ένα μοντέλο UTXO αντί για έξυπνα συμβόλαια που βασίζονται σε πλήρως λογαριασμούς.

Τι είναι το Υπολογιστικό DAG (CDAG);

Το hardfork εισάγει το Computational DAG (CDAG). Το CDAG καταγράφει όλες τις δηλώσεις ανάγνωσης και εγγραφής που γίνονται από προγράμματα.

Αυτή η δομή:

• Παρακολουθεί τη χρήση πόρων
• Ρυθμίζει τις εξαρτήσεις μεταξύ προγραμμάτων
• Επιβάλλει τις δεσμεύσεις για το φυσικό αέριο

Ο σχεδιασμός είναι συγκρίσιμος με μοντέλα εκτέλεσης σε blockchains όπως το Solana και το Sui, αλλά υλοποιείται σε πλήρη μορφή στο περιβάλλον blockDAG της Kaspa.

Το CDAG παίζει κεντρικό ρόλο στην ενεργοποίηση της κυριαρχίας των vProgs.

Τι είναι τα vProgs και πώς διαφέρουν από τα έξυπνα συμβόλαια;

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

Βασικές ιδιότητες:

• Κυρίαρχη εκτέλεση: Κάθε vProg ορίζει τους δικούς του κανόνες απόδοσης και εξάρτησης.
• Έλεγχος εξάρτησης βάσει αερίου: Ένα vProg δεν μπορεί να διαβάσει την κατάσταση ενός άλλου vProg εκτός αν πληρώσει βενζίνη για την κατανάλωση πόρων.
• Μη ατομικές μεταφορές: Τα vProgs δεν είναι διαφανή στο L1 με τον ίδιο τρόπο όπως τα εγγενή στοιχεία ενεργητικού. Οι μεταφορές είναι ασύγχρονες και μη ατομικές.
• Απαίτηση τυλιγμένου KAS: Οποιαδήποτε μη ενσωματωμένη συμφωνία πρέπει να χρησιμοποιεί τυλιγμένο KAS μέσω μιας κανονικής γέφυρας. Το εγγενές KAS L1 δεν μπορεί να χρησιμοποιηθεί απευθείας.

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

Ποιος πρέπει να δημιουργεί vProgs;

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

Ωστόσο, τα vProgs μπορεί να προσελκύσουν:

• Αρχιτέκτονες Appchain
• Ομάδες που αξιολογούν συστήματα τύπου rollup
• Έργα που δημιουργούν πράκτορες τεχνητής νοημοσύνης με μεγάλη κατάσταση στην αλυσίδα
• Σχεδιαστές συστημάτων που συγκρίνουν συμβάσεις L1, συλλογές L2 και υβριδικά μοντέλα

Τα vProgs συνδυάζουν την ενοποιημένη αλληλούχιση L1 με εξωτερικευμένη κατάσταση και υπολογισμό.

Ποιος είναι ο ρόλος της μηδενικής γνώσης (ZK);

Το hardfork ενσωματώνει την επαλήθευση ZK στο L1, επεκτείνοντας προηγούμενες προτάσεις όπως ΚΙΡ-16.

Οι υποστηριζόμενες δυνατότητες περιλαμβάνουν:

• Επαλήθευση απόδειξης Groth16
• Απίστευτες γέφυρες σε συστήματα L2
• Πιθανές εφαρμογές που προσανατολίζονται στην προστασία της ιδιωτικής ζωής

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

Ένας τυπικός φορητός υπολογιστής μπορεί να δημιουργήσει αποδείξεις υπό τις τρέχουσες υποθέσεις.

Τα προγράμματα που εστιάζουν στην ιδιωτικότητα είναι τεχνικά εφικτά μετά το hardfork. Ωστόσο, η ιδιωτικότητα δεν αναφέρεται ως πρωταρχικός στόχος του οδικού χάρτη.

Πώς σχετίζεται το Sparkle με τα vProgs;

Το Sparkle είναι μια αρχιτεκτονική που προτάθηκε από τον Anton για τον συνδυασμό υπολογιστικών DAG και δοκιμών ZK. Ενώ τόσο το Sparkle όσο και το vProgs χρησιμοποιούν στοιχεία CDAG και ZK, αντιμετωπίζουν διαφορετικά ερωτήματα σχεδιασμού.

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

Θα επηρεάσει το Hardfork την ασφάλεια, το MEV ή τις απαιτήσεις κόμβου;

• Προϋπολογισμός Ασφάλειας: Δεν αναμένεται άμεσος αντίκτυπος βραχυπρόθεσμα. Οι βελτιώσεις εξαρτώνται από την πραγματική υιοθέτηση προϊόντων και όχι από τις αλλαγές στις υποδομές.
   
• Απαιτήσεις κόμβου: Δεν υπάρχουν αλλαγές.
   
• Δημοπρασίες MEV Kickback: Θεωρείται πρόωρο δεδομένου του τρέχοντος σταδίου ανάπτυξης του οικοσυστήματος.
   
• PoW Grinding για STARKs: Οι συζητήσεις αναφέρονται στην ιστορική συμπεριφορά στο πρώιμο Ethereum, όπου οι διευθύνσεις με αρχικά μηδενικά μείωσαν το κόστος καυσίμου, κάτι που με τη σειρά του οδήγησε σε αγορές με απόδειξη εργασίας. Η αναφορά ήταν περισσότερο συμφραζόμενη και όχι τρέχουσα.

Τι προσθέτει το SilverScript;

Η SilverScript είναι μια γλώσσα υψηλού επιπέδου σχεδιασμένη για προγράμματα Kaspa. Στοχεύει στην απλοποίηση της ανάπτυξης συμβάσεων και προγραμμάτων.

Οι στόχοι σχεδιασμού του περιλαμβάνουν:

• Αναγνώσιμη σύνταξη
• Προσβασιμότητα για νέους προγραμματιστές
• Συμβατότητα με αυτοματοποιημένα εργαλεία

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

Συμπέρασμα

Το hardfork της Kaspa, που βασίζεται σε συμβάσεις, επεκτείνει τη λειτουργικότητα του Επιπέδου 1 μέσω εγγενών περιουσιακών στοιχείων, εκτεταμένων συμβάσεων και επαλήθευσης ZK. Εισάγει το CDAG για παρακολούθηση δομημένων εξαρτήσεων και θέτει τα θεμέλια για κυρίαρχα vProgs. Η αναβάθμιση διατηρεί τις υπάρχουσες απαιτήσεις κόμβων και τη συναίνεση για απόδειξη εργασίας, ενώ παράλληλα επιτρέπει την προγραμματιζόμενη έκδοση διακριτικών και τις ατομικές μεταφορές.

Η ενεργοποίηση της 5ης Μαΐου 2026 σηματοδοτεί ένα τεχνικό βήμα στο χρονοδιάγραμμα της Kaspa. Προσθέτει δομημένη προγραμματιστικότητα σε επίπεδο πρωτοκόλλου και προετοιμάζει το δίκτυο για περαιτέρω αναβαθμίσεις, συμπεριλαμβανομένου του DAGKnight και της πλήρους ανάπτυξης vProgs.

Πηγές:

• Σκληρό πιρούνι με επίκεντρο το KaspaΑντίστροφη μέτρηση στο Kas.live
• Τέρα Χ Νήμα: Προσεχή Ορόσημα και Hard Fork με επίκεντρο τη Συμφωνία
• Έρευνα ΚάσπαΈνα επίσημο μοντέλο κορμού για τον υπολογισμό DAG vProg