Minimal Slashing Condition in Ethereum
The Minimal Slashing Condition is a set of rules to work with many hashes and
some number of nodes to finalize a block. It is carefully designed that if two
incompatible blocks are finalized, then no matter how such a situation arises,
there MUST exist some set of validators, with
