Lược đồ có thể kiểm chứng được mã hóa với nội dung ẩn

Tôi đang gặp sự cố với sơ đồ mã hóa.

Có hai thực thể, $A$ và $B$. $A$ đưa ra một thông điệp đơn giản $m \in [0,1]$ đến $B$. $B$ sẽ tạo ra một tin nhắn được mã hóa của $m$: $e=Enc_{pk}(m)$ như vậy mà $A$ có thể xác minh nếu $B$ đã mã hóa chính xác một tin nhắn được tạo từ $A$ mà không giả mạo nó. Nhưng tại cùng một thời điểm, $e$ không nên tiết lộ bất kỳ thông tin nào có thể được sử dụng từ $A$ để chứng minh giá trị của thông điệp $m$ Trong $e$. (Khóa giải mã $sk$ không được biết đến bởi một trong hai $A$ hoặc $B$)

Về cơ bản, mục tiêu là có một tin nhắn được mã hóa trên đó $A$ chỉ có thể kiểm tra xem nội dung có phải là nội dung không $A$ do chính họ tạo ra (ví dụ: có chữ ký) nhưng không thể chứng minh cho bất kỳ ai về giá trị văn bản gốc hiệu quả.

Không có ràng buộc cụ thể nào trong giao thức, vì vậy dữ liệu bổ sung như chữ ký hoặc nhân chứng có thể được sử dụng.

Bạn có biết lược đồ nào có thể giải quyết tình huống này không?