Μονάδα:
Τμήμα Πληροφορικής & ΤηλεπικοινωνιώνΠληροφορική
Ημερομηνία κατάθεσης:
2021-01-11
Συγγραφέας:
Χείλαρης Ιωάννης
Στοιχεία επιβλεπόντων καθηγητών:
Yannis Smaragdakis, Professor, Department of Informatics and Telecommunications, National and Kapodistriand University of Athens
Neville Grech, Lecturer, University of Malta
Πρωτότυπος Τίτλος:
Macaron - A tool for examining solidity smart contract transactions on the ethereum blockchain
Γλώσσες εργασίας:
Αγγλικά
Ελληνικά
Μεταφρασμένος τίτλος:
Macaron - Ένα εργαλείο εξέτασης συναλλαγών έξυπνων συμβολαίων στην αλυσίδα-μπλόκ του Ethereum
Περίληψη:
Τα τελευταία χρόνια, οι τεχνολογίες αλυσίδων μπλόκ έχουν δει συνεχή ανάπτυξη. Μια
τέτοια περίπτωση είναι το Ethereum, του οποίου τα έξυπνα συμβόλαια έχουν γίνει αρκετά διαδεδομένα. Βέβαια, υπάρχει μια έλλειψη απο εργαλεία που θα έκαναν την ανάλυση
και ερμήνευση αυτών των συμβολαίων πιο εύκολη για τους χρήστες. Το πρόγραμμά μας
έχει ως στόχο να βοηθήσει με αυτό το πρόβλημα, προσφέροντας πολυ-επίπεδη εξέταση
των έξυπνων συμβολαίων αφήνοντας στον χρήστη να κατανοήσει την ευρύτερη εικόνα
μιας συναλλαγής ενώ ταυτόχρονα επιτρέπει την δυνατότητα να εστιάσει στον κώδικα του
συμβολαίου που εκτελέστηκε. Κάναμε εκτεταμένη χρήση του μεταγλωττιστή της γλώσσας
solidity στην προσπάθειά μας, χρησιμοποιώντας την ενδιάμεση αναπαράσταση του κώδικα σε μορφή Abstract Syntax Tree για να επιτύχουμε μια έγκυρη μετάφραση μεταξύ του
bytecode που εκτελέστηκε και του κώδικα που συσχετίζεται με αυτό το bytecode. Τέλος,
ως μέρος της έρευνάς μας προσθέσαμε στην πτυχιακή αυτή μια σύγκριση μεταξύ του
εργαλείου μας και άλλων που ήδη υπάρχουν, μια ανάλυση της ευστοχίας του και τα πορίσματά μας αφότου εκτελέσαμε το εργαλείο μας πάνω σε μέρος της αλυσίδας μπλόκ του
Ethereum.
Κύρια θεματική κατηγορία:
Τεχνολογία – Πληροφορική
Λέξεις-κλειδιά:
Έξυπνα Συμβόλαια, Ethereum, Solidity, Αλυσίδα Μπλόκ, Οπτικοποίηση
Αρ. σελίδων ευρετηρίου:
4
Αρ. βιβλιογραφικών αναφορών:
23
