nella lettura delle prove di sicurezza e vivacità dei protocolli di consenso, ho osservato un modello, un template in un insieme fisso di lemmi di intersezione del quorum che sono sempre necessari. se questo è vero, non possiamo semplicemente scriverlo come un insieme di scatole lego in linguaggio formale e far sì che queste scatole vengano sempre utilizzate per qualsiasi nuovo protocollo di consenso? sembra che la ricerca e sviluppo di nuovi protocolli di consenso basati sui requisiti dell'app-layer possa essere accelerata, invece di aspettare anni.