¿Bitcoin es criptográficamente seguro?

Estoy tratando de entender el protocolo bitcoin en el contexto de la seguridad criptográfica computacional.

La pregunta es una solicitud de referencia a fundamentos de artículos de criptografía sobre bitcoin.

Mi primera pregunta es ¿qué protocolo criptográfico abstracto está intentando implementar Bitcoin? ¿Tenemos una definición de dinero electrónico / moneda digital en criptografía que capture bitcoin? ¿Cuáles son los requisitos de seguridad para un dinero electrónico seguro?

Si la respuesta es sí, compañías como eBay proporcionan un medio centralizado de transferencia electrónica de dinero. ¿Considerar un dinero electrónico descentralizado cambia la definición del protocolo criptográfico abstracto para el dinero electrónico? ¿O es el mismo concepto pero en un modelo donde no hay un tercero confiable?

¿Puede el adversario romper el protocolo si tiene más poder computacional que el poder computacional combinado de otras partes (honestas)?

Supongamos que tenemos partes para más un adversario conectado en red y el adversario quiere romper el protocolo de bitcoin. Para simplificar, supongamos que el gráfico de red es y el adversario no controla la red y simplemente es una parte como las demás. ¿Cuál sería la afirmación matemática exacta sobre la seguridad del protocolo en este caso simple? $n$ $P_i$ $1 \leq i \leq n$ $A$ $K_{n+1}$

reference-request cr.crypto-security

— Anónimo
fuente

¿Has leído el artículo original de bitcoin? S. Nakamoto, Bitcoin: un sistema de efectivo electrónico entre pares

— Max

Dudo que haya una comprensión formal de lo que significa que un sistema complejo como el Bitcoin sea seguro. Hay algo de trabajo sobre nociones de aspectos de Bitcoin, por ejemplo, con respecto a la seguridad de los sistemas de sellado de tiempo (por ejemplo, "Sobre esquemas de sellado de tiempo probadamente seguros" de Buldas y Saarepera de hace unos años, o la disertación de Lipmaa "Tiempo seguro y eficiente- Sistemas de sellado "), pero no estoy seguro de qué tan cerca está esto del sellado de tiempo de Bitcoin.

— Martin Berger

Hay un nuevo documento sobre arxiv que afirma que no lo es. Ittay Eyal y Emin Gun Sirer, la mayoría no es suficiente: la minería de Bitcoin es vulnerable .

Aquí hay una pregunta teórica relacionada que podría ser de interés. También hay un SE de bitcoin completo , pero tiende a no ser muy crítico o cuestionar la tecnología y es más para preguntas prácticas sobre el uso de bitcoins. Sin embargo, aún podría ser útil buscar allí.

— Artem Kaznatcheev

Supongo que no hay consenso entre investigadores y académicos sobre la seguridad del protocolo Bitcoin. Gracias a Stack Exchange Network, los siguientes enlaces deberían ayudarlo a responder algunas de sus preguntas:

1- Investigación de Bitcoin en Cryptography StackExchange

2- ¿Qué tan seguro es el protocolo Bitcoin? en Cryptography StackExchange

3- ¿Hay alguna vulnerabilidad de seguridad fundamental en Bitcoin? en Bitcoin Stackexchange

Aquí hay una lista completa de publicaciones de investigación en el wiki de Bitcoin que incluye investigación y análisis de Bitcoin.

— Mohammad Al-Turkistany
fuente

Estas parecen ser preguntas criptográficas prácticas, no creo que estén relacionadas con la pregunta específica que OP hace aquí sobre los fundamentos teóricos de la criptografía.

— Kaveh