On yıllardır, dağıtık sistemler alanındaki araştırmalar, özellikle Bizans uzlaşması ve durum makinesi çoğaltması (SMR), iki ana hedefe odaklanmıştır: tutarlılık ve canlılık. Tutarlılık, tüm düğümlerin aynı işlem dizisi üzerinde anlaşması anlamına gelirken, canlılık sistemin devamlı olarak yeni işlemler eklemeye devam etmesini sağlar