In Utreexo, the validator node relies on proofs provided by the proof-generator.
To ensure successful proof validation, the validator must have the same accumulator state as when the proof was created.
For newly confirmed blocks/transactions, the proof is based on the accumulator state after the previous block.
However, for long-confirmed but still unspent UTXOs and mempool transactions, there are challenges in determining the relevant state for proof verification.