Il giorno 2 del ritiro è iniziato. Le sessioni di oggi si concentreranno su crittografia e TEE: Giannis Kaklamanis di @Yale ha presentato "Ricevute Aggregate Verificabili con Applicazioni all'Audit dell'Engagement degli Utenti" ⬇️

@gianniskakl In questo documento, Giannis e i suoi coautori formalizzano le Ricevute Aggregate Verificabili (VAR) per risolvere il modello di minaccia dell'"inflazione". Ad esempio, un provatore malevolo non può convincere un verificatore di un conteggio superiore ai token effettivamente spesi.

Possibile caso d'uso: benefici sponsorizzati dall'azienda e prevenzione di metriche gonfiate da parte dei fornitori di servizi. Questa ricerca introduce: - Aggregazione che preserva la privacy - Prove compatte di conteggio - Resiliente contro l'inflazione strategica delle metriche