La arquitectura de VaultKit del Protocolo Newton combina TEE (entorno de ejecución confiable) y ZKP (pruebas de conocimiento cero). El relato oficial es "validación doble, minimización de la confianza". Pero si lo desarmamos con cuidado, esta combinación en realidad esconde un intercambio que no se ha discutido lo suficiente.
La seguridad de TEE se basa en la reputación de los fabricantes de hardware: tanto Intel SGX como soluciones similares han tenido, durante los últimos años, problemas como ataques de canal lateral y filtraciones de memoria. Es decir, la primera capa de protección de VaultKit, en esencia, sigue siendo "confiar en que el fabricante del chip no haya sido comprometido". Esto choca con la filosofía de una verificación puramente on-chain.
Esta capa de ZKP resuelve el problema de “verificabilidad del proceso de cómputo”, pero lo que verifica es si los resultados producidos por el entorno TEE se ejecutaron correctamente, no si el propio entorno TEE fue vulnerado. En otras palabras, si el TEE se ve comprometido y el atacante falsifica las entradas, ZKP seguirá considerando que “el cómputo es correcto”.
Esto no significa que el diseño de VaultKit sea incorrecto: desde el punto de vista de la ingeniería, TEE+ZKP de hecho es más difícil de vulnerar que una solución única, y el coste del ataque es más alto. Pero la afirmación de “minimizar la confianza” podría tener un poco de componente de marketing; una descripción más precisa quizá sea “distribuir la confianza”: descomponer la confianza en un único punto en dos fuentes de confianza independientes, en lugar de eliminar por completo la suposición de confianza.
Para los usuarios institucionales con un volumen de fondos grande, esta diferencia es muy importante. ¿Crees que la combinación de TEE+ZKP también debería contar con un mecanismo independiente de divulgación de auditoría dirigido a los riesgos a nivel de hardware?
Este artículo es solo una observación y discusión técnica personal y no constituye ningún asesoramiento de inversión.