Почему эта функция не устойчива ко второму прообразу?

Почему $ч(к,м)$ не устойчивы ко второму прообразу? Позволять $E_k$ быть блочным шифром, где пространство сообщения совпадает с пространством ключа. $$h(k,m)=E_k(m\oplus k)\oplus k$$

Я читал о втором сопротивлении прообраза и пытался попробовать этот пример.

Что я в настоящее время знаю, так это то, что с учетом ввода $м$, и, следовательно, хэш $ч(к,м)$, мне нужно найти другой вход $\шляпа{м} \ne м$ такой, что $h(k,m) = h(k,\hat{m})$.

У меня есть ощущение, что столкновение может быть примерно таким (но я не уверен): \начать{выравнивать*} E_k(m\oplus k)\oplus k & = E_k(\hat{m}\oplus k)\oplus k= E_k(h(k,m)\oplus k)\oplus k \конец{выравнивание*}