Điểm:2

GL-SPHF và mã hóa nhân chứng

lá cờ cn

gần đây tôi đã đi qua bài báo hấp dẫn này, và đang thắc mắc liệu GL-SPHF mà bài báo xây dựng có thể được sử dụng để tạo sơ đồ mã hóa nhân chứng cho các chương trình phân nhánh đại số hay không. Đó là, nếu Alice có thể lấy được các tham số thích hợp $\Gamma$$\theta$ đối với GL-SPHF cho một chương trình phân nhánh đại số nhất định, thì cô ấy có thể lấy được khóa đối xứng từ hàm băm $H$ được tính từ khóa băm riêng $hk$, mã hóa một số dữ liệu, sau đó gửi dữ liệu đã mã hóa cùng với khóa băm công khai $hp$ và các tham số công khai cho Bob. Bây giờ, Bob sẽ chỉ có thể lấy được khóa đối xứng nếu anh ta biết một nhân chứng thích hợp.

Áp dụng cho các chương trình phân nhánh đại số, đây có vẻ là một kỹ thuật hữu ích, nhưng một ứng dụng để chứng kiến ​​mã hóa không được đề cập trong bài báo. Tôi đang thiếu gì? Là chương trình trên không an toàn vì một số lý do? Hay ABP không mạnh như tôi đang hiểu? Hay cái gì khác?

Cảm ơn và xin lỗi nếu câu trả lời là rõ ràng.

Điểm:1
lá cờ cn

Có, bạn có thể lấy được mã hóa nhân chứng cho một ngôn ngữ liên quan đến ABP từ kết quả này - nói chung, thật dễ dàng để xây dựng mã hóa nhân chứng cho một ngôn ngữ $\mathcal{L}$ đưa ra một SPHF cho cùng một ngôn ngữ.

Tuy nhiên, người ta phải cẩn thận với loại ngôn ngữ mà chúng ta đang nói đến. Bài báo nhắm mục tiêu cụ thể đến các ngôn ngữ cam kết và chứng minh. Trong ngữ cảnh ABP, điều này có nghĩa là chúng ta có thể lấy mã hóa nhân chứng cho các ngôn ngữ có dạng

$\mathcal{L}_F = \{(c_1, \cdots, c_n) \;:\; c_1 = \mathsf{Com}(x_1) \wedge \cdots \wedge c_n = \mathsf{Com}(x_n) \wedge F(x_1, \cdots, x_n) = 1\},$

ở đâu $\mathsf{Com}$ là một kế hoạch cam kết, và $F$ là một chương trình phân nhánh số học (sự lựa chọn của hằng số $1$ trong đẳng thức là tùy ý). Đây là một họ ngôn ngữ chung và tương đối hữu ích, tuy nhiên nó vẫn là một họ hạn chế.

Đăng câu trả lời

Hầu hết mọi người không hiểu rằng việc đặt nhiều câu hỏi sẽ mở ra cơ hội học hỏi và cải thiện mối quan hệ giữa các cá nhân. Ví dụ, trong các nghiên cứu của Alison, mặc dù mọi người có thể nhớ chính xác có bao nhiêu câu hỏi đã được đặt ra trong các cuộc trò chuyện của họ, nhưng họ không trực giác nhận ra mối liên hệ giữa câu hỏi và sự yêu thích. Qua bốn nghiên cứu, trong đó những người tham gia tự tham gia vào các cuộc trò chuyện hoặc đọc bản ghi lại các cuộc trò chuyện của người khác, mọi người có xu hướng không nhận ra rằng việc đặt câu hỏi sẽ ảnh hưởng—hoặc đã ảnh hưởng—mức độ thân thiện giữa những người đối thoại.