Ich habe mich gefragt, ob die Sicherheit des Bitcoin -Systems eine enge (mit formale Theoreme) Analyse des Bitcoin -Systems gibt.
Die Analyse im Originalpapier von Nakamoto ist ziemlich empirisch und nicht so formal. Ich würde gerne eine detaillierte Aussage darüber sehen, was die tatsächlichen Annahmen für die Bitcoin -Sicherheit sind und was diese Annahmen über die Sicherheit im Zusammenhang mit der "Korruption" der Blockkette und der Doppelausgabenprobleme implizieren.
Ich kann die jeweiligen Theoreme aus der Sicherheitsanalyse von Nakamoto ableiten, aber ich bin kein Experte in diesem Bereich, und es könnte einige versteckte Annahmen/Implikationen geben, die ich übersehen könnte.
Ich frage mich also, ob jemand anderes bereits versucht hat, eine formelle und detaillierte Analyse der Sicherheitsaspekte von Bitcoin auf die gleiche Weise wie ein Lehrbuch zu behandeln, die andere kryptografische Anwendungen behandeln?
Derzeit bin ich gerade dabei, meine Master -These zum Thema Bitcoin -Sicherheit zu beenden, und ich weiß, dass es eine weitere Person gibt, die eine ähnliche Master -These macht. Während es möglicherweise nicht so detailliert ist, wie ein professioneller Kryptographieexperte auftreten könnte, sollte es ziemlich umfangreich sein.
Im Laufe der Arbeit an diesem Thema habe ich keinen Artikel gefunden als die Bitcoin -Wiki -Seite über die Schwächen von Bitcoin. Viele Probleme wurden mit diesem Stackexchange sowie einigen Themen im Bitcoin -Forum ausführlich behandelt.
BEARBEITEN:
Meine Masterarbeit kann in diesem Thread im Bitcoin -Forum gelesen werden. Es deckt eine breite Analyse vieler Aspekte von Bitcoin aus seinen Kryptographie-Algorithmen über das Protokoll, den Standard-Client, die Bitcoin-bezogenen Anwendungen und sogar das Verhalten der Benutzer ab. Ich hoffe, das beantwortet Ihre Frage besser.
Ich habe diese wirklich vernünftigen Papiere gefunden, wünschte, es wird helfen:
https://sites.google.com/site/2ndbtcwpaper/2ndbitcoinwhitepaper.pdf
Reid, F. & Harrigan, M. (2011). Eine Analyse der Anonymität im Bitcoin -System. Netzwerk, 1318-1326.
Laurie, B. (2011). Dezentrale Währungen sind wahrscheinlich unmöglich, aber let sie zumindest effizient, 0100.
Ich mache auch meinen Master -Abschluss, um Bitcoin im CO2 -Handel anzupassen, Sicherheit und Privatsphäre sind mein Hauptaugenmerk in dieser Perspektive