This patch specifies the power table scaling discussed in our standups, scaling power between zero and 0xFFFF. I've also been careful to specify the correct inequalities and rounding.
(honestly, all this would be better specified as pseudo-python)
I've added a Commitments field to the TipSet object, which we'll leave empty for now, but we'll eventually fill with a Commitments Merkle Tree.
I did not end up removing the PowerTable from the TipSet object because it makes it possible to validate a Finality Certificate without having to look at the Commitments tree at all.
This patch specifies the power table scaling discussed in our standups, scaling power between zero and 0xFFFF. I've also been careful to specify the correct inequalities and rounding.
(honestly, all this would be better specified as pseudo-python)