al leer sobre la seguridad y las pruebas de vivacidad de los protocolos de consenso, he observado un patrón, una plantilla en un conjunto fijo de lemas de intersección de quórum que siempre son necesarios. si esto es cierto, ¿no podemos simplemente escribir esto como un montón de cajas de lego en un lenguaje formal y hacer que estas cajas se ejecuten siempre para cualquier nuevo protocolo de consenso? parece que la I+D de nuevos protocolos de consenso basados en los requisitos de la capa de aplicación puede ser acelerada, en lugar de esperar años.