Comments 5
У CAP-теоремы доказательство тупое до невозможности. А для "трилеммы блокчейна" ничего подобного нет.
Существует довольно много вариантов архитектур блокчейнов, а текст выше делает много предположений, которые не факт что верны даже для классического "кидаем все транзакции в один блок и копируем его везде". Еще есть разные варианты шардирования, DAG, Mimble Wimble и прочие трюки. Может еще чего придумают.
Впрочем, до сих пор практически все популярные сети работают в "однопоточном" режиме (например ethereum довольно долго пытается допилить и запустить шардинг, у bitcoin вообще никаких планов нет)
Не думаю что можно формально доказать что любая возможная архитектура будет подчиняться каким-то там законам и ограничениям вроде заявленной трилеммы
Трилемма блокчейна