Test Algorithm 1

[Taeir]

Algorithm 1 (Transaction validation) needs to be tested to see if it is correct.

• Test invalid proof
• Test spending more money than is in the sources
• Test double spending
• Test Invalid source (e.g. a double spending in the source)
• Test correct caching