Me preguntaba si hay algún análisis en profundidad (con teoremas formales) de la seguridad del sistema Bitcoin.
El análisis en el artículo original de Nakamoto es bastante empírico y no tan formal. Me encantaría ver una declaración detallada de cuáles son los supuestos reales para la seguridad de Bitcoin y qué implican estos supuestos sobre la seguridad relacionada con la "corrupción" de la cadena de bloques y los problemas de doble gasto.
Puedo deducir los teoremas respectivos del análisis de seguridad de Nakamoto, pero no soy un experto en esta área y podría haber algunas suposiciones/implicaciones ocultas que podría pasar por alto.
Entonces, me pregunto si alguien más ya intentó hacer un análisis formal y detallado de los aspectos de seguridad de Bitcoin, tal vez de la misma manera que algunos libros de texto tratan otras aplicaciones criptográficas.
Actualmente estoy en el proceso de terminar mi tesis de maestría sobre el tema de la seguridad de Bitcoin, y sé que hay una persona más haciendo una tesis de maestría similar. Si bien es posible que no sea un análisis tan profundo como el que podría realizar un experto en criptografía profesional, debería ser bastante extenso.
En el transcurso de trabajar en el tema, no he encontrado ningún artículo más completo que la página wiki de Bitcoin sobre las debilidades de Bitcoin. Se han tratado en profundidad muchos problemas en este Stackexchange, así como algunos temas en el foro de Bitcoin.
EDITAR:
Mi tesis de maestría está disponible para leer en este hilo en el foro de Bitcoin. Cubre un amplio análisis de muchos aspectos de Bitcoin, desde sus algoritmos criptográficos, pasando por el protocolo, el cliente estándar, las aplicaciones relacionadas con Bitcoin e incluso los comportamientos de los usuarios. Espero que eso responda mejor a tu pregunta.
Encontré esos documentos realmente razonables, deseo que ayuden:
https://sites.google.com/site/2ndbtcwpaper/2ndBitcoinWhitepaper.pdf
Reid, F. y Harrigan, M. (2011). Un análisis del anonimato en el sistema Bitcoin. Red, 1318-1326.
Laurie, B. (2011). Las monedas descentralizadas son probablemente imposibles, pero al menos hagámoslas eficientes, 0100.
También estoy haciendo mi maestría para adaptar Bitcoin en el comercio de CO2, la seguridad y la privacidad son mi enfoque principal en esa perspectiva.