Browse Source

Merge branch 'develop' into feature/ipfs

develop
Ezerous 3 years ago
parent
commit
cd81bacffd
  1. 27
      bibliography/references.bib
  2. 1
      chapters/2.theoretical-background/2.0.theoretical-background.tex
  3. 6
      chapters/2.theoretical-background/2.3.merkle-trees.tex
  4. 1
      chapters/2.theoretical-background/2.8.decentralized-apps.tex
  5. 39
      chapters/2.theoretical-background/2.8.orbit-db.tex
  6. 4
      examples-page.tex
  7. 3
      packages.tex
  8. 3
      thesis-general.sty
  9. BIN
      thesis.pdf

27
bibliography/references.bib

@ -4,22 +4,17 @@
% proposed label naming convention: "chapter.subchapter-descriptive_name" % proposed label naming convention: "chapter.subchapter-descriptive_name"
% for example: "2.2.2-why-gpg-is-awesome" % for example: "2.2.2-why-gpg-is-awesome"
@article{einstein, @online{merkle-tree,
author = "Albert Einstein", author = "Wikipedia",
title = "{Zur Elektrodynamik bewegter K{\"o}rper}. ({German}) title = "Merkle tree",
[{On} the electrodynamics of moving bodies]", url = "https://en.wikipedia.org/wiki/Merkle_tree"
journal = "Annalen der Physik",
volume = "322",
number = "10",
pages = "891--921",
year = "1905",
DOI = "http://dx.doi.org/10.1002/andp.19053221004"
} }
@book{latexcompanion, @online{merkle-proofs-explained,
author = "Michel Goossens and Frank Mittelbach and Alexander Samarin", author = "Belavadi Prahalad",
title = "The \LaTeX\ Companion", title = "Merkle proofs Explained.",
year = "1993", date = "2018-01-07",
publisher = "Addison-Wesley", url = "https://medium.com/crypto-0-nite/merkle-proofs-explained-6dd429623dc5"
address = "Reading, Massachusetts"
} }

1
chapters/2.theoretical-background/2.0.theoretical-background.tex

@ -7,3 +7,4 @@
\input{chapters/2.theoretical-background/2.5.blockchain} \input{chapters/2.theoretical-background/2.5.blockchain}
\input{chapters/2.theoretical-background/2.6.ethereum} \input{chapters/2.theoretical-background/2.6.ethereum}
\input{chapters/2.theoretical-background/2.7.ipfs} \input{chapters/2.theoretical-background/2.7.ipfs}
\input{chapters/2.theoretical-background/2.8.orbit-db}

6
chapters/2.theoretical-background/2.3.merkle-trees.tex

