Ngày thứ 2 của buổi retreat đang diễn ra. Các phiên hôm nay sẽ tập trung vào mật mã học & TEEs: Giannis Kaklamanis từ @Yale đã trình bày "Biên nhận tổng hợp có thể xác minh với các ứng dụng cho việc kiểm toán sự tham gia của người dùng" ⬇️

@gianniskakl Trong tài liệu này, Giannis và các đồng tác giả của anh ấy đã chính thức hóa Biên nhận Tập hợp Có thể Xác minh (VAR) để giải quyết mô hình mối đe dọa "lạm phát". Ví dụ, một người chứng minh độc hại không thể thuyết phục một người xác minh về một số lượng cao hơn số token thực tế đã chi tiêu.

Trường hợp sử dụng khả thi: Các lợi ích do công ty tài trợ và ngăn chặn việc thổi phồng số liệu từ các nhà cung cấp dịch vụ. Nghiên cứu này giới thiệu: - Tập hợp bảo vệ quyền riêng tư - Chứng minh gọn nhẹ về số lượng - Chịu được sự thổi phồng số liệu chiến lược