新文章：我们的“飞地密码学”系列的第一篇文章。 本文探讨了混合全同态加密-零知识证明系统中的一个核心问题： 如何证明密文确实加密了零知识证明中引用的值。