Εξερευνώντας τα vProgs της Kaspa: Το Πλαίσιο για Επεκτάσιμες, Επαληθεύσιμες Εφαρμογές

Κάσπα κυκλοφόρησε το πρώτο προσχέδιο του Κίτρινο Βιβλίο vProgs στις 11 Σεπτεμβρίου 2025. Αυτό το έγγραφο περιγράφει λεπτομερώς ένα πρωτόκολλο για επαληθεύσιμα προγράμματα, ή vProgs, τα οποία επιτρέπουν υπολογισμούς εκτός αλυσίδας που ασφαλίζονται με αποδείξεις μηδενικής γνώσης και είναι αγκυροβολημένοι στο Kaspa's Δίκτυο επιπέδου 1. 

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

Ιστορικό της αρχιτεκτονικής BlockDAG της Kaspa

Η Kaspa λειτουργεί διαφορετικά από τα γραμμικά blockchain, όπως π.χ. Bitcoin or EthereumΧρησιμοποιεί ένα blockDAG, το οποίο επιτρέπει σε πολλά μπλοκ να αναφέρονται το ένα στο άλλο παράλληλα, μειώνοντας την ανάγκη για ορφανά μπλοκ κατά την εξόρυξη. Αυτός ο σχεδιασμός βασίζεται στο πρωτόκολλο GHOSTDAG, που αναπτύχθηκε από τον Yonatan Sompolinsky, το οποίο επεκτείνει τη συναίνεση του Nakamoto για να εξυπηρετήσει υψηλότερους ρυθμούς μπλοκ χωρίς να διακυβεύεται η ασφάλεια.

Προς το παρόν, Κάσπα επεξεργάζεται 10 μπλοκ ανά δευτερόλεπτο, με σχέδια για αύξηση αυτού σε 32 μπλοκ ανά δευτερόλεπτο και ενδεχομένως σε 100 μακροπρόθεσμα. Οι επιβεβαιώσεις συνήθως πραγματοποιούνται εντός ενός έως 10 δευτερολέπτων, με τον κύριο περιορισμό να είναι η καθυστέρηση δικτύου και όχι η επεξεργασία εντός αλυσίδας. Αυτό έχει ως αποτέλεσμα μια θεωρητική απόδοση άνω των 10,000 συναλλαγών ανά δευτερόλεπτο, υπερβαίνοντας κατά πολύ τις 3 έως 7 συναλλαγές ανά δευτερόλεπτο του Bitcoin ή τις 15 έως 30 συναλλαγές ανά δευτερόλεπτο του Ethereum στο Επίπεδο 1 πριν από τις εφαρμογές sharding.

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

Το Kaspa έχει χρησιμεύσει κυρίως ως βασικό επίπεδο για πληρωμές και διακανονισμό δεδομένων, ενσωματώνοντας πρότυπα όπως το KRC-20 για ανταλλάξιμα tokens. Μέχρι την πρόταση vProgs, δεν είχε εγγενή υποστήριξη για έξυπνα συμβόλαια, βασιζόμενο σε απλούστερα scripting για βασικές λειτουργίες.

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

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

(Διαφήμιση)

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

Τι είναι το Kaspa vProgs;

Το vProgs, συντομογραφία του verifiable programs (επαληθεύσιμα προγράμματα), εισάγει ένα σύστημα για την εκτέλεση σύνθετης λογικής από την κύρια αλυσίδα, διασφαλίζοντας παράλληλα ότι τα αποτελέσματα μπορούν να επαληθευτούν στο Επίπεδο 1 του Kaspa. Κάθε vProg λειτουργεί ως αυτόνομη μονάδα, διαχειριζόμενη τη δική του κατάσταση και τους δικούς της κανόνες μετάβασης, παρόμοια με τον τρόπο που λειτουργούν τα προγράμματα σε σολάριουμ αλλά με πρόσθετη επαλήθευση απόδειξης μηδενικής γνώσης.

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

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

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

Βασικά τεχνικά χαρακτηριστικά των vProgs

