İnzivadan ikinci gün başladı. Bugünkü oturumlar kriptografi ve TEE'lere odaklanacak: @Yale'den Giannis Kaklamanis, "Kullanıcı Katılımı Denetimine Yönelik Uygulamalarla Doğrulanabilir Toplam Makbuzlar" ⬇️ sunumunu yaptı

@gianniskakl Bu makalede Giannis ve ortak yazarları, "enflasyon" tehdit modelini çözmek için Doğrulanabilir Toplam Makâzları (VAR) resmileştiriyor. Örneğin, kötü niyetli bir kanıtlayıcı, gerçekten harcanan tokenlardan daha yüksek bir sayıya doğrulayıcıyı ikna edemez.

Olası kullanım durumu: Şirket destekli faydalar ve hizmet sağlayıcılarından abartılı metriklerin önlenmesi. Bu araştırma şunları tanıtmaktadır: - Gizlilik koruma toplama - Sayımın kompakt ispatları - Stratejik metrik enflasyona karşı dayanıklı