Nieuwe post: de eerste bijdrage in onze Enclave Cryptografie serie. Het onderzoekt een kernprobleem in hybride FHE–ZK systemen: hoe te bewijzen dat een ciphertext daadwerkelijk de waarde versleutelt die wordt genoemd in een ZK getuige.