Change Details

This introduces both a minimum value for an individual UTXO in a proof and a minimum total amount for all the stakes for a proof to be valid. The values are chosen to work with current functional tests, but they will possible be raised later. While summing the stakes to calculate the total, a new ValidityStatus is introduced to ensure the proof does not contain garbage UTXOs that could cause an overflow or result in an impossible total value. This kind of invalid proof was already detected when checking the proof after IBD, because it cannot be built using valid UTXOs, but this adds a useful check when checking the proof at node startup before we have a coin view available.

This bumps the dust threshold per UTXO in a proof to 1 coin and fixes tests accordingly. `PROOF_DUST_THRESOLD` is moved from proof.cpp to proof.h so it is available for tests.

This introduces both a minimum value for an individual UTXO in a proof and a minimum total amount for all the stakes for a proof to be validbumps the dust threshold per UTXO in a proof to 1 coin and fixes tests accordingly. The values are chosen to work with current functional tests, but they will possible be raised later. While summing the stakes to calculate the total, a new ValidityStatus is introduced to ensure the proof does not contain garbage UTXOs that could cause an overflow or result in an impossible total value. This kind of invalid proof was already detected when checking the proof after IBD, because it cannot be built using valid UTXOs, but this adds a useful check when checking the proof at node startup before we have a coin view available`PROOF_DUST_THRESOLD` is moved from proof.cpp to proof.h so it is available for tests.