Nový příspěvek: první díl naší série Enkláva kryptografie. Zkoumá základní problém hybridních systémů FHE–ZK: jak dokázat, že šifrovaný text skutečně šifruje hodnotu uvedenou ve svědku ZK.