Quest to Understand UTXO functionality

[hmbdofficial]

What really happens technically if a transaction attempts to spend the UTXO that has already been spent and how do the node identifies and invalidate such during the mempool and block validation
Is it just enough that spent UTXO are destroyed and no trace of them in the mempoo afterwards?

[Charles-Tim]

If bitcoin has been used in a transaction, you can not use the same bitcoin in another transaction unless it is the one that has already been spent which the receiver can also send to another person or sent to his another bitcoin address.

But if an unconfirmed transaction is valid before but double spent with replace-by-fee, the transaction will be replaced by another transaction, rendering the old unconfirmed transaction invalid.

[ABCbits]

Node will check whether any UTXO in a TX actually exist on its UTXO set/database. But since the UTXO already spend, node would know the TX attempt to spend non-exist UTXO or UTXO that already spend.

[Zaguru12]

Just as ABCbits has put it out, we can say that each UTXO must belong to a UTXO set, this is like a database and all the full nodes stores this database. and once spend it’s actual removed and the technicality of bitcoin is that every outputs (UTXO) are referenced in inputs as unspent and that is when the nodes actually validates the UTXO.  The only transaction that doesn’t have an input is a coinbase transaction

It should be understand that there is a transaction lock on each UTXO and each of this lock at tied to the users public key hash. So if the transaction is actually spent, the New UTXO will be now tied to the recipients script hash or public key hash and can he only spent by that public key’s private key.

In simplicity each outputs is linked to a input of subsequent transaction while an output is linked to a previous inputs too

[bitmover]

Node will check whether any UTXO in a TX actually exist on its UTXO set/database. But since the UTXO already spend, node would know the TX attempt to spend non-exist UTXO or UTXO that already spend.

Just to expand this answer a bit.

If a node tries to include a transaction with an UTXO which is already spent, marking it as a valid transaction,  this node will get banned by other other nodes , as it is not following consensus rules.

In the end, transaction wont get propagated even if you control a corrupted node. If the block gets mined with an invalid transaction,  it will be ignored by the other node (like a fork which doesnt follow consensus rules)

[She shining]

It is identified because it's not in the UTXO set where only unspent transactions are found. So if it's not there then it means it has already be spent. The spent output is consumed and removed from the UTXO set and the transaction creates a new output( New UTXO).

[d5000]

If a node tries to include a transaction with an UTXO which is already spent, marking it as a valid transaction,  this node will get banned by other other nodes , as it is not following consensus rules.

This afaik only happens if the UTXO was already spent in a previous block, i.e. the "spending transaction" was already confirmed by a miner.

The real difficulty for nodes is to know to order double spends occurring in the same block. Let's imagine we have transaction X spending the same UTXO than transaction Y, and both are created only few milliseconds one after another. Let's say the person trying to double spend wants to damage a person or service in Australia who accepts 0-confirmation transactions, so they broadcast transaction X targeting specifically several nodes in Australia, hoping that the victim sees it first. At the same time they broadcast double spend Y to nodes close to many mining pools, e.g. in the US. So the Australian potential victim node "sees" transaction X and discards transaction Y, but most US miners do the opposite and include transaction Y instead, because they didn't see in their UTXO set that transaction X happened (as it is still unconfirmed and they received it after transaction Y).

As this is something that can happen all the time due to the latency between different networks (and more so if they're far away one from another, like in the example) I believe nodes won't ban another node for trying to broadcast an unconfirmed double spend. They simply check if the transaction is consistent with their own UTXO set, and if not, they discard it.

Of course this "attack" is very unlikely to succeed, because it is unlikely that somebody really accepts a 0 confirmation transaction, and latency issues tend to improve with network speed. But it shows that the "chain state" and thus the "UTXO set" are always a local phenomenon, and all nodes manage it independently. This means in double spend cases nodes can't really see which transaction is the "valid" one, until a miner includes and thus confirms one of both transactions.

[Mia Chloe]

What really happens technically if a transaction attempts to spend the UTXO that has already been spent and how do the node identifies and invalidate such during the mempool and block validation
Is it just enough that spent UTXO are destroyed and no trace of them in the mempoo afterwards?

The bitcoin network is a public ledger meaning they will publicly be marked as spent. During the process of broadcasting and , validation and even confirmation, nodes use a time stamp and witness and a few other data that all confirms the coins are authentic, haven't been spent before and have an origin.

Every coin spent or unspent must have a valid origin and once you've spent it once you can't spend it anymore because publicily it's origin is already marked as spent.