Djed - Οσες πληροφοριες χρειαζεται να ξερουμε για το Αλγορυθμικο stable coin του Cardano

Το Djed στην αρχαια Αιγυπτο ηταν το Συμβολο της «Σταθεροτητας», η συμβολικη ραχοκοκαλια του Θεου Οσιρη, του Θεου της μετα θανατον ζωης και της Αναγεννησης.
Σταθεροτητα λοιπον ειναι και αυτο που προσπαθει να φερει το Djed στο οικοσυστημα του Cardano.
Παμε να κανουμε μια αναλυση για το Djed, το πολυ αναμενομενο σταθερο νομισμα του Cardano blockchain.

Τι ειναι το stable coin λοιπον? Ειναι ενα ηλεκτρονικο περιουσιακο στοιχειο που η αξια του παραμενει σταθερη (στο 1$), ειναι και ταυτοχρονα ομως διατηρει την κινητικοτητα του και την χρησιμοτητα του σαν κρυπτονομισμα. Ουσιαστικα προσφερεται σαν μια γεφυρα που ενωνει τον κοσμο των fiat και τον κοσμο των κρυπτο.

Τα stable coins ειναι πολυ σημαντικα για τον κοσμο των κρυπτονομισματων. Το γεγονος οτι ειναι σταθερα και δεν μεταβαλεται η τιμη τους (σε σχεση με τα αλλα κρυπτονομισματα) ανοιγει πολλες πιθανοτητες στον κοσμο του Defi και της μεταφορας πλουτου απο αλλες αγορες διοτη δεν υπαρχει ο κινδυνος του να μεταβληθει η τιμη.

Ο τροπος με τον οποιο επιτυγχανεται αυτη η σταθεροποιηση ειναι με υποκειμενες εγγυησεις. Υπαρχουν 2 κατηγοριες stable coin:

  1. Αυτα που ειναι backed απο κεντρωποιημενα περιουσιακα στοιχεια βλεπε USDC που εχει το δολλαριο 1 προς 1
  2. Τα αποκεντρωμενα αλγοριθμικα stable coins

Για να αναλυσουμε πολυ γρηγορα αυτες τις 2 κατηγοριες

  1. Τα stable coins που ειναι backed απο κεντρωποιημενα περιουσιακα στοιχεια βλεπε USDT πηραν πολυ μεγαλη κριτικη απο διαφορες αρχες λογω ελειψης διαφανειας.
    Η ελειψη διαφανειας και το γεγονος οτι ειναι κεντρωποιημενο εχει σαν αποτελεσμα αυτου του ειδους τα stable coins να μην ειναι μια αξιοπιστη λυση.
  1. Απο την αλλη μερια, εχουμε τα αποκεντρωμενα αλγοριθμικα stable coins, τα οποια ειναι μια τεραστια προκληση οπως καταλαβαινετε. Ενα μεγαλο παραδειγμα αυτης της προκλησης ειναι το UST, το stable coin του Terra network, το οποιο ειχε το μεγαλυτερο market cap (απο αλγοριθμικα stable coins) και το ειδαμε να ειναι σε ελευθερη πτωση διοτι εχασε το peg του στο δολλαριο.

Εδω ειναι λοιπον, που ολοι αρχιζουν και καταλαβαινουν ποσο μεγαλη σημασια εχει η μεθοδικη προσεγγιση, βασισμενη στην ερευνα και στην αυστηρη δοκιμη οταν χτιζεις αξιοπιστα συστηματα τα οποια εχουν σαν στοχο να χρησιμοποιουνται απο δισεκκατομυρια κοσμο. Οπως γνωριζουμε ολοι το Cardano πρωτοπορει σε αυτη τη προσεγγιση και για πρωτη φορα χτιζει ενα αποκεντρωμενο αλγοριθμικο stable coin που ονομαζεται Djed.

Το Djed ειναι το 1ο stable coin του οποιου το πρωτοκολλο ειναι σχεδιασμενο με μαθητικα αποδεδειγμενες και επικυρωμενες αξιωσεις οι οποιες αποδεικνυουν οτι μπορει να συμπεριφερθει σαν μια αυτονομη τραπεζα που αγοραζει και πουλαει stablecoins για μια τιμη που ειναι pegged στην ενδεικτικη τιμη του.

Παμε τωρα να δουμε πιο συγκεκριμενα ποιες ειναι αυτες οι Ιδιοτητες σταθεροτητας του Djed.
Oπως θα δουμε οι ιδιοτητες σταθεροτητας του Djed ειναι βασισμενες σε αποδειξιμα θεωρηματα. Οχι σε υποσχεσεις 2 influencers και μερικων εκατομμυριουχων. Σε ΘΕΩΡΗΜΑΤΑ!
Αυτα τα θεωρηματα ειναι αποδειξιμα και εχουν περασει απο πολλα τεστ και επαληθευονται χεησιμοποιωντας επισημες μαθηματικες τεχνικες.