@ -1,6 +1,6 @@
\section{Δένδρα Merkle} \section{Δένδρα Merkle}
Ένα δένδρο Merkle (Merkle tree ή hash tree) είναι μία δενδρική δομή δεδομένων, η οποία απαρτίζεται από φύλλα (leaf nodes), που περιέχουν hashes από blocks δεδομένων, και από άλλους κόμβους (non-leaf nodes), οι οποίοι περιέχουν τα hashes των θυγατρικών τους. Στην κορυφή του δένδρου βρίσκεται το λεγόμενο root hash. %TODO add reference: https://en.wikipedia.org/wiki/Merkle_tree Ένα δένδρο Merkle (Merkle tree ή hash tree) είναι μία δενδρική δομή δεδομένων, η οποία απαρτίζεται από φύλλα (leaf nodes), που περιέχουν hashes από blocks δεδομένων, και από άλλους κόμβους (non-leaf nodes), οι οποίοι περιέχουν τα hashes των θυγατρικών τους. Στην κορυφή του δένδρου βρίσκεται το λεγόμενο root hash\cite{merkle-tree}.
Η πιο συνηθισμένη υλοποίηση είναι το δυαδικό (binary) δένδρο Merkle, το οποίο περιλαμβάνει δύο θυγατρικούς κόμβους (child nodes) κάτω από κάθε γονικό non-leaf κόμβο, και είναι αυτό που αναλύεται στη συνέχεια. Η πιο συνηθισμένη υλοποίηση είναι το δυαδικό (binary) δένδρο Merkle, το οποίο περιλαμβάνει δύο θυγατρικούς κόμβους (child nodes) κάτω από κάθε γονικό non-leaf κόμβο, και είναι αυτό που αναλύεται στη συνέχεια.
@ -8,9 +8,9 @@
Τα Merkle trees επιτρέπουν την αποδοτική και ασφαλή επαλήθευση των περιεχομένων που ανήκουν σε σετ δεδομένων μεγάλου μεγέθους. Η βασική ιδιότητα είναι ότι για κάθε σετ δεδομένων υπάρχει ακριβώς ένα πιθανό δένδρο, το οποίο δε γίνεται να τροποποιηθεί χωρίς να αλλάξει ταυτόχρονα και το root hash. Τα Merkle trees επιτρέπουν την αποδοτική και ασφαλή επαλήθευση των περιεχομένων που ανήκουν σε σετ δεδομένων μεγάλου μεγέθους. Η βασική ιδιότητα είναι ότι για κάθε σετ δεδομένων υπάρχει ακριβώς ένα πιθανό δένδρο, το οποίο δε γίνεται να τροποποιηθεί χωρίς να αλλάξει ταυτόχρονα και το root hash.
Έτσι, μέσω των λεγόμενων Merkle proofs, μπορούμε: %TODO add reference: https://medium.com/crypto-0-nite/merkle-proofs-explained-6dd429623dc5 Έτσι, μέσω των λεγόμενων Merkle proofs, μπορούμε:
\begin{itemize} \begin{itemize}
\item Να αποφανθούμε εάν κάποια δεδομένα ανήκουν στο δένδρο (με τον αριθμό των hashes που θα πρέπει να υπολογιστούν να είναι ανάλογος του λογαρίθμου του αριθμού των leaf nodes). \item Να αποφανθούμε εάν κάποια δεδομένα ανήκουν στο δένδρο (με τον αριθμό των hashes που θα πρέπει να υπολογιστούν να είναι ανάλογος του λογαρίθμου του αριθμού των leaf nodes).
\item Να αποδείξουμε συνοπτικά την εγκυρότητα ενός τμήματος κάποιου σετ δεδομένων, χωρίς να χρειαστεί να αποθηκεύσουμε ολόκληρο το σύνολο δεδομένων. \item Να αποδείξουμε συνοπτικά την εγκυρότητα ενός τμήματος κάποιου σετ δεδομένων, χωρίς να χρειαστεί να αποθηκεύσουμε ολόκληρο το σύνολο δεδομένων.
\item Να διασφαλίσουμε την εγκυρότητα ενός συγκεκριμένου συνόλου δεδομένων εντός ενός μεγαλύτερου σύνολου, χωρίς να χρειαστεί να αποκαλυφθεί το περιεχόμενο οποιουδήποτε εκ των δύο. \item Να διασφαλίσουμε την εγκυρότητα ενός συγκεκριμένου συνόλου δεδομένων εντός ενός μεγαλύτερου σύνολου, χωρίς να χρειαστεί να αποκαλυφθεί το περιεχόμενο οποιουδήποτε εκ των δύο\cite{merkle-proofs-explained}.
\end{itemize} \end{itemize}

1
chapters/2.theoretical-background/2.8.decentralized-apps.tex

@ -1 +0,0 @@
\section{Αποκετροποιημένες εφαρμογές}

39
chapters/2.theoretical-background/2.8.orbit-db.tex

