Abrir código do algoritmo do X é um ótimo primeiro passo, mas verificar que seu feed veio dele exige rodá-lo em dados de produção, que provavelmente não são públicos. Sem auditores confiáveis ou rodando todo o X em um TEE, precisamos de alguma criptografia para integridade de dados e execução de código.

Queremos um protocolo que comprometesse o estado de X (por exemplo, raízes Merkle) e atualizasse de forma verificável usando provas ZK/atestações TEE. Até mesmo se comprometer com todas as transições de estado é caro: provavelmente só recebemos verificações aleatórias. Mas isso precisa ser feito com muito cuidado para não ser inútil.