開放 𝕏 的演算法是一個很好的第一步，但要驗證你的資訊來源於此，需要在生產數據上運行它，而這些數據可能不是公開的。 在缺乏可信的審計者或在 TEE 中運行整個 𝕏 的情況下，我們需要一些密碼學來確保數據完整性和代碼執行。

我們希望有一個協議來承諾𝕏的狀態（例如，Merkle根）並使用ZK證明/TEE證明可驗證地更新它。即使承諾每個狀態轉換也是昂貴的：我們可能只能進行隨機抽查。但這必須非常小心地進行，以免變得毫無價值。