Một số hiểu lầm về Chứng minh bảo mật với Oracle

Tôi có một câu hỏi về bằng chứng bảo mật. Giả sử rằng tôi đã chứng minh các quan hệ sau. Đó là, tôi đã chứng minh rằng $Adv_A \le Adv_A^{O} \le Adv_B$, trong đó A, B là một số sơ đồ mật mã và O là một lời tiên tri. Tôi cũng cho rằng nhà tiên tri O có một thuộc tính rất mạnh. Ví dụ: O có thể giải DLP trong thời gian đa thức.

Mặt khác, có một kẻ tấn công $\mathcal{A}$ có thể phá vỡ sơ đồ A. Đó là, $Adv_A$ không đáng kể trong tham số bảo mật.

Mặc dù $Adv_B$ cũng không đáng kể, nhưng chúng tôi không có lời tiên tri O. Trong thiết lập này, cách phá vỡ sơ đồ B bằng cách sử dụng $\mathcal{A}$?

Bạn phải xem chi tiết hơn phần chứng minh bất đẳng thức $Adv^{O}_A \leq Adv_B$.

Bằng chứng sẽ cung cấp cho bạn một cách rõ ràng cách xây dựng $\mathcal{B}$ từ $\mathcal{A}^O$. Nó nên được viết làm thế nào để mô phỏng thí nghiệm với $A$ và nhà tiên tri mạnh mẽ $O$, bằng cách chỉ tương tác với thử nghiệm với $B$. Và làm thế nào để sử dụng đầu ra của $\mathcal{A}$ để giành chiến thắng trong trò chơi chống lại $B$.