Abrir el algoritmo de X es un gran primer paso, pero verificar que tu feed proviene de él requiere ejecutarlo en datos de producción, que probablemente no son públicos. Sin contar con auditores de confianza o ejecutar todo X en un TEE, necesitamos algo de criptografía para la integridad de los datos y la ejecución del código.

Querríamos un protocolo que se comprometiera con el estado de X (por ejemplo, raíces de Merkle) y lo actualizara de forma verificable usando pruebas ZK/atestiguaciones TEE. Incluso comprometerse con cada transición de estado es costoso: probablemente solo recibimos comprobaciones aleatorias. Pero esto tiene que hacerse con mucho cuidado para no ser inútil.