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

Além disso, precisamos que os LLMs melhorem na escrita de Circom.