Firmas BFT: threshold, agregación y la evidencia de AggQC

Primero identifica qué mensaje firmó cada réplica

Un QC ordinario reúne 2f + 1 votos sobre la misma propuesta. Esa igualdad de mensaje permite compactar evidencia sin perder su afirmación semántica. Una aggregate signature puede combinar firmas, pero la verificación todavía debe reconstruir firmantes, mensaje, dominio y membresía del comité.

Threshold y aggregate no son nombres intercambiables

En un esquema threshold, las réplicas producen shares compatibles y el quórum interpola una firma única bajo una clave pública conjunta. En agregación BLS, firmas completas pueden combinarse, incluso sobre mensajes distintos, siempre que el verificador conserve la correspondencia entre claves, mensajes y pruebas de posesión.

• La compactación reduce bytes; no reemplaza la validación del quórum ni del dominio firmado.
• La seguridad operacional también depende de distribución de claves, rotación y protección contra rogue-key attacks.

AggQC prueba una elección de vista, no solo una propuesta

Tras un timeout, cada réplica puede reportar un highQC diferente. AggQC demuestra que el nuevo líder recibió evidencia de 2f + 1 participantes y eligió el QC de mayor vista verificable. Por eso no debe explicarse como un QC normal más grande: certifica una selección segura entre reportes distintos.