Bootstrapping hoạt động như thế nào?

Tôi đã đọc FHE gần đây. Trong Mã hóa hoàn toàn đồng hình sử dụng mạng lý tưởng[Gen09], tôi nhận thấy anh ấy mã hóa lại thuật toán:

1. Chúng tôi có một bản mã $\phi_1$ được mã hóa bằng khóa công khai $pk_1$, và có thể được giải mã bằng khóa bí mật $sk_1$.
2. chúng tôi sử dụng khóa công khai $pk_2$ để mã hóa các bit của $sk_1$, và chúng tôi nhận được $Encrypt_\epsilon(pk_2,sk_{1,j})\to \overline{sk_{1,j}}$.
3. chúng tôi sử dụng cùng một khóa công khai $pk_2$ để mã hóa các bit của $\phi_1$, và chúng tôi nhận được $Encrypt_\epsilon(pk_2,\phi_{1,j})\to \overline{\phi_{1,j}}$.

Sau đó, ông nói chúng ta có thể nhận được $\phi_2\leftarrow Đánh giá_{\epsilon}(pk_2, Dec_{\epsilon}, <<\overline{sk_{1,j}}>,<\overline{\phi_{1,j}}>>)$, và chúng ta vẫn có thể sử dụng $sk_1$ để giải mã $\phi_2$.

Câu hỏi của tôi là cách đánh giá này hoạt động như thế nào? Chúng ta không thể chỉ chạy Decrypt cricuit vì Decrypt chỉ nhận được một khóa bí mật và một bản mã.

Cảm ơn bạn!