Новий допис: перший запис у нашій серії Enclave Cryptography. Розглядається основне питання гібридних систем FHE–ZK: як довести, що шифротекст фактично шифрує значення, на яке посилається свідок ZK.