O segundo dia do retiro está em andamento. As sessões de hoje vão focar em criptografia e TEEs: Giannis Kaklamanis, do @Yale, apresentou "Recibos Agregados Verificáveis com Aplicações para Auditoria de Engajamento do Usuário" ⬇️

@gianniskakl Neste artigo, Giannis e seus coautores formalizam os Recebimentos Agregados Verificáveis (VAR) para resolver o modelo de ameaça da "inflação". Por exemplo, um provador malicioso não pode convencer um verificador de uma contagem maior do que os tokens realmente gastos.

Caso de uso possível: benefícios patrocinados pela empresa e prevenção de métricas inflacionadas por parte dos prestadores de serviços. Esta pesquisa apresenta: - Agregação que preserva a privacidade - Provas compactas de contagem - Resiliente contra inflação estratégica por métricas