czytając o bezpieczeństwie i dowodach żywotności protokołów konsensusu, zauważyłem wzór, szablon w stałym zestawie lematu o przecięciu kworum, który zawsze jest potrzebny. jeśli to prawda, czy nie możemy po prostu zapisać tego jako zestaw klocków lego w formalnym języku i mieć te klocki zawsze uruchamiane dla każdego nowego protokołu konsensusu? wydaje się, że badania i rozwój nowszych protokołów konsensusu opartych na wymaganiach warstwy aplikacji mogą być przyspieszone, zamiast czekać latami.