В принципе пора крипте отходить от майнинга
Осталось только математически доказать что алгоритмы типа PoS позволяют достичь объективного консенсуса
Как вы математически это собираетесь доказывать?
Доказать - это вывести из системы аксиом.
Попытайтесь математически доказать, что растения размножаются пестиками и тычинками, а земля круглая.
Консенсус - он либо есть, либо нет. Если есть, то всегда найдется "баба-яга против".
Но факт того, что кому-то консенсус не нравится не говорит о том, что консенсуса нет в принципе.
Консенсус всех семи миллиардов рыл на шарике вы никогда не сможете достичь.
А если одни стописятмиллионов решили пользоваться рублями, а другой мильярд решил
юзать юани - это ли наглядное подтверждение существования консенсуса?
Я и не собираюсь, это была ирония про PoS.
Что касается математических доказательств: если вы погуглите фразу "Распределенные алгоритмы", то сможете найти много интересного для себя, например вот эта ссылка:
Глава 15 "Отказоустойчивость в синхронных системах" по сути говорит о блокчейне, но не произносит это слово.