Novo post: a primeira entrada na nossa série de Criptografia Enclave. Examina uma questão central em sistemas híbridos FHE–ZK: como provar que um texto cifrado realmente encripta o valor referenciado em uma testemunha ZK.