Při čtení důkazů bezpečnosti a živosti protokolů konsenzu jsem pozoroval vzorec, šablonu v pevné sadě lemmat o průniku kvóra, která je vždy potřeba. Pokud je to pravda, nemohli bychom to prostě napsat jako hromadu lego krabic formálním jazykem a nechat tyto krabice vždy používat pro jakýkoli nový konsenzuální protokol? Zdá se, že vývoj a vývoj novějších konsenzuálních protokolů založených na požadavcích na úrovni aplikací lze urychlit, místo aby se čekal roky.