Published onDecember 5, 2025GRECO in a nutshellcryptographyzero-knowledgefheAn introduction to GRECO, a zero-knowledge proof system for verifying correct encryption in Fully Homomorphic Encryption.