Die Open-Source-Veröffentlichung des Algorithmus von 𝕏 ist ein großartiger erster Schritt, aber um zu überprüfen, ob Ihr Feed davon stammt, ist es erforderlich, ihn mit Produktionsdaten auszuführen, die wahrscheinlich nicht öffentlich sind. Abgesehen von vertrauenswürdigen Prüfern oder der Ausführung von 𝕏 in einer TEE benötigen wir einige Kryptographie für die Datenintegrität und die Codeausführung.

Wir möchten ein Protokoll, um den Zustand von 𝕏 (z. B. Merkle-Wurzeln) zu bestätigen und ihn nachweislich mit ZK-Beweisen/TEE-Bestätigungen zu aktualisieren. Selbst das Bestätigen jeder Zustandsänderung ist kostspielig: Wir erhalten wahrscheinlich nur zufällige Stichproben. Aber das muss wirklich sorgfältig gemacht werden, um nicht wertlos zu sein.