El Día 2 del retiro está en marcha. Las sesiones de hoy se centrarán en la criptografía y los TEE: Giannis Kaklamanis de @Yale presentó "Recibos Agregados Verificables con Aplicaciones a la Auditoría de Compromiso del Usuario" ⬇️

@gianniskakl En este artículo, Giannis y sus coautores formalizan los Recibos Agregados Verificables (VAR) para resolver el modelo de amenaza de "inflación". Por ejemplo, un probador malicioso no puede convencer a un verificador de un conteo mayor que los tokens realmente gastados.

Caso de uso posible: Beneficios patrocinados por la empresa y prevención de métricas infladas por proveedores de servicios. Esta investigación introduce: - Agregación que preserva la privacidad - Pruebas compactas de conteo - Resiliente contra la inflación estratégica de métricas