День 2 ретрита в разгаре. Сегодняшние сессии будут сосредоточены на криптографии и TEE: Гианнис Какламанис из @Yale представил "Проверяемые агрегированные квитанции с приложениями для аудита вовлеченности пользователей" ⬇️

@gianniskakl В этой статье Гианнис и его соавторы формализуют Проверяемые Агрегированные Чеки (VAR), чтобы решить модель угрозы "инфляции". Например, злонамеренный доказатель не может убедить проверяющего в количестве, превышающем фактически потраченные токены.

Возможный случай использования: спонсируемые компанией льготы и предотвращение завышенных показателей от поставщиков услуг. Это исследование представляет: - Сохранение конфиденциальности при агрегации - Компактные доказательства подсчета - Устойчивость к стратегическому завышению метрик