Chứng minh quyền sở hữu khóa mã hóa

Trong ngữ cảnh dịch vụ lưu trữ chống máy chủ, có sơ đồ mã hóa nào cho phép tôi chứng minh với máy chủ rằng tôi sở hữu khóa bí mật để giải mã bản mã mà tôi hiện đang tải lên nhưng (thực sự) mà không tiết lộ khóa cũng như thông báo văn bản gốc ?

Nói cách khác, có cách nào để máy chủ chắc chắn rằng 1) tệp đã tải lên được mã hóa và 2) người dùng sở hữu khóa để giải mã tệp đó không?

Hầu hết các sơ đồ mã hóa đại số tiêu chuẩn đều thừa nhận bằng chứng không biết như vậy về việc biết khóa bí mật. Ví dụ: nếu sơ đồ mã hóa là ElGamal (trên một nhóm phù hợp, ví dụ: đường cong elip) với khóa chung $(G,H)$, chứng minh biết về khóa bí mật chỉ là chứng minh biết về một giá trị $s$ như vậy mà $G^s = H$, là bằng chứng tiêu chuẩn của Schnorr (chứng minh thứ hai chỉ là không có kiến ​​thức của người xác minh trung thực, nhưng nó có thể được sửa đổi thành không có kiến ​​thức chính thức). Các hệ thống bằng chứng tương tự tồn tại cho các lược đồ mã hóa khóa công khai khác, ví dụ: Goldwasser-Micali hoặc Paillier (đối với những thứ đó, nó giúp chứng minh kiến ​​​​thức về các yếu tố của mô đun RSA, có thể được thực hiện nhưng kém hiệu quả hơn đáng kể).