Теорема гласит, что из всех децентрализованных форков цепи Bitcoin может быть стабильным только один.
Не вполне математическое, скорее логическое доказательство. Кто докажет математически, буду благодарен.
Дано: Форки Bitcoin цепи в количестве >1: fork1, fork2, …, forkN. В их числе и сам Bitcoin.
Поскольку все форки используют вычислительные мощности для поддержания своей целостности, то каждый из них будет иметь некоторую мощность: pow1, pow2, …, powN. При этом сумма этих мощностей принимается за 100%.
В этой последовательности всегда существует минимум 1 форк с мощностью менее 50%, кроме весьма маловероятного и нестабильного случая, когда форков ровно два и они ровно пополам делят мощность.
Следовательно, этот форк подвержен со стороны более мощного (Long-fork) форка, а значит, его время сочтено.
И так пока не останется только один.