18/3 Bitcoin Consensus
Section outline
-
- Περιγραφή του αλγορίθμου του Bitcoin.
- Ορισμός των ιδιοτήτων common prefix, chain quality, chain growth.
- Απόδειξη (στο μοντέλο του τυχαίου μαντείου) ότι σε μία πολυωνυμικά φραγμένη εκτέλεση του Bitcoin ικανοποιούνται οι παραπάνω ιδιότητες με "μεγάλη πιθανότητα" (δεν ισχύουν με πιθανότητα εκθετικά μικρή στην παράμετρο ασφάλειας).
- Λύση του consensus με τον αλγόριθμο του Bitcoin και 1/3-φραγμένο αντίπαλο.
-
Λύση του consensus για 1/2-φραγμένο αντίπαλο με την ιδέα double-pow.
Slides
Βίντεο της διάλεξης [Απαιτείται συνθηματικό. Ισχύουν περιορισμοί χρήσης (δείτε παραπάνω).]
Η παρουσίαση βασίστηκε στις δημοσιεύσεις:
-
The Bitcoin Backbone Protocol: Analysis and Applications, Juan Garay and Aggelos Kiayias and Nikos Leonardos.
https://eprint.iacr.org/2014/765 -
The Bitcoin Backbone Protocol with Chains of Variable Difficulty, Juan A. Garay and Aggelos Kiayias and NikosLeonardos.
https://eprint.iacr.org/2016/1048