Recorte localizado
Assinaturas BFT: threshold, agregação e a evidência do AggQC
Como distinguir votos sobre uma mensagem, relatórios de vista diferentes e a prova que um líder transporta durante uma mudança de vista.
Comece identificando o que cada réplica assinou
Um QC comum reúne 2f + 1 votos sobre a mesma proposta. Essa igualdade de mensagem permite compactar evidência sem alterar sua afirmação semântica. Uma aggregate signature pode combinar assinaturas, mas a verificação ainda precisa reconstruir signatários, mensagem, domínio e membresia do comitê.
Threshold e aggregate não são rótulos intercambiáveis
Em um esquema threshold, as réplicas produzem shares compatíveis e o quórum interpola uma assinatura única sob uma chave pública conjunta. Na agregação BLS, assinaturas completas podem ser combinadas, inclusive sobre mensagens distintas, desde que o verificador preserve a relação entre chaves, mensagens e provas de posse.
- A compactação economiza bytes; não substitui a validação do quórum nem do domínio assinado.
- A segurança operacional também depende de distribuição de chaves, rotação e proteção contra rogue-key attacks.
AggQC prova uma escolha de vista, não apenas uma proposta
Após um timeout, cada réplica pode relatar um highQC diferente. AggQC demonstra que o novo líder recebeu evidências de 2f + 1 participantes e escolheu o QC verificável de maior vista. Portanto, não é apenas um QC comum maior: certifica uma seleção segura entre relatórios distintos.
Referências
[1]
BLS SignaturesEspecificação do esquema BLS, agregação e provas de posse.
[2]
HotStuff: BFT Consensus in the Lens of BlockchainPaper primário para QCs, threshold signatures e mudança de vista linear.