การบูตสแตรปทำงานอย่างไร

ฉันได้อ่าน FHE เมื่อเร็ว ๆ นี้ ใน การเข้ารหัสแบบ Homomorphic อย่างสมบูรณ์โดยใช้โครงตาข่ายในอุดมคติ[Gen09] ฉันสังเกตเห็นเขา เข้ารหัสใหม่ อัลกอริทึม:

1. เรามีไซเฟอร์เท็กซ์ $\phi_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$ เพื่อเข้ารหัสบิตของ $\phi_1$และเราได้รับ $Encrypt_\epsilon(pk_2,\phi_{1,j})\to \overline{\phi_{1,j}}$.

จากนั้นเขาก็บอกว่าเราสามารถรับได้ $\phi_2\leftarrow Evaluate_{\epsilon}(pk_2, Dec_{\epsilon}, <<\overline{sk_{1,j}}>,<\overline{\phi_{1,j}}>>)$และเรายังสามารถใช้ $sk_1$ เพื่อถอดรหัส $\phi_2$.

คำถามของฉันคือการประเมินนี้ทำงานอย่างไร เราไม่สามารถเรียกใช้ Decrypt cricuit ได้เนื่องจาก Decrypt เพิ่งได้รับรหัสลับหนึ่งรหัสและข้อความเข้ารหัส

ขอขอบคุณ!