اليوم الثاني من المنتجع بدأ. ستركز جلسات اليوم على التشفير وتقنيات التشفير (TEEs): قدم يانيس كاكلامانيس من @Yale "إيصالات إجمالية قابلة للتحقق مع تطبيقات لتدقيق تفاعل المستخدمين" ⬇️

@gianniskakl في هذه الورقة، يقوم يانيس وزملاؤه بصياغة الإيرادات الإجمالية القابلة للتحقق (VAR) بشكل رسمي لحل نموذج تهديد "التضخم". على سبيل المثال، لا يمكن للمحقق الخبيث إقناع المتحقق بعدد أعلى من الرموز التي تم إنفاقها فعليا.

حالة استخدام محتملة: المزايا التي ترعاها الشركة ومنع المقاييس المبالغ فيها من مقدمي الخدمة. تقدم هذه الأبحاث ما يلي: - التجميع للحفاظ على الخصوصية - إثباتات مدمجة للعدد - مقاومة التضخم الاستراتيجي للمقياس