Αρκετοί μηχανισμοί υποστηρίζουν τη λειτουργικότητα των vProgs, οι οποίοι έχουν σχεδιαστεί για να διαχειρίζονται εξαρτήσεις και να είναι αποδοτικοί σε ένα περιβάλλον υψηλής απόδοσης:

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

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

Υπολογισμός DAGΤο Computation DAG σχηματίζει ένα γράφημα εξάρτησης στο επίπεδο εφαρμογής, αντικατοπτρίζοντας τη δομή blockDAG του Kaspa. Παρακολουθεί τις ροές δεδομένων μεταξύ των vProgs, διασφαλίζοντας ότι οι αναφερόμενες πληροφορίες παραμένουν διαθέσιμες και ότι η σειρά εκτέλεσης διατηρείται κατά την παράλληλη επεξεργασία. Αυτό το γράφημα βοηθά στην αποφυγή υπερφόρτωσης με την αλληλουχία εξαρτώμενων λειτουργιών.

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

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

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

Το Συνέδριο Kaspa Experience στο Βερολίνο

Η ανακοίνωση του vProgs ευθυγραμμίζεται με το Εμπειρία στην Κάσπα, ένα κοινοτικό συνέδριο που έχει προγραμματιστεί για τις 13 Σεπτεμβρίου 2025, στο Atelier Gardens στο Βερολίνο. Αυτή η μονοήμερη εκδήλωση, περιορισμένη σε 500 εισιτήρια στην τιμή των 150 δολαρίων συν ένα τέλος afterparty 50 δολαρίων, απαιτεί πληρωμή σε KAS tokens, σηματοδοτώντας μια πρώιμη εφαρμογή του κρυπτονομίσματος στον πραγματικό κόσμο για την εφοδιαστική αλυσίδα εκδηλώσεων, συμπεριλαμβανομένων των τροφίμων, των ποτών και των εμπορευμάτων.

Η ημερήσια διάταξη περιλαμβάνει κεντρικές ομιλίες από βασικούς προγραμματιστές, συμπεριλαμβανομένου του Sompolinsky σχετικά με τις εξελίξεις στο GHOSTDAG, πάνελ για την ενσωμάτωση έξυπνων συμβολαίων και εργαστήρια που επικεντρώνονται σε πρακτικές εφαρμογές. Ένας μαραθώνιος hackathon θα ενθαρρύνει τη δημιουργία πρωτοτύπων, παράλληλα με μια Kaspa Art Expo που θα παρουσιάζει δημιουργικές χρήσεις του δικτύου. Ενώ δεν υπάρχει ειδική συνεδρία vProgs στο πρόγραμμα, το υλικό τύπου της εκδήλωσης αναδεικνύει το προγραμματιζόμενο επίπεδο του Kaspa ως βάση για το DeFi και τα συστήματα πληρωμών, υποδεικνύοντας άτυπες συζητήσεις σχετικά με το νέο πλαίσιο.

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

Προκλήσεις και Χρονοδιάγραμμα Υλοποίησης

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

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

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

Σε σύγκριση με τις συναθροίσεις (roll-ups) του Ethereum, οι οποίες μπορούν να κατακερματίσουν τη ρευστότητα σε διάφορα επίπεδα, ή την εκτέλεση on-chain του Solana, η οποία δοκιμάζει τα όρια απόδοσης, το vProgs επιδιώκει να ενσωματώσει επαληθεύσιμους υπολογισμούς απευθείας σε ένα βασικό επίπεδο απόδειξης εργασίας. Αυτό διατηρεί την αποκέντρωση, ενώ παράλληλα αξιοποιεί την παράλληλη παραγωγή μπλοκ.

Συμπέρασμα

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

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

Πηγές:

• Άρθρο του Kaspa Daily X για τα vProgs: https://x.com/DailyKaspa/status/1966149209968505132  
• Πρόχειρο Κίτρινο Χαρτί vProgs v0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• Θέμα του Kaspa Research Forum σχετικά με τη Σύγχρονη Σύνθεση: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• Εμπειρία Kaspa στο Βερολίνο: https://experience.kaspa.events/