Test Algorithm 2 (Proof verification)

[Taeir]

Algorithm 2 (Proof verification) needs to be tested.

• Test transaction is in the chain multiple times (is this even possible?)
• Test invalid previous hash
• Test block not on main chain
• Test invalid hash of abstract on main chain
• Test invalid signature
• Test invalid source transaction

[bart-de-jonge]

The first one is not possible as a transaction is identified by it's sender, block number and number in that block. Two transaction could have exactly the same amount, receiver and sources but that would still be two separate transactions that are double-spending.