Как работает загрузка?

Я недавно прочитал FHE. В Полностью гомоморфное шифрование с использованием идеальной решетки[Gen09], я заметил его перешифровать алгоритмы:

1. У нас есть зашифрованный текст $\фи_1$ который зашифрован открытым ключом $pk_1$, и может быть расшифрован секретным ключом $sk_1$.
2. мы используем открытый ключ $pk_2$ для шифрования битов $sk_1$, и мы получаем $Encrypt_\epsilon(pk_2,sk_{1,j})\to \overline{sk_{1,j}}$.
3. мы используем один и тот же открытый ключ $pk_2$ для шифрования битов $\фи_1$, и мы получаем $Encrypt_\epsilon(pk_2,\phi_{1,j})\to \overline{\phi_{1,j}}$.

Затем он сказал, что мы можем получить $\phi_2\leftarrow Вычислить_{\epsilon}(pk_2, Dec_{\epsilon}, <<\overline{sk_{1,j}}>,<\overline{\phi_{1,j}}>>)$, и мы все еще можем использовать $sk_1$ расшифровать $\фи_2$.

Мой вопрос в том, как эта оценка работает? Мы не можем просто запустить cricuit Decrypt, так как Decrypt просто получает один секретный ключ и зашифрованный текст.

Спасибо!