Новая запись: первый выпуск нашей серии о криптографии Enclave. В ней рассматривается основная проблема в гибридных системах FHE–ZK: как доказать, что шифротекст действительно шифрует значение, упомянутое в ZK-свидетельстве.