Какие алгоритмы достижения консенсуса тебе известны и какие гарантии они предоставляют?