In Utreexo a validator node (absolutely validating Utreexo mild node), when validating transactions, makes use of the proofs equipped by the proof-generator (a Utreexo-aware full node, bridge node).
So far as I perceive, for proof validation to succeed, the validator has to have the identical accumulator state (identical root hashes) because the state used when creating the proof. I ponder how can this be ensured within the totally different use circumstances.
For the newly confirmed blocks/transactions, I see no drawback, because the confirmed blocks and transactions have a well-defined ordering, and it’s protected to imagine to base the proof on the accumulator state as after the earlier block.
But what a few long-confirmed but nonetheless unspent UTXO? Relative to what state can it’s proved/verified? Does a brand new present proof must be created with the present block top? Or it is not doable in Utreexo?
Additionally, what about mempool transactions? Their arrival time can differ in nodes, so there is no such thing as a clear block top or block state.
In Utreexo a validator node (absolutely validating Utreexo mild node), when validating transactions, makes use of the proofs equipped by the proof-generator (a Utreexo-aware full node, bridge node).
So far as I perceive, for proof validation to succeed, the validator has to have the identical accumulator state (identical root hashes) because the state used when creating the proof. I ponder how can this be ensured within the totally different use circumstances.
For the newly confirmed blocks/transactions, I see no drawback, because the confirmed blocks and transactions have a well-defined ordering, and it’s protected to imagine to base the proof on the accumulator state as after the earlier block.
But what a few long-confirmed but nonetheless unspent UTXO? Relative to what state can it’s proved/verified? Does a brand new present proof must be created with the present block top? Or it is not doable in Utreexo?
Additionally, what about mempool transactions? Their arrival time can differ in nodes, so there is no such thing as a clear block top or block state.
