Dzień 2 retreatu trwa. Dzisiejsze sesje będą koncentrować się na kryptografii i TEE: Giannis Kaklamanis z @Yale zaprezentował "Weryfikowalne zbiory paragonów z zastosowaniami do audytu zaangażowania użytkowników" ⬇️

@gianniskakl W tym artykule Giannis i jego współautorzy formalizują Weryfikowalne Zbiorcze Paragony (VAR), aby rozwiązać model zagrożenia "inflacji". Na przykład, złośliwy dowodzący nie może przekonać weryfikatora o liczbie wyższej niż tokeny faktycznie wydane.

Możliwe zastosowanie: Świadczenia sponsorowane przez firmę oraz zapobieganie zawyżonym wskaźnikom od dostawców usług. Niniejsze badanie wprowadza: - Agregację zachowującą prywatność - Zwięzłe dowody liczby - Odporność na strategiczne zawyżanie wskaźników