al leer pruebas de seguridad y vivencia de protocolos de consenso, he observado un patrón, siempre se necesita una plantilla en un conjunto fijo de lemas de intersección de quórum. Si esto es cierto, ¿no podríamos simplemente escribir esto como un montón de cajas de Lego en lenguaje formal y que estas cajas siempre estén activadas para cualquier nuevo protocolo de consenso? parece que la investigación y desarrollo de protocolos de consenso más recientes basados en los requisitos de la capa de la app puede acelerarse, en lugar de esperar años.