Le jour 2 de la retraite est en cours. Les sessions d'aujourd'hui se concentreront sur la cryptographie et les TEE : Giannis Kaklamanis de @Yale a présenté "Reçus Agrégés Vérifiables avec Applications à l'Audit de l'Engagement Utilisateur" ⬇️

@gianniskakl Dans cet article, Giannis et ses co-auteurs formalisent les Reçus Agrégés Vérifiables (VAR) pour résoudre le modèle de menace "d'inflation". Par exemple, un prouveur malveillant ne peut pas convaincre un vérificateur d'un compte supérieur aux jetons réellement dépensés.

Cas d'utilisation possible : Avantages sponsorisés par l'entreprise et prévention des métriques gonflées par les fournisseurs de services. Cette recherche introduit : - Agrégation préservant la vie privée - Preuves compactes de comptage - Résilient contre l'inflation stratégique des métriques