Другий день ретриту розпочався. Сьогоднішні сесії будуть присвячені криптографії та TEE: Янніс Какламаніс з @Yale року представив «Перевірені агреговані надходження з аудитом ⬇️ залучення користувачів»

@gianniskakl У цій статті Янніс і його співавтори формалізують Перевірені агреговані надходження (VAR) для вирішення моделі загрози «інфляції». Наприклад, зловмисний доповідач не може переконати перевіряючого у кількості, більшій за фактично витрачені токени.

Можливий сценарій використання: пільги, спонсоровані компанією, та запобігання завищеним показникам від постачальників послуг. Це дослідження представляє: - Агрегація, що зберігає конфіденційність - Компактні докази підрахунку - Стійкість до стратегічної метричної інфляції