När jag läste Safety and Liveness Proofs of Consensus Protocols har jag observerat ett mönster, en mall i en fast uppsättning av kvorumskärningslemmor som alltid behövs. Om detta stämmer, kan vi inte bara skriva detta som en massa legokartonger på formellt språk och låta dessa lådor alltid köras på för varje nytt konsensusprotokoll? Det verkar som att forskning och utveckling av nyare konsensusprotokoll baserade på app-lagerkrav kan påskyndas istället för att vänta i åratal.