сейчас я читаю этот документ [PDF]. На странице 4 я наткнулся на следующие обозначения:
\begin{уравнение}
\text { Experiment } \operatorname{Exp}_{\mathcal{F} \mathcal{E}, A}^{\text {ind-mode}}(k) \text { : }
\end{уравнение}
\begin{уравнение}
A_ {1} ^ {\ mathrm {KDer} \ left (s k_ {i} \ right)} (p k)
\end{уравнение}
Я попытался выполнить поиск в Интернете и разрешил большинство других используемых обозначений, таких как $
\stackrel{\$}{\leftarrow}$, но никто не дал ссылку на источник решения подобных проблем. Я не мог решить ни одну из них. Это определение, которому принадлежат эти обозначения. Для получения дополнительной информации вы можете обратиться к самой статье.
\начать{массив}{л}
\text {Эксперимент} \operatorname{Exp}_{\mathcal{F} \mathcal{E}, A}^{\text {ind-mode}}(k): \
б \stackrel{\$}{\leftarrow}\{0,1\} \
(p k, s k) \$ \operatorname{Setup}\left(1^{k}\right) \
\left(m_{0}, m_{1}, s t\right) \stackrel{\$}{\leftarrow} A_{1}^{\mathrm{KDer}(s k, \cdot)}(p k) \
c \leftarrow{E n c}\left(p k, m_{b}\right) \
b ^ {\ простое число} \ stackrel {\ \ $ {\ leftarrow} A_ {2} ^ {\ mathcal {O} (s k, \ cdot)} (p k, c, s t) \
\text { If } b=b^{\prime} \text { return } 1 \text { else return } 0
\конец{массив}
