Computação confiável em aplicações do mundo real é divertida. ZKPs maximizam a segurança teórica, mas o custo do projeto de circuitos e hardware especializado torna muitas operações impraticáveis hoje. TEEs são a escolha certa de engenharia quando o valor econômico em risco não justifica provas criptográficas completas. Sub-cents e sub-segundo vs >$10 e minutos para fazer uma consulta SQL simples, por exemplo. Esse equilíbrio mudará à medida que a pesquisa sobre ZK evoluir nos próximos anos.

Também precisamos de LLMs para melhorar na escrita de Circom.