Ну а по-вашему перевод Алисы Бобу - это не не распределенное вычисление?
Допустим, прервалась связь между Европой и Америкой.
Алиса находится в Америке. Она на всю свою биткойн-котлету покупает чего-нибудь.
Майнеры оставшиеся в Америке подтверждают эту транзакцию.
Одновременно с этим сестра Алисы гостящая в Европе и имеющая тоже приватный
ключ - те же самые биткойны тратит в Европе. Европейские/азиатские майнеры
подтверждают эту транзакцию.
Когда связь восстановится - одна из транзакций сестер окажется в орфане. То есть сестры
совершили атаку дабл-спендинга. Система оказалась неустойчива к разделению.

Я говорю сейчас не о том, что такая ситуация невозможна на практике, потому что
каналы связи сейчас надежные. А о том, что это именно CAP-теорема.