В принципе, я всем, кто интересуется биткойном, рекомендую проштудитровать
Теорему CAP (там совсем немного текста)
...
Мы не видим ни одного контр-примера.
А почему блокчейн биткоина не может являться контрпримером? После примерно 6 подтверждений, можно говорить, что все пункты выполняются:
согласованность данных (англ. consistency) во всех вычислительных узлах в один момент времени данные не противоречат друг другу;
доступность (англ. availability) любой запрос к распределённой системе завершается корректным откликом, однако без гарантии, что ответы всех узлов системы совпадают;
устойчивость к разделению (англ. partition tolerance) расщепление распределённой системы на несколько изолированных секций не приводит к некорректности отклика от каждой из секций.
P.S.
Но нужно понимать что теорема про "Распределённые вычисления", а блокчейн это немного другое...