@ -0,0 +1,39 @@
\section{OrbitDB}
Η OrbitDB είναι μία P2P βάση δεδομένων. Χρησιμοποιεί το IPFS για την αποθήκευση των δεδομένων και το IPFS Pubsub για τον αυτόματο συγχρονισμό των βάσεων δεδομένων μεταξύ των peers. Είναι μία τελικά συνεπής (eventually consistent) και χρησιμοποιεί CRDTs (Conflict-Free Replicated Data Types) για συγχωνεύσεις βάσεων δεδομένων χωρίς συγκρούσεις, πράγμα που την καθιστά εξαιρετική επιλογή για DApps και offline-first web applications. %TODO add [https://orbitdb.org] and logo
\underline{\textbf{Stores}}\\
Η OrbitDB παρέχει διάφορους τύπους βάσεων (stores) για διαφορετικά μοντέλα δεδομένων και περιπτώσεις χρήσης:
\begin{itemize}
\item log: ένα αμετάβλητο (μόνο για προσάρτηση) ημερολόγιο με ανιχνεύσιμο ιστορικό.
\item feed: ένα μεταβλητό αρχείο καταγραφής με ανιχνεύσιμο ιστορικό, του οποίου οι καταχωρήσεις μπορούν να προστεθούν και να αφαιρεθούν.
\item keyvalue: μία βάση δεδομένων κλειδιών-τιμών.
\item docs: μία βάση δεδομένων εγγράφων στην οποία μπορούν να αρχειοθετηθούν έγγραφα JSON με ένα καθορισμένο κλειδί.
\item counter: μία βάση δεδομένων για καταμέτρηση συμβάντων.
\end{itemize}
Όλα τα stores υλοποιούνται πάνω στο \texttt{ipfs-log}, μία αμετάβλητη, operation-based CRDT για κατανεμημένα συστήματα, ενώ υπάρχει και η δυνατότητα δημιουργίας προσαρμοσμένων stores ανάλογα με την περίπτωση.
\underline{\textbf{Address}}\\
Κάθε βάση δεδομένων λαμβάνει κατά τη δημιουργία της μία διεύθυνση της μορφής: \texttt{/orbitdb/CID/DATABASE\_NAME}, όπου CID είναι το IPFS multihash του μανιφέστου της, ενώ το DATABASE\_NAME είναι το όνομα της βάσης %TODO add [https://github.com/orbitdb/orbit-db/blob/main/GUIDE.md]
. Το μανιφέστο είναι ένα IPFS object που περιέχει πληροφορίες της βάσης όπως το όνομα, τον τύπο και έναν δείκτη στον ελεγκτή πρόσβασης (access controller).
\underline{\textbf{Identity}}\\
Κάθε φορά που προστίθεται μία εγγραφή στη βάση υπογράφεται από τον δημιουργό της, ο οποίος προσδιορίζεται από μία ταυτότητα (identity). Το Identity object, πέρα από τον προεπιλεγμένο τρόπο λειτουργίας, μπορεί να προσαρμοστεί έτσι ώστε να συνδέεται με κάποιο εξωτερικό αναγνωριστικό. %TODO add [https://github.com/orbitdb/orbit-db-identity-provider]
Η μορφή του έχει ως εξής:
\begin{lstlisting}[breaklines=true]
{
_id: <the ID of the external identity>,
_publicKey: <signing key used to sign OrbitDB entries (auto-generated by OrbitDB)>,
signatures: {
id: <signature of _id signed using _publicKey>, //Allows the owner of _id to prove they own the private key associated with _publicKey
publicKey: <signature of signatures.id + _publicKey using _id> //This links the two ids
},
type: 'orbitdb'
}
\end{lstlisting}
\underline{\textbf{Access Control}}\\
Κατά τη δημιουργία μίας βάσης μπορούν να οριστούν όσοι θα έχουν δικαίωμα να γράψουν σε αυτήν μέσω ενός ελεγκτή πρόσβασης (access controller). Ο ελεγκτής θα περιλαμβάνει τα public keys τους, τα οποία μπορούν να ανακτηθούν από το identity του καθενός. Από προεπιλογή και αν δεν ορίζεται διαφορετικά, δίνεται πρόσβαση εγγραφής μόνο στον δημιουργό της βάσης.

4
examples-page.tex

@ -1,7 +1,3 @@
Some text and the a cite\cite{einstein}.
And another cite\cite{latexcompanion}.
This is a list: This is a list:
\begin{itemize} \begin{itemize}
\item item 1 \item item 1

3
packages.tex

@ -12,8 +12,9 @@
% Paper size and margins % Paper size and margins
\usepackage{geometry} \usepackage{geometry}
\usepackage{biblatex} \usepackage[backend=bibtex, sorting=none]{biblatex}
\usepackage{csquotes} \usepackage{csquotes}
\usepackage{listings} % Typeset source code listings
% Custom commands % Custom commands
\input{custom-commands/custom-title} \input{custom-commands/custom-title}

3
thesis-general.sty

@ -8,4 +8,5 @@
\usepackage{authblk} % Support for footnote style author/affiliation \usepackage{authblk} % Support for footnote style author/affiliation
\usepackage{enumitem} % For item lists \usepackage{enumitem} % For item lists
\usepackage{greek-enumerate} % Greek enumeration for ordered item lists \usepackage{greek-enumerate} % Greek enumeration for ordered item lists
\usepackage{float} % Fpr \begin{figure}[H] \usepackage{float} % For \begin{figure}[H]
\usepackage[font={footnotesize, it}]{caption} % For captions under figures

BIN
thesis.pdf

Binary file not shown.
Loading…
Cancel
Save