Otworzenie algorytmu 𝕏 to świetny pierwszy krok, ale weryfikacja, że Twój feed pochodzi z niego, wymaga uruchomienia go na danych produkcyjnych, które prawdopodobnie nie są publiczne. Bez zaufanych audytorów lub uruchamiania całego 𝕏 w TEE, potrzebujemy jakiejś kryptografii dla integralności danych i wykonania kodu.

Chcielibyśmy protokołu, który zobowiązuje się do stanu 𝕏 (np. korzenie Merkle'a) i weryfikowalnie go aktualizuje za pomocą dowodów ZK/poświadczeń TEE. Nawet zobowiązanie się do każdej zmiany stanu jest kosztowne: prawdopodobnie otrzymujemy tylko losowe kontrole. Ale to musi być zrobione naprawdę ostrożnie, aby nie było bezwartościowe.