Θα προσπαθησω περιλιπτικα να σας εξηγησω την ουσια των 8 αυτων θεωρηματων στα οποια βασιζονται οι ιδιοτητες σταθεροτητας του Djed.
1 & 2. Δεσμευμενη συντηρηση σε περιπτωση που το peg παει ψηλοτερα η χαμηλοτερα.
3. Eυρωστια του peg σε περιοδο που τα markets κανουν crash
4. Καμια αφερεγγυοτητα
5. Δεν υπαρχει καποια τραπεζα απο πισω
6. Μονοτονα αυξανομενο μετοχικο κεφαλαιο ανα αποθεματικο νομισμα
7. Οχι αποθεματικη αποστραγγιση
8. Οριοθετημενη διαλυση

Θεωρημα 1 και 2
Δεσμευμενη συντηρηση σε περιπτωση που το peg παει ψηλοτερα η χαμηλοτερα.
Αυτο το θεωρημα ουσιαστικα μας λεει και αποδικνυει οτι η τιμη του Djed δεν θα παει παραπανω η παρακατω απο την τιμη που εχει οριστει (1$) δηλαδη δεν θα παει παραπανω απο τα 1.01 και παρακατω απο τα 0.999

Θεωρημα 3
Eυρωστια του peg σε περιοδο που τα markets κανουν crash.
Αυτο το θεωρημα μας λεει οτι μεχρι ενα συγκεκριμενο σημειο, αναλογα με την αναλογια των αποθεματων, το peg θα παραμεινει ακομα και αν η τιμη του αποθεματικου νομισματος κανει crash, για παραδειγμα, αν η αναλογια αποθεματων ειναι 1 προς 3 το Djed θα μπορεσει να αντεξει μια πτωση κατα 66% χωρις να χασει το peg του.

Θεωρημα 4
Καμια αφερεγγυοτητα
Αυτο το θεωρημα αποδεικνυει οτι το μετοχικο κεφαλαιο του εξυπνου συμβολαιου του Djed δεν μπορει ποτε να xρεωκοπησει η να παει μειον, το οποιο σημαινει οτι αν κρατας το stable coin, θα μπορεις να το αναλλαξεις ανα πασα στιγμη και να παρεις τα χρηματα σου πισω, παντα εχωντας στο μυαλο μας οτι το peg θα εχει διατηρηθει.

Θεωρημα 5
Δεν υπαρχει καποια τραπεζα απο πισω. Αυτο το θεωρημα ουσιαστικα εξηγει οτι σε περιπτωση που το μαρκετ κανει crash δεν υπαρχει καποιο κινητρο για οσους κρατανε το σταθερο νομισμα να πανε να το ανταλλαξουν με κατι αλλο. Το εξυπνο συμβολαιο συμπεριφερεται εξισου δικαια προς ολους τους χρηστες.

Θεωρημα 6
Μονοτονα αυξανομενο μετοχικο κεφαλαιο ανα αποθεματικο νομισμα
Αυτο το θεωρημα μας λεει οτι εφοσον οι συναλλαγματικες ισοτιμιες παραμενουν σταθερες, το μετοχικο κεφαλαιο η η επιστρεφομενη αξια την οποια παιρνουν πισω οσοι κρατουν το reserve coin (SHEN) θα αυξανεται και τα κερδη θα ειναι εγγυημενα.

Θεωρημα 7
Οχι αποθεματικη αποστραγγιση. Αυτο το θεωρημα μας λεει οτι εφοσον οι συναλλαγματικες ισοτιμιες παραμενουν σταθερες ειναι αδυνατον να γινει καποια επιθεση η οποια θα εκλεβε τα αποθεματα απο την τραπεζα/εξυπνο συμβολαιο.

Θεωρημα 8
Οριοθετημενη διαλυση
Αυτο το θωρημα ουσιαστικα μας λεει οτι υπαρχει καποιο οριο στο ποσο πολυ μπορει να υπαρξει διαλυση Dilution λογω της εκδοσης παραπανω αποθεματικων νομισματων και αυτο δινει εναν παραπανω λογο σε αυτους που εχουν το αποθεματικο νομισμα να το κρατησουν πιο πολυ, να κανουν hold δηλαδη.

Αυτα τα θεωρηματα οπως προειπα εχουν γινει check για την μαθηματικη τους ορθοτητα απο αυτοματοποιημενα εργαλεια. Οι αναλυτες χρησιμοποιησαν 2 διαφορετικoυς επισημους τροπους επαληθευσης
Model checking: Μια αυτοματοποιημενη τεχνικη και
Interactive theorem prover – Isabelle, μια μεθοδος με την οποια πρεπει να αλληλεπιδρας με το θεωρημα ετσι ωστε να αποδειξει καποιος την ορθοτητα του

Η ερευνα που εχει γινει πανω στο Djed εχει ουσιαστικα βγαλει 2 versions του Djed:
Minimal Djed – απλο και οχι περιπλοκη σχεδιαση
Extended djed.

Το minimal Djed μπορει να ειναι ευπαθης σε επιθεσεις οπως την αποθεματικη αποστραγγιση που επιχειρησε να κανει καποιος ανωνυμος χρηστης ο οποιος κρατουσε ενα πολυ μεγαλο αριθμο ERGO.
Η επιθεση αυτη ηταν ανεπιτυχης και ο χρηστης που εκανε την επιθεση εχασε περιπου στα 100κ USD σε αυτη τη προσπαθεια.

