Understanding the Extended UTXO model