Зашифрованная проверяемая схема со скрытым содержимым

Думаю, это можно решить, используя схему шифрования/подписи с сохранением структуры (я имею в виду схемы, совместимые с системой доказательства ZK, которую вы хотите использовать).

Общая идея состоит в том, что Алиса подпишет сообщение и отправит подпись $\сигма$ Бобу, то Боб зафиксирует сообщение $м$, и подпись $\сигма$ и построит ZK доказательства того, что $е$ содержит $м$, и $\сигма$ является действительной подписью для $м$ по открытому ключу проверки Алисы.

Поскольку Алиса подписывает только одно сообщение, она будет убеждена, что $(com_m, com_\sigma)$ содержит $(м, \сигма)$ (и таким образом, что $e = Enc_{pk}(m)$).

Но так как доказательства с нулевым разглашением, $Enc(м)$ совершенно неотличимо от другого сообщения, потенциально подписанного Алисой (раскрывается даже секретный ключ подписи Алисы). И таким образом Алиса не могла никого убедить в истинной ценности $Enc(м)$.

Для конкретного экземпляра вы можете, например, использовать Система доказательств Грота-Сахаи, с Эль-Гамалем в качестве схемы шифрования и эти подписи.