Druhý den z retreatu je v plném proudu. Dnešní sekce se zaměří na kryptografii a TEEs: Giannis Kaklamanis z @Yale představil "Ověřitelné agregované příjmy s aplikacemi na auditování zapojení uživatelů" ⬇️

@gianniskakl V tomto článku Giannis a jeho spoluautoři formalizují Ověřitelné agregované příjmy (VAR), aby vyřešili model hrozby "inflace". Například škodlivý proverátor nemůže přesvědčit ověřovatele o počtu vyšších než skutečně utracené tokeny.

Možný případ použití: Benefity sponzorované firmou a zabránění nadsazování metrik ze strany poskytovatelů služeb. Tento výzkum představuje: - Agregace zachovávající soukromí - Kompaktní důkazy počtu - Odolnost vůči strategické metrické inflaci