Definição
Prova agregada é um mecanismo de criptografia em que várias provas distintas, muitas vezes sobre afirmações ou transações diferentes, são fundidas num único objeto de prova sucinto. Esta única prova pode ser verificada de forma mais eficiente do que verificar cada prova original individualmente, mantendo as mesmas garantias de segurança. As provas agregadas são normalmente construídas de forma a que o verificador só precise de executar um único procedimento de verificação para ficar convencido de que todas as afirmações subjacentes são válidas.
Em contextos de blockchain, técnicas de prova agregada são usadas para comprimir dados de verificação, reduzir a pegada on-chain e diminuir o custo computacional da validação. Podem ser aplicadas a assinaturas, provas de conhecimento zero ou outros sistemas de prova que suportem estruturas adequadas à agregação. A propriedade central é que a prova agregada permanece sólida: se alguma das afirmações subjacentes fosse falsa, a prova combinada falharia na verificação.
Contexto e Utilização
Mecanismos de prova agregada são particularmente relevantes para escalabilidade e eficiência em sistemas distribuídos que têm de verificar grandes quantidades de afirmações criptográficas. Ao agregar muitas provas numa só, os validadores ou nós podem manter uma segurança forte enquanto reduzem os requisitos de largura de banda, armazenamento e computação. Isto é valioso para ambientes de elevado débito e protocolos complexos com múltiplas partes.
Diferentes sistemas de prova suportam agregação de formas distintas, como agregar muitas assinaturas de participantes diferentes ou combinar múltiplas provas de conhecimento zero sobre computações separadas. O desenho de um esquema de prova agregada tem de equilibrar concisão, custo de verificação e a complexidade de gerar o objeto agregado. Enquanto mecanismo, funciona como um bloco de construção fundamental para consensos mais escaláveis, soluções de disponibilidade de dados e construções que preservam a privacidade em sistemas de blockchain e noutros sistemas criptográficos relacionados.