Atomicidad en la cadena de pago HTLC

Tengo una duda sobre HTLC en un pago de red lightning. Tengo este escenario:

Alice quiere pagar 100 sats a David usando una ruta que encontró con Bob y Chad, esta sería:

Alice -> Bob -> Chad -> David

Alices envía el HTLC a Bob, Bob a Chad y Chad a David, todo sale como se esperaba, David quiere revelarle el secreto a Chad y actualizan el estado de su canal, ahora David tiene +100 sats en el saldo de su canal y Chad tiene -100 sáb.

Chad hizo lo mismo con Bob y ahora Chad tiene +100 sats en su lado del canal y Bob tiene -100 sats en su lado.

En el momento en que Bob quiere hacer lo mismo con Alice, su nodo falla y se desconecta (durante días), Alice puede esperar el tiempo de espera y recuperar sus fondos, Bob perdería los fondos.

Leí antes que una cadena HTLC era atómica, todos los pagos son exitosos o ninguno, ¿es esto cierto? en este caso, David y Chad recibieron sus pagos actualizando el estado del canal pero no Alice, por lo que este caso no es atómico.

¿Qué me estoy perdiendo aquí?

Respuestas (1)

es atómico

Si un nodo se desconecta, el htlc no se liquidará fuera de la cadena sino dentro de la cadena. por supuesto, eso es más caro con respecto a las tarifas, pero eso es cierto para los cierres de canales en cualquier caso.

¿Qué pasa con la actualización del canal entre Chad y David? ¿Cómo saben si Bob u otro salto se desconecta? ¿Por qué querrían conectarse a la cadena si pueden actualizar el estado del canal sin conexión?
Chad y David se han arreglado la cadena. Alice no puede establecerse en la cadena porque no obtuvo el secreto de pago ya que bob no está conectado. Bob pierde dinero pero está desconectado y tiene que reclamar activamente el pago. Slice canceló el htlc onchain cuando el tiempo de espera comienza a activarse y si no resuelve el htlc podría hacer que le pague a Bob más tarde
"Chad y David se han establecido fuera de la cadena. Alice no puede establecerse en la cadena" <== no atómico, ¿correcto?
Si y no. Es atómico en el sentido de que un nodo de rutina no puede fallar. Y haz que Alice o David pierdan fondos. Si el nodo de enrutamiento desapareciera, podría haber perdido dinero, ya que a David se le pagó, pero Alice no tuvo que reembolsar a Bob y canceló el htlc. Si Alice va en cadena pero Bob aparece a tiempo, Bob también puede recibir un reembolso en cadena.