Funções de Agregação Distribuída Verificáveis

Resumo

A Internet moderna é construída em sistemas que incentivam a coleta de informações sobre os usuários. Para minimizar a perda de privacidade, é desejável impedir que esses sistemas colem mais informações do que o necessário para a aplicação. A promessa da computação multi-partes é que os dados possam ser agregados sem revelar medidas individuais ao coletor de dados. Este trabalho oferece um tratamento de segurança aprovável para "Funções de Agregação Distribuída Verificáveis (VDAFs)", uma classe de protocolos de computação multi-partes que está sendo considerada para padronização pela IETF. Propomos um quadro formal para a análise de VDAFs e o aplicamos a duas construções. A primeira é o Prio3, um dos candidatos à padronização. Este VDAF é baseado no sistema Prio de Corrigan-Gibbs e Boneh (NSDI 2017). Prova-se que o Prio3 atinge nossos objetivos de segurança com apenas pequenas alterações no rascunho. A segunda construção, chamada Doplar, é introduzida por este artigo. O Doplar é uma variante com rodadas reduzidas do sistema Poplar de Boneh et al. (IEEE S&P 2021), ele mesmo um candidato à padronização. O custo dessa melhoria é um modesto aumento na largura de banda e computação geral.