Section outline

    • Εισαγωγή σε Blockchain & Bitcoin.
    • Περιγραφή του αλγορίθμου του Bitcoin backbone.
    • Ορισμός των ιδιοτήτων common prefix, chain quality, chain growth. Selfish mining.
    • Αποδείξεις ασφάλειας του Bitcoin backbone. (Δηλαδή, ότι οι παραπάνω ιδιότητες ικανοποιούνται με "μεγάλη πιθανότητα".)
    • Το πρόβλημα Consensus. Αποδείξεις για την αναγκαιότητα του t<n/2 ή t<n/3 (αναλόγως το μοντέλο).
    • Επίλυση consensus με Bitcoin backbone; 2-for-1 proof of work.
    • Εισαγωγή φραγμένων καθυστερήσεων στο μοντέλο (bounded delay model).
    • Δυναμική εκτέλεση με μη σταθερό αριθμό παικτών (target recalculation, Bahack's attack).
    • Ανάλυση χωρίς συγχρονισμένα ρολόγια. Ballot theorems.
    • Το πρωτόκολλο Dolev-Strong.


    Διαφάνειες


    Οι διαλέξεις βασίστηκαν στις δημοσιευσεις:

    • The Bitcoin Backbone Protocol: Analysis and Applications, Juan Garay, Aggelos Kiayias, Nikos Leonardos. https://eprint.iacr.org/2014/765
    • The Bitcoin Backbone Protocol with Chains of Variable Difficulty, Juan Garay, Aggelos Kiayias, Nikos Leonardos. https://eprint.iacr.org/2016/1048
    • How Does Nakamoto Set His Clock? Full Analysis of Nakamoto Consensus in Bounded-Delay Networks, Juan Garay, Aggelos Kiayias, Nikos Leonardos. https://eprint.iacr.org/2020/277