Sistemas híbridos FHE+ZK apresentam um modo de falha sutil: provar um valor enquanto se criptografa outro. GRECO é a camada que impede esse desvio. Guia completo em nosso novo post sobre Criptografia do Enclave, baseado na construção original do GRECO da @backaes.