2 разных определения особой надежности

В литературе существует 2 различных определения специальной обоснованности:

(1) можно найти в Дамгард:

Мы говорим, что Сигма-протокол $\Пи$ удовлетворяет особой надежности, если существует экстрактор PPT $\mathcal{E}$, такое что для любой пары принимающих транскриптов $(com,ch_1,resp_1),(com,ch_2,resp_2)$ с $ch_1\neq ch_2$, $\mathcal{E}$ может восстановиться $ск$.

(2) можно найти в Кац: цифровые подписи:

$\Пи$ удовлетворяет специальной обоснованности, если следующее пренебрежимо мало в $\лямбда$ для всех противников PPT $\mathcal{А}$:

\начать{выравнивать} \имя_оператора{Pr} \оставил[ \начать{массив}{с} (pk,sk) \gets\mathrm{keygen}(\lambda) \ (com,ch_1,resp_1,ch_2,resp_2) \gets\mathcal{A}(pk) \конец{массив} : \начать{массив}{с} ch_1\neq ch_2\ \земельные участки\ (com,ch_1,resp_1),(com,ch_2,resp_2) \ \text{оба принимают стенограммы.} \конец{массив} \правильно] \end{выравнивание}

Я считаю, что (1) строго сильнее, чем (2). Это верно?