Hari ke-2 dari retret sedang berlangsung. Sesi hari ini akan berfokus pada kriptografi & TEE: Giannis Kaklamanis dari @Yale mempresentasikan "Tanda Terima Agregat yang Dapat Diverifikasi dengan Aplikasi untuk Audit Keterlibatan Pengguna" ⬇️

@gianniskakl Dalam makalah ini, Giannis dan rekan penulisnya meresmikan Verifiable Aggregate Receipts (VAR) untuk memecahkan model ancaman "inflasi". Misalnya, pembuktian jahat tidak dapat meyakinkan verifikator tentang jumlah yang lebih tinggi dari token yang sebenarnya dibelanjakan.

Kemungkinan kasus penggunaan: Manfaat yang disponsori perusahaan dan mencegah metrik yang meningkat dari penyedia layanan. Penelitian ini memperkenalkan: - Agregasi yang menjaga privasi - Bukti hitungan yang ringkas - Tangguh terhadap inflasi metrik strategis