Yeah and I agree with you and Voskuil that that's wrong and I support the "not not spv" assessment, unless of course there's some magic proof like what zerosync has for headers, but iirc no one has done it for tx validation yet. Relatively, headers are "easy".
I also am quite sure that assumeutxo is meant to be a temporary solution. It just bootstraps a state that could be correct, and then validates towards that.
Without having a hash and a validation rule on the utxoset (like a utxo merkle mountain range commitment, much like the witness commitment) in each block, there is no way to do it in absolute safety - unless you made your own snapshot.
Yeah and I agree with you and Voskuil that that's wrong and I support the "not not spv" assessment, unless of course there's some magic proof like what zerosync has for headers, but iirc no one has done it for tx validation yet. Relatively, headers are "easy".
I also am quite sure that assumeutxo is meant to be a temporary solution. It just bootstraps a state that could be correct, and then validates towards that.
Without having a hash and a validation rule on the utxoset (like a utxo merkle mountain range commitment, much like the witness commitment) in each block, there is no way to do it in absolute safety - unless you made your own snapshot.