Saludos Joaquin!

Primero:

Lo que tu explicas acá, es un doble gasto…eso es fácilmente detectable por los nodos. Cuando Alice hace el gasto de sus monedas y este gasto es confirmado por los nodos de la red, no hay forma posible de que Alice vuelva a usar esas monedas, esto debido a que las mismas no están bajo su control, esto es así, porque el historial de UTXO de esas monedas (que está escrito en el ledger de Bitcoin) deja claro que el control no pertenece a Alice, sino a Bob, y solo él puede desbloquear el uso de dichas monedas.

Esto lo puedes ver fácilmente en un explorador, cuando Alice envía una TX y es confirmada, la dirección a la que Alice envió las monedas a Bob, toma el saldo enviado y una vez allí, esas monedas están bajo el control de Bob. Alice puede intentar hacer trampa enviado las mismas monedas a varias personas, pero la red solo aceptara UNA transacción, y el resto se invalidan (para evitar el doble gasto).

Sobre el encadenamiento de transacciones, esta funciona tanto hacia el futuro (con transacciones a confirmar) como hacia el pasado. De hecho, en un explorador puedes verificar los movimientos hacia el pasado de las monedas y ver que direcciones han tenido el control de las mismas hasta llegar a la coinbase que las ha generado. En este sentido, blockchain no deja cabos sueltos, el historial es completo, todo queda grabado, desde el más minimo movimiento de monedas, hasta el principio y final de la propiedad de las mismas, eso es lo que evita este tipo de ataques de doble gasto.

Segundo:

«La pregunta mía es como hago yo como validador para detectar que la transacción a Carlos es inválida » Si tu transacción hacia Carlos, usa monedas que ya has usado (y están confirmadas) entonces esa transacción es invalida, porque la clave para su control no está bajo tu poder (están en una caja fuerte en la que tu no tienes la llave), sino de otra persona. Incluso si las monedas estuvieron bajo tu control en algún momento, al pasarlas a otra persona y confirmarse ese movimiento, esas monedas dejan de ser tuyas.

Eso explica claramente porque no puedes crear una salida adicional para gastar monedas que no están bajo tu poder.

Saludos Bit2me y gracias por la respuesta.

Comprendo lo del script, por ahí estoy profundizando un poco mucho, pero lo que no llego a comprender es:
En el caso de la foto adjuntada, yo como nodo que voy a validar la transacción.

Alice con el scriptsig «desbloquea» la salida anterior, y crea un script pubkey en una de las salidas de la transacción. De esta transacción firma casi todo indicando que ella es quien envía los satoshis a la clave pública que se indique, en este caso la de Bob. Hasta que Bob no gaste esa salida se mantendrá ahí como una UTXO.

Despues Alice con el mismo scriptsig desbloqueando el mismo script pubkey que tenía como salida su clave pública genera otra transacción con la misma entrada que usó para Bob pero en este caso la salida será para Carlos.

La pregunta mía es como hago yo como validador para detectar que la transacción a Carlos es inválida, si sobre el script pubkey de la transacción que ha recibido Alice que luego destraba con el script sig para gastar en la transacción hacia Bob no se ha indicado nada. Osea, las transacciones se encadenan hacia adelante pero hacia atras no dejan ninguna marca.

Entonces yo cuando tomo la transacción hacia Carlos, el script sig sería válido pues la clave privada de Alice coincide con la clave pública indicada en la salida de la transacción, «destrabando» esos satoshis y en el caso que no se deje ninguna «marca», no habría forma de decir que esa salida se ha gastado. No sé si me explico bien.

O al momento que Alice genera el script pubkey genera una «cadena» o un «cierre» entre la entrada y esa salida? Es decir, a Alice le llega una «caja fuerte» que ella sola puede abrir (scriptSig) y lo que tiene adentro de la caja fuerte lo toma y lo pasa a tantas cajas fuertes como salidas tenga y las bloquea (scriptPubkey con la pública de c/u) y les pone una etiqueta que dice Alice (firma).

Es decir que cuando va a abrir «otra vez» la caja fuerte para armar una caja fuerte para Carlos esa caja fuerte ya ha sido vaciada y está distribuida en las cajas fuertes de salida de la caja fuerte anterior.

Entonces sigo con la misma duda, que impide que Alice cree dos transacciones con la misma salida? Que cuando va a aplicar el scriptSig la segunda vez el scriptPubkey ya ha sido destrabado y se han trabado con las cajas fuertes de salida?

Desde ya disculpas por las preguntas un poco rebuscadas y largas. Gracias.

Saludos Joaquin!

Cuando Alice realiza un gasto (usa sus entradas para dar origen a una salida), Alice en realidad está creando un «script de gasto en el que ella pasa la propiedad de las monedas al usuario que le ha dado una dirección pública para dicho envío» (en este caso, Bob es quien da la dirección pública para que Alice realice un pago a dicha dirección).

El script es simple y se puede leer de la siguiente forma: «Yo Alice le paso la propiedad de este dinero a Bob, porque Bob es el único con la llave privada necesaria para manejar la dirección publica que me ha dado». Es decir, el script pubkey generado por Alice solo puede ser desbloqueado bajo ciertas condiciones alcanzables solo por Bob, y esto garantiza que Alice no pueda generar múltiples salidas usando unas mismas monedas, porque bajo el esquema de la blockchain tal acción es imposible, ya que solo una de acciones será aceptada y confirmada, dejando al resto sin efecto, una vez confirmada la acción (al incluirse la transacción en un bloque) el resto de bloques que se agreguen en la blockchain solo agregaran consenso sobre lo sucedido y hará más difícil reescribir el hecho de que Alice le ha pasado dinero a Bob de forma inequívoca.

Lo de que Alice puede enviar una transacción a Bob y otra a Carlos usando las mismas monedas, es posible, pero de esas acciones, solo una será confirmada, dejando a la otra sin efecto. De allí la importancia de recibir y tomar como validas las transacciones que estén realmente confirmadas en la red, lo normal es esperar al menos 3 confirmaciones, y si quieres más seguridad, esperar hasta las 6 confirmaciones en Bitcoin. En Ethereum, por ejemplo, se suelen esperar 30 confirmaciones para decir que efectivamente la transacción es irreversible, y así muchas otras cripto tienen sus propios esquemas de seguridad en este sentido.

Si únicamente Alice lo que tiene que hacer es desbloquear la salida con su clave privada. O Alice deja algún tipo de marca sobre la transacción anterior, indicando que se ha gastado? En ese caso, que marca deja?

Porque en bitcoindeveloper únicamente dice que se crea un script pubkey para bloquear la salida pero una vez que se desbloquea esa salida para usarse en otra transacción como entrada, se deja alguna marca sobre la salida anterior para que no se pueda usar esa salida otra vez? Porque sino se podrían generar muchos scriptpubkey con la misma entrada y sería totalmente válido ya que no existiría forma de verificar que esa salida anterior se ha gastado.

Gracias