ao ler provas de segurança e vividade dos protocolos de consenso, observei um padrão, um modelo em um conjunto fixo de lemas de interseção de quórum sendo sempre necessário. Se isso for verdade, não podemos simplesmente escrever isso como um monte de caixas de Lego em linguagem formal e fazer com que essas caixas estejam sempre ativadas para qualquer novo protocolo de consenso? parece que P&D de protocolos de consenso mais recentes baseados em requisitos da camada de aplicação podem ser acelerados, em vez de esperar anos.