Мне было интересно, есть ли какой-нибудь глубокий (с формальными теоремами) анализ безопасности системы Биткойн.
Анализ в оригинальной статье Накамото довольно эмпирический и не такой формальный. Я хотел бы увидеть подробное изложение того, каковы фактические предположения о безопасности Биткойн и что эти предположения подразумевают в отношении безопасности, связанной с «коррупцией» цепочки блоков и проблемами двойных расходов.
Я могу вывести соответствующие теоремы из анализа безопасности Накамото, но я не являюсь экспертом в этой области, и могут быть некоторые скрытые предположения/выводы, которые я мог бы не заметить.
Поэтому мне интересно, пытался ли кто-то еще провести формальный и подробный анализ аспектов безопасности Биткойна, возможно, так же, как в некоторых учебниках рассматриваются другие криптографические приложения?
В настоящее время я заканчиваю свою магистерскую диссертацию на тему безопасности биткойнов, и я знаю, что есть еще один человек, который делает аналогичную магистерскую диссертацию. Хотя это может быть не такой глубокий анализ, как профессиональный эксперт по криптографии, он должен быть довольно обширным.
За время работы над этой темой я не нашел более подробной статьи, чем вики-страница Биткойн о Слабых сторонах Биткойна. Многие проблемы были подробно рассмотрены на этом Stackexchange, а также в некоторых темах на форуме Биткойн.
РЕДАКТИРОВАТЬ:
Моя магистерская диссертация доступна для прочтения в этой ветке на форуме Биткойн. Он охватывает широкий анализ многих аспектов Биткойна, от его криптографических алгоритмов до протокола, стандартного клиента, приложений, связанных с Биткойном, и даже поведения пользователей. Я надеюсь, что это лучше отвечает на ваш вопрос.
Я нашел эти действительно разумные документы, желаю, чтобы это помогло:
https://sites.google.com/site/2ndbtcwpaper/2ndBitcoinWhitepaper.pdf
Рид, Ф., и Харриган, М. (2011). Анализ анонимности в системе Биткойн. Сеть, 1318-1326.
Лори, Б. (2011). Децентрализованные валюты, вероятно, невозможны, но давайте хотя бы сделаем их эффективными, 0100.
Я также получаю степень магистра, чтобы адаптировать Биткойн к торговле CO2, безопасность и конфиденциальность являются моим основным направлением в этой перспективе.