Некоторое недопонимание в отношении Security Proof с Oracle

У меня вопрос по поводу подтверждения безопасности. Предположим, что я доказал следующие соотношения. То есть я доказал, что $Adv_A \le Adv_A^{O} \le Adv_B$, где A,B — некоторые криптографические схемы, а O — оракул. Я также полагаю, что оракул О обладает очень сильным свойством. Например, O может решить DLP за полиномиальное время.

С другой стороны, есть злоумышленник. $\mathcal{А}$ что может нарушить схему А. То есть $Adv_A$ не является незначительным в параметре безопасности.

Даже не смотря на $Adv_B$ также немаловажно, но у нас нет оракула O. В этой настройке, как сломать схему B с помощью $\mathcal{А}$?

Вы должны посмотреть более подробно доказательство неравенства $Adv^{O}_A \leq Adv_B$.

Доказательство даст вам явно, как построить $\mathcal{B}$ от $\mathcal{A}^O$. Должно быть написано, как имитировать эксперимент с $А$ и могущественный оракул $О$, только взаимодействуя с экспериментом с $В$. И как использовать вывод $\mathcal{А}$ выиграть игру против $В$.