新帖子：我们 Enclave 加密系列的第一篇文章。 它探讨了混合 FHE–ZK 系统中的一个核心问题： 如何证明一个密文确实加密了 ZK 见证中引用的值。