Sistemas híbridos FHE+ZK têm um modo de falha sutil: provar um valor enquanto se encripta outro. GRECO é a camada que impede essa deriva. Passo a passo completo no nosso novo post sobre Criptografia Enclave, baseado na construção original GRECO de @backaes.