Aprire il codice sorgente dell'algoritmo di 𝕏 è un ottimo primo passo, ma verificare che il tuo feed provenga da esso richiede di eseguirlo su dati di produzione, che probabilmente non sono pubblici. A meno di avere revisori fidati o di eseguire tutto 𝕏 in un TEE, abbiamo bisogno di un po' di crittografia per l'integrità dei dati e l'esecuzione del codice.

Vorremmo un protocollo per impegnarci allo stato di 𝕏 (ad esempio, radici di Merkle) e aggiornarlo in modo verificabile utilizzando prove ZK/attestazioni TEE. Anche impegnarsi in ogni transizione di stato è costoso: probabilmente otteniamo solo controlli casuali. Ma questo deve essere fatto con molta attenzione per non risultare inutile.