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.

Estado da tradução: reviewedIdioma fonte: Español

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. [1]

    BLS Signatures

    Especificação do esquema BLS, agregação e provas de posse.

  2. [2]

    HotStuff: BFT Consensus in the Lens of Blockchain

    Paper primário para QCs, threshold signatures e mudança de vista linear.