A abertura do algoritmo do 𝕏 é um ótimo primeiro passo, mas verificar se o seu feed veio dele requer executá-lo em dados de produção, que provavelmente não são públicos. A menos que tenhamos auditores de confiança ou que executemos todo o 𝕏 em um TEE, precisamos de alguma criptografia para a integridade dos dados e a execução do código.

Gostaríamos de um protocolo para comprometer o estado de 𝕏 (por exemplo, raízes de Merkle) e atualizá-lo de forma verificável usando provas ZK/atestações TEE. Mesmo comprometer-se com cada transição de estado é dispendioso: provavelmente só teremos verificações aleatórias. Mas isso precisa ser feito com muito cuidado para não ser inútil.