La computación confiable en aplicaciones del mundo real es divertida. Los ZKPs maximizan la seguridad teórica, pero el costo del diseño de circuitos y hardware especializado hace que muchas operaciones sean imprácticas hoy en día. Los TEEs son la elección de ingeniería correcta cuando el valor económico en riesgo no justifica pruebas criptográficas completas. Sub-centavo y sub-segundo frente a más de $10 y minutos para realizar una simple consulta SQL, por ejemplo. Este compromiso cambiará a medida que la investigación en ZK mejore en los próximos años.

También necesitamos que los LLMs mejoren en la escritura de Circom.