Avoimen lähdekoodin X-algoritmi on erinomainen ensimmäinen askel, mutta syötteen varmistaminen siitä vaatii sen ajamista tuotantodatalla, joka todennäköisesti ei ole julkista. Luotettavia tarkastajia tai koko X:n ajamista TEE:ssä ei ole, tarvitsemme jonkin verran kryptografiaa datan eheyden ja koodin suorituksen varmistamiseksi.

Haluaisimme protokollan, joka sitoutuu X:n tilaan (esim. Merkle-juuret) ja päivittäisi sen varmennettavasti ZK-todistusten/TEE-vahvistusten avulla. Jo pelkkä sitoutuminen jokaiseen osavaltioon on kallista: saamme todennäköisesti vain satunnaisia tarkistuksia. Mutta tämä täytyy tehdä todella huolellisesti, ettei se olisi arvotonta.