Câu trả lời cho điều này là "có về lý thuyết, có thể không trong thực tế".
Một Mã hóa đồng hình hoàn toàn (FHE) là một lược đồ mã hóa truyền thống với thuật toán "đánh giá" bổ sung.
Điều này có nghĩa là, với một bản mã $\mathsf{Enc}_{pk}(m)$, bạn có thể (đối với bất kỳ mạch nào $C$) tính:
$$\mathsf{Eval}_{pk}(C,\mathsf{Enc}_{pk}(m))$$
để có được một mã hóa của $C(m)$. Lưu ý rằng $\mathsf{Eval}$ là một tính toán công khai chức năng, nhưng bạn đang hoạt động trên dữ liệu được mã hóa toàn bộ thời gian, ví dụ: khái niệm này dường như là (chính xác) những gì bạn muốn.
Vấn đề với FHE chủ yếu là hiệu quả. Các chương trình được đánh giá bằng FHE thường được biểu diễn dưới dạng các mạch (chứ không phải là các máy xử lý tùy ý).
Điều này có nghĩa là luồng điều khiển của chương trình là đã sửa, vì vậy đối với câu lệnh if, bạn phải đánh giá cả hai nhánh của phép tính.
Đối với một số cấu trúc tiêu chuẩn nhất định (giả sử HashMaps), giới hạn này có nghĩa là tôi không nghĩ rằng có ai thực sự biết cách triển khai chúng với FHE (mà không cần dùng đến to lớn đạt hiệu quả). Tùy thuộc vào chương trình chính xác mà bạn muốn đánh giá, điều này có thể bị cấm.
Chắc chắn có những ứng dụng mà FHE hiện khả thi (hầu hết trong tính toán thống kê dữ liệu được mã hóa), nhưng để đánh giá tính khả thi của những gì bạn muốn, chúng tôi cần biết mô tả chính xác hơn về những gì bạn muốn làm và cho mục đích chung điện toán hiện tại câu trả lời có xu hướng là "không khả thi".
