Rendre l'algorithme de 𝕏 open source est un excellent premier pas, mais vérifier que votre flux en provient nécessite de l'exécuter sur des données de production, qui ne sont probablement pas publiques. À défaut d'auditeurs de confiance ou d'exécuter l'ensemble de 𝕏 dans un TEE, nous avons besoin de cryptographie pour l'intégrité des données et l'exécution du code.

Nous voudrions un protocole pour s'engager dans l'état de 𝕏 (par exemple, les racines de Merkle) et le mettre à jour de manière vérifiable en utilisant des preuves ZK/des attestations TEE. Même s'engager dans chaque transition d'état est coûteux : nous n'obtenons probablement que des contrôles aléatoires. Mais cela doit être fait très soigneusement pour ne pas être inutile.