This question doesn’t have much logic from a “reality” perspective, it’s more theoretical about whether and in what cases something can be part of a consensus rule.
The consensus rule knows that only what all nodes see equally is possible. That is, at every point in time, every node must reach the same conclusion about some chain (valid or not).
I wonder if the hash of some set of UTXOs could be part of the header and consensus rules. I have two questions related to this:
- Is it possible to set up a consensus rule that requires that some hash of the header block is equal to the hash of the node’s current UTXO set?
- Is it possible to set up a consensus rule that requires that some hash of the header block be equal to the hash of the set of UTXOs present at the current point in the chain (the set of unused outputs currently present in the chain from the previous block to its creation)?
- Is it possible to set up a consensus rule that requires that some hash of a header block is the same as a hash of the header block? part UTXO set (the node need not be the current UTXO set (case 1) nor the UTXO set that exists at the current point in the chain (case 2))? I literally mean some “random” set of UTXOs that we have to find ourselves, for example within a block (like getting a transaction) or even if we don’t get it within a block.