Осталось только математически доказать что алгоритмы типа PoS позволяют достичь объективного консенсуса