Beim Lesen von Sicherheits- und Lebendigkeitsnachweisen von Konsensprotokollen habe ich ein Muster beobachtet, ein Template, bei dem eine feste Menge von Quorum-Überschneidungslemmas immer benötigt wird. Wenn das wahr ist, können wir das nicht einfach als eine Reihe von Lego-Boxen in formaler Sprache schreiben und diese Boxen immer für jedes neue Konsensprotokoll verwenden? Es scheint, als könnte die Forschung und Entwicklung neuerer Konsensprotokolle, die auf Anforderungen der Anwendungsebene basieren, beschleunigt werden, anstatt jahrelang zu warten.