Postare nouă: prima intrare din seria noastră Enclave Cryptography. Examinează o problemă de bază în sistemele hibride FHE–ZK: cum să demonstreze că un text cifrat criptează efectiv valoarea referențiată într-un martor ZK.