I thought I'd go through some of the blockchain test logic to see if I can explain it. Hopefully I can interpret it clearly enough without too much jargon. In doing so, maybe I'll be able to spell out certain details for my readers.
In this example, we're looking at how it's important that the @null balance always gets zeroed out. It's part of consensus that its balance always becomes zero, no matter how funds are transferred to it. This is known as burning assets.
The logic I'm interpreting here comes from this code revision:
Case: clear_null_account
The name of this verification routine is clear_null_account. It is intended to check if the blockchain behavior really does what the developers expect. Specifically, the developers want to know if the null account really has a zero balance.
Setup Phase:
- Alice (
alice) is summoned into existence as a blockchain actor. - Generate a block (simulates 3 seconds of time).
- Assets are summoned into existence, to fund
alice:
10.000 TESTS(similar to STEEM on testnet)10.000 TBD(similar to SBD on testnet)
- Regular transfer operation created:
- From
alicetonullin the amount of1.000 TESTS. - From
alicetonullin the amount of2.000 TBD.
- STEEM Power transfer operation created (applied to
nullasVESTS):
- From
alicetonullin the amount of3.000 TESTS.
- Savings transfer operation created:
- From
alicetonullin the amount of4.000 TESTS. - From
alicetonullin the amount of5.000 TBD.
- Assets are summoned into existence, to further fund
nullin addition to whatalicetransferred above:
1.000 TESTS1.000 TBD1.000000 VESTS(as vesting balance)1.000 TESTS(as vesting STEEM)
- Assets are summoned into existence, to fund the blockchain:
2.000 TESTSinto the current supply.3.000 TESTSinto the virtual supply.1.000 TBDinto the current supply.1.000000 VESTSinto the rewarded vesting shares.1.000 TESTSinto the rewarded vesting STEEM.
Test Phase:
- Generate a block (simulates another 3 seconds of time), which clears all balances of
null. - Check to see if all
nullbalances are now zero (includingVESTS). - Check to see if all
nullreward balances are now zero (includingVESTS). - Check to see if:
- Balance of
aliceis2.000 TESTS - Balance of
aliceis3.000 TBD
If all of the above takes place, the test case passes and we are now sure that the null balance behaves as we expect.
Conclusion
Going through this simple test I did learn something. I knew that there were several methods of transferring assets. But it hadn't occurred that each asset was really zeroed out for null.
This is because we typically only send SBD (TBD on testnet) to null for post promotion. But the blockchain supports all asset types, so even reward balances and VESTS are checked.
It makes sense that this is the case and it's great to see that this behavior is explicitly being evaluated in the tests.