Funciones de agregación distribuida verificable

Resumen

Internet moderno se basa en sistemas que incentivan la recopilación de información sobre los usuarios. Con el fin de minimizar la pérdida de privacidad, es deseable evitar que estos sistemas recopilen más información de la necesaria para la aplicación. La promesa de la computación multi-partes es que los datos pueden agregarse sin revelar medidas individuales al recopilador de datos. Este trabajo ofrece un tratamiento de seguridad aprobable para las "Funciones de agregación distribuida verificable (VDAFs)", una clase de protocolos de computación multi-partes que se están considerando para su estandarización por la IETF. Proponemos un marco formal para el análisis de las VDAFs y lo aplicamos a dos construcciones. La primera es Prio3, uno de los candidatos para la estandarización. Esta VDAF se basa en el sistema Prio de Corrigan-Gibbs y Boneh (NSDI 2017). Demostramos que Prio3 logra nuestros objetivos de seguridad con solo cambios menores en el borrador. La segunda construcción, llamada Doplar, se presenta en este artículo. Doplar es una variante con reducción de rondas del sistema Poplar de Boneh et al. (IEEE S&P 2021), que también es un candidato para la estandarización. El coste de esta mejora es un aumento modesto en el ancho de banda y la computación en general.