O Dia 2 do retiro está a decorrer. As sessões de hoje vão focar-se em criptografia e TEEs: Giannis Kaklamanis da @Yale apresentou "Recibos Agregados Verificáveis com Aplicações na Auditoria de Engajamento do Usuário" ⬇️

@gianniskakl Neste artigo, Giannis e seus co-autores formalizam os Recibos Agregados Verificáveis (VAR) para resolver o modelo de ameaça de "inflação". Por exemplo, um provador malicioso não pode convencer um verificador de uma contagem superior ao número de tokens realmente gastos.

Possível caso de uso: Benefícios patrocinados pela empresa e prevenção de métricas inflacionadas por prestadores de serviços. Esta pesquisa introduz: - Agregação que preserva a privacidade - Provas compactas de contagem - Resiliente contra inflação estratégica de métricas