Het open-source maken van 𝕏's algoritme is een geweldige eerste stap, maar het verifiëren dat je feed daaruit komt, vereist het draaien op productiedata, die waarschijnlijk niet openbaar is. Zonder vertrouwde auditors of het draaien van alles van 𝕏 in een TEE, hebben we wat cryptografie nodig voor gegevensintegriteit en code-uitvoering.

We willen een protocol dat zich verbindt aan de staat van 𝕏 (bijv. Merkle-wortels) en deze verifieerbaar bijwerkt met behulp van ZK-bewijzen/TEE-attestaties. Zelfs het vastleggen van elke staatsovergang is kostbaar: we krijgen waarschijnlijk alleen willekeurige steekproeven. Maar dit moet echt heel zorgvuldig gebeuren om niet waardeloos te zijn.