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
Algorithm 1 (Transaction validation) needs to be tested to see if it is correct.