A transaction is valid against a state if: - boxes a transaction is opening are stored in the state as closed - sum of values of closed boxes = sum of values of open boxes - fee - all the signatures for open boxes are valid(against all the txs bytes except of sigs)
A transaction is valid against a state if: - boxes a transaction is opening are stored in the state as closed - sum of values of closed boxes = sum of values of open boxes - fee - all the signatures for open boxes are valid(against all the txs bytes except of sigs)
- fee >= 0
specific semantic rules are applied
- transaction to check against the state