คำตอบคือ "ใช่ในทางทฤษฎี อาจไม่ใช่ในทางปฏิบัติ"
ก การเข้ารหัสแบบ Homomorphic อย่างสมบูรณ์ รูปแบบ (FHE) เป็นรูปแบบการเข้ารหัสแบบดั้งเดิมที่มีอัลกอริทึม "การประเมิน" เพิ่มเติม
ซึ่งหมายความว่าได้รับไซเฟอร์เท็กซ์ $\mathsf{Enc}_{pk}(ม)$, คุณทำได้ (สำหรับวงจรใดๆ $C$) คำนวณ:
$$\mathsf{Eval}_{pk}(C,\mathsf{Enc}_{pk}(m))$$
เพื่อรับการเข้ารหัสของ $ค(ม)$. โปรดทราบว่า $\mathsf{Eval}$ คือ คำนวณต่อสาธารณะ ฟังก์ชัน แต่คุณกำลังดำเนินการอยู่ ข้อมูลที่เข้ารหัส ตลอดเวลา เช่น ความคิดนี้ดูเหมือนจะเป็นสิ่งที่คุณต้องการ (อย่างแม่นยำ)
ปัญหาของ FHE เป็นเรื่องของประสิทธิภาพเป็นหลัก โปรแกรมที่ประเมินด้วย FHE โดยทั่วไปจะแสดงเป็นวงจร (แทนที่จะเป็นเครื่องจักรทัวริงตามอำเภอใจ)
ซึ่งหมายความว่าการควบคุมโฟลว์ของโปรแกรมคือ แก้ไขแล้วดังนั้นสำหรับคำสั่ง if คุณต้องประเมินทั้งสองสาขาของการคำนวณ
สำหรับโครงสร้างมาตรฐานบางอย่าง (เช่น HashMaps) ข้อ จำกัด นี้หมายความว่าฉันไม่คิดว่าจะมีใครรู้วิธีนำไปใช้กับ FHE (โดยไม่ต้องใช้ มโหฬาร ตีประสิทธิภาพ). ขึ้นอยู่กับโปรแกรมที่คุณต้องการประเมิน สิ่งนี้อาจห้ามปราม
มีแอปพลิเคชั่นมากมายที่ FHE เป็นไปได้ในขณะนี้ (ส่วนใหญ่อยู่ในสถิติการคำนวณของข้อมูลที่เข้ารหัส) แต่เพื่อประเมินความเป็นไปได้ของสิ่งที่คุณต้องการ เราจำเป็นต้องรู้คำอธิบายที่ชัดเจนยิ่งขึ้นเกี่ยวกับสิ่งที่คุณต้องการทำ และสำหรับการคำนวณทั่วไป คำตอบมักจะเป็น "เป็นไปไม่ได้" ในปัจจุบัน