Το Extended Djed απο την αλλη σχεδιαζει να τα ξεπερασει αυτα τα προβληματα με ενα δυναμικο μηχανισμο αμοιβων.

Τωρα που εχουμε μια ιδεα για τα θεωρηματα που ειναι ολα μαθηματικα αποδεδειγμενα παμε να δουμε πως δουλευει αυτος ο προχωρημενος αλγοριθμος.
Οπως βλεπουμε στην φωτογραφια το Djed εχει το βασικο νομισμα, το οποιο ειναι το Ada και το αποθεματικο νομισμα, το Shen.

Το κρυπτονομισμα που θα υποστηριζει το Djed ειναι το Ada. Για να κανεις mint to Djed o χτηστης θα πρεπει να αλληλεπιδρασει με το εξυπνο συμβολαιο, στελνωντας Ada στην διευθυνση, και το συμβολαιο με την σειρα του θα στειλει το Djed πισω στον χρηστη.

Ας υποθεσουμε οτι η τιμη του Ada ειναι στα 2$ και το Djed φυσικα στο 1$. Για να κανεις mint 1 Djed ο χρηστης θα πρεπει να στειλει 0.5 Ada στο εξυπνο συμβολαιο. Αυτη η διαδικασια εννοειται μπορει να επαναληφθει οσες φορες θελει ο εκαστοτε χρηστης.
Με την ιδια σκεψη λοιπον, αν ο χρηστης θελει να πουλησει 1 Djed, θα πρεπει να στειλει 1 Djed στο εξυπνο συμβολαιο και αυτο με την σειρα του θα «καψει» το Djed και θα δωσει πισω 0.5 Ada. Ας κρατησουμε στο μυαλο μας οτι υπαρχει η περιπτωση να μην υπαρχουν αρκετα Ada στο συμβολαιο για να δωσει πισω λογο της μεγαλης αλλαγης της τιμης.

Εδω ειναι που μπαινει στο παιχνιδι το Shen, το αποθεματικο νομισμα που ειναι υπευθυνο στο να παρεχει τα εξτρα αποθεματα του Djed. Στην αρχαια αιγυπτο το Shen ειναι και αυτο ενα αρχαιο συμβολο το οποιο συμβολιζει το απειρο και την αντοχη. Σε αντιθεση με το Djed το Shen δεν ειναι pegged σε καποιο συγκεκριμενο asset και η τιμη του μπορει να αλλαξει.

Ποια ειναι λοιπον τα κινητρα για καποιον για να κανει mint και να κρατησει το Shen?
Yπαρχουν fees που συνδεονται οταν κανεις mint & burn Djed & shen τα οποια μαζευονται και αποστελνονται στην πισινα με τα Ada.
Οσοι κρατανε shen παιρνουν ενα μεριδιο απο αυτα τα fees + και την θετικη ανατιμηση της τιμης απο την πισινα του Ada που μεγαλωνει.

Συμφωνα με τον Σαχαφ, τον CEO COTI η αναλογια της εγγυησης ειναι απο 400%-800%.
Αυτο σημαινει οτι το ρισκο για να γινει Unpegg το Djed μειωνεται δραματικα και οτι μπορει να εχει εξασφαλισμενη και μεχρι 8 φορες πανω την αναλoγια της εγγυησης του. Αυτο σημαινει οτι υπαρχουν απο 4-8 Shen στην πισινα αποθεματων, για καθε 1 Djed.
Αν η αναλογια αυτη πεσει κατω απο το 400% οι χρηστες δεν θα μπορουν να κανουν Mint Djed η να καψουν τα Shen τους. Αρα λοιπον εχουμε μια ακομα ασφαλεια πανω στο peg του Djed σε περιπτωση καποιου μεγαλου market crash και το Djed θα μπορεσει να παραμεινει σταθερο.

Δεν λεμε οτι ειναι το τελειο stable coin εδω περα και οτι μπορει να μην υπαρξουν προβληματα στο μελλον. Αυτο που λεμε ομως ειναι οτι σιγουρα εχει υπαρξει παρα πολυ σκεψη και ερευνα πισω απο αυτο το stablecoin.

Οπως εχω αναφερει, το Djed βρισκεται στο public testnet αυτη τη στιγμη και δοκιμαζεται καθημερινα απο παρα πολυ κοσμο, για να σιγουρευτουν οτι ολα ειναι οπως πρεπει, οτι δεν υπαρχουν bugs και οτι δεν θα υπαρξουν εκπληξεις σαν και αυτες με το UST στο μελλον.

Συνοψη
-Το Djed ειναι το πρωτο επισημα επαληθευμενο αλγοριθμικο stable coin πρωτοκολλο.

  • Οι αξιωσεις που κανει πανω στην σταθεροτητα του ειναι μαθηματικα αποδεδειγμενες με διαφορα θεωρηματα

Δειτε το αρθρο και στο https://www.cryptonomist.gr/?s=cardanochef&submit=Ψάξε

2 Likes