Nueva entrada: la primera entrada de nuestra serie Criptografía del Enclave. Examina un problema central en los sistemas híbridos FHE–ZK: cómo demostrar que un texto cifrado realmente cifra el valor referenciado en un testigo ZK.