Konsensus protokollerinin güvenlik ve canlılık kanıtlarını okurken, sabit bir yetenek kesişimi lemmaları setinde bir şablonun her zaman gerekli olduğunu gözlemledim. Eğer bu doğruysa, bunu resmi dilde bir sürü LEGO kutusu olarak yazamaz mıyız ve bu kutular her zaman yeni bir uzlaşma protokolü için çalıştırılabilir mi? Uygulama katmanı gereksinimlerine dayalı yeni uzlaşma protokollerinin Ar-Ge'si yıllarca beklemek yerine hızlandırılabilir gibi görünüyor.