The whitepaper says that when a validator is slashed then its entire deposit is taken away. It would be nice to provide a clarification on application of slashing to the current set of competing sub-trees
I am just trying to get a feeling whether it is feasible to “resurrect” a validator deposit, by going to a historic minority tree where the deposit was not slashed, and applying mining or PoS power to grow this tree into a winning tree. With enough mining power could this be done in-between checkpoints?
Is the following algorithm correct:
A validator uncovers a slashing condition.
A validator submits a slashing violation transaction to the Casper smart contract.
The deposit is slashed on the tree that is used by the block proposer when the slashing transaction is included by the block proposer.
Taking the above algorithm it is not obvious to me that the deposit is ultimately slashed on all trees, it is also not obvious that it is impossible to “resurrect” the deposit by growing an alternative historic tree …
What is is the best way to think about deposit slashing in terms of multiple competing trees?