La apertura del algoritmo de 𝕏 es un gran primer paso, pero verificar que tu feed provenga de él requiere ejecutarlo en datos de producción, que probablemente no son públicos. A falta de auditores de confianza o de ejecutar todo 𝕏 en un TEE, necesitamos algo de criptografía para la integridad de los datos y la ejecución del código.

Quisiéramos un protocolo para comprometerse al estado de 𝕏 (por ejemplo, raíces de Merkle) y actualizarlo verificablemente utilizando pruebas ZK/atestaciones TEE. Incluso comprometerse a cada transición de estado es costoso: probablemente solo obtengamos controles aleatorios. Pero esto debe hacerse con mucho cuidado para no ser inútil.