Quando se trata de compromissos de desempenho, ZK e FHE adotam abordagens diferentes. As provas de conhecimento zero brilham aqui—a verificação acontece em milissegundos diretamente na cadeia. A fase de prova exige recursos computacionais sérios, embora avanços recentes tenham tornado isso muito mais prático do que antes.

Criptografia homomórfica completa? É uma história oposta. Você pode absolutamente calcular diretamente sobre dados encriptados, o que é uma coisa poderosa. Mas há um problema: operações de bootstrap que renovam o ruído acumulado nos seus textos cifrados são brutalmente caras. Essa sobrecarga é o verdadeiro gargalo que impede a adoção generalizada do FHE, apesar de sua elegância teórica.