Add Explicit Balance Violation Test
bhgomes opened this issue · comments
The reason we need to do bounds checking on asset balances is to prevent overflowing balances to increase the total balance of the UTXO Set. The explicit test would be something like:
Such re-balance should be impossible for all
This test cannot be really implemented until we can separate the proof generation phase into separate circuit compilation and witness assignment phases.