新文章：我們的“飛地密碼學”系列的第一篇文章。 本文探討了混合全同態加密-零知識證明系統中的一個核心問題： 如何證明密文確實加密了零知識證明中引用的值。