¿Puede Bitcoin (PoW) funcionar bajo sincronía parcial?

Este documento demuestra rigurosamente que Bitcoin puede lograr un consenso bajo el supuesto de un tiempo de entrega de mensajes limitado:

Los mensajes en un buzón pueden entregarse en cualquier orden y en cualquier momento, excepto que existe un retraso máximo de ∆

Si lo entiendo correctamente, esto solo prueba que funciona en una red síncrona. Si es así, esta suposición me parece relajada.

El documento Tendermint afirma que puede funcionar bajo la suposición sincrónica parcial (del documento DLS ):

Se supone que hay un límite superior desconocido ∆ en el momento de la entrega de los mensajes.

La configuración es más general en el sentido de que upper bound ∆aquí se desconoce .

¿Puede el protocolo Bitcoin lograr el consenso también en una red síncrona parcial? ¿Hay algún trabajo teórico dedicado a probar eso?

Respuestas (1)

Si lo entiendo correctamente, esto solo prueba que funciona en una red síncrona. Si es así, esta suposición me parece relajada.

La red Bitcoin no es síncrona, es asíncrona y mantiene el consenso.

¿Puede el protocolo Bitcoin lograr el consenso también en una red síncrona parcial?

Dado que Bitcoin es una red asíncrona y logra el consenso, es lógico que Bitcoin también pueda lograr el consenso en una red síncrona o parcialmente síncrona.

Supongo que con un lenguaje sencillo no es lo suficientemente preciso para la discusión. Hay tantas diferencias sutiles entre los diferentes tipos de sincronía. Al igual que la suposición máxima de retraso en la entrega del mensaje. El hecho de que "funcione" la mayor parte del tiempo en la vida real no prueba que siempre funcionará. Sólo una prueba rigurosa puede convencerme.
No hay pruebas de que Bitcoin logre el consenso en una red asíncrona (todavía), por lo que no sabemos si lo hace o qué supuestos adicionales se necesitan.
Una prueba de consenso bajo suposiciones sincrónicas es en su mayoría vacía: más o menos equivalente a mostrar que un esquema de firma digital es seguro contra la falsificación en un universo donde la única forma de generar una firma es seguir el protocolo. La formalización que muestra la seguridad de Bitcoin bajo modelos artificiales podría ser un progreso útil, pero en realidad no es evidencia de seguridad en un sentido útil. Estoy muy preocupado por la ética de algunas partes que muestran que Bitcoin es seguro en una formalización de juguete y luego argumentan que una alternativa es igualmente segura porque también lo es en la misma formalización de juguete.
@G.Maxwell, ¿Bitcoin no asume que todos los relojes de los pares están sincronizados en 2 horas? Es decir, mi nodo rechazará bloques dentro de 2 horas en el futuro, por lo que hay una suposición de sincronización, ¿verdad?
¿Puede Bitcoin (PoW) funcionar bajo sincronía parcial?
RespuestasAquíPolítica de privacidad1y, 0v