El segundo día del retiro ha comenzado. Las sesiones de hoy se centrarán en criptografía y TEEs: Giannis Kaklamanis, de @Yale presentó "Recibos agregados verificables con aplicaciones para auditoría de participación del usuario" ⬇️

@gianniskakl En este artículo, Giannis y sus coautores formalizan los Ingresos Agregados Verificables (VAR) para resolver el modelo de amenaza de la "inflación". Por ejemplo, un demostrador malicioso no puede convencer a un verificador de un recuento superior al que realmente se gastaron los tokens.

Posible caso de uso: beneficios patrocinados por la empresa y evitar métricas infladas por parte de los proveedores de servicios. Esta investigación introduce: - Agregación que preserva la privacidad - Demostraciones compactas del recuento - Resiliente frente a la inflación estratégica de métricas