Tham gia Đăng nhập
Điểm:2
avatar Crypto

Đưa ra một chương trình, có được một chương trình có thể hoạt động trên dữ liệu được mã hóa

lá cờ in
James

Giả sử tôi có một chương trình $P$. Tôi muốn có được một chức năng mã hóa $e$, chức năng giải mã $d$, và một chương trình $Q$ như vậy mà $P(x) = d(Q(e(x)))$ cho tất cả các đầu vào $x$. Lý tưởng nhất là mã hóa sẽ không đối xứng ($d$ không thể lấy được từ $e$).

Điều này sẽ cho phép tạo ra một nền tảng điện toán phi tập trung tương tự như Ethereum, nhưng nơi các hợp đồng có thể lưu trữ dữ liệu riêng tư, chỉ những người có khóa giải mã mới có thể truy cập được.

Có một cái gì đó như thế này tồn tại?

58
0 + 6
Manish Adhikari avatar
lá cờ us
Manish Adhikari
Có những thứ được gọi là lược đồ mã hóa đồng cấu.Bạn có thể kiểm tra chúng ra.
6
Hồi đáp
fgrieu avatar
lá cờ ng
fgrieu
Bạn sẽ cần hạn chế những gì $P$ có thể làm. Chúc may mắn nếu đó là ví dụ. một chương trình xuất ra nếu $x$ là số nguyên tố.
3
Hồi đáp
SEJPM avatar
lá cờ us
SEJPM
Yêu cầu trong câu hỏi trông rất giống thuộc tính đúng đắn của mã hóa đồng cấu hoàn toàn.
3
Hồi đáp
fgrieu avatar
lá cờ ng
fgrieu
@SEJPM: Có, _looks_ giống như một yêu cầu đối với mã hóa đồng cấu hoàn toàn. Nhưng chẳng phải FHE như chúng ta biết nó có giới hạn $P$ là một hàm đa thức của $x$; và sau đó trong một trường hữu hạn cụ thể? Đối với chương trình có mục đích chung $P$, tôi nghĩ đến zk-SNARK, nhưng tôi không thoải mái với những điều này, do đó sẽ không cố gắng trả lời.
2
Hồi đáp
SEJPM avatar
lá cờ us
SEJPM
@fgrieu mà không cần kiểm tra Tôi chắc chắn 95% rằng bạn có thể tạo các mạch (số học) tùy ý với hầu hết các lược đồ FHE (tất nhiên là trong trường đã cho), điều này sẽ cho phép bạn tạo các phép tính tùy ý (sử dụng mạch) chứ không chỉ đa thức.
1
Hồi đáp
fgrieu avatar
lá cờ ng
fgrieu
@SEJPM: ở một mức độ lý thuyết nào đó, không có sự khác biệt giữa "đa thức .. trong một trường hữu hạn cụ thể" và "các mạch (số học) tùy ý .. trong trường đã cho". Nếu trường có thứ tự $n$ thì dễ dàng tạo một đa bậc $n-1$ ước tính thành 1 tại một điểm xác định và thành 0 tại tất cả các điểm khác; và từ đó xây dựng nhiều bậc $n-1$ cho bất kỳ chức năng nào. Vì vậy, tôi đồng ý với những gì bạn chắc chắn 95%, cả về lý thuyết và thực tế cho các lĩnh vực nhỏ. Nhưng tôi có nhiều nghi ngờ về thực hành và lĩnh vực rộng lớn. Nếu câu hỏi đưa ra ý tưởng về những gì nó muốn tính toán, điều đó sẽ giúp ...
1
Hồi đáp
lá cờ VietNam
Phan Văn Trường
Câu hỏi này là trong các ngôn ngữ khác:

Đăng câu trả lời

Hầu hết mọi người không hiểu rằng việc đặt nhiều câu hỏi sẽ mở ra cơ hội học hỏi và cải thiện mối quan hệ giữa các cá nhân. Ví dụ, trong các nghiên cứu của Alison, mặc dù mọi người có thể nhớ chính xác có bao nhiêu câu hỏi đã được đặt ra trong các cuộc trò chuyện của họ, nhưng họ không trực giác nhận ra mối liên hệ giữa câu hỏi và sự yêu thích. Qua bốn nghiên cứu, trong đó những người tham gia tự tham gia vào các cuộc trò chuyện hoặc đọc bản ghi lại các cuộc trò chuyện của người khác, mọi người có xu hướng không nhận ra rằng việc đặt câu hỏi sẽ ảnh hưởng—hoặc đã ảnh hưởng—mức độ thân thiện giữa những người đối thoại.