开放源代码 𝕏 的算法是一个很好的第一步，但验证你的信息流来自于它需要在生产数据上运行，而这些数据可能不是公开的。 在没有可信审计员或在 TEE 中运行全部 𝕏 的情况下，我们需要一些密码学来确保数据完整性和代码执行。

我们希望有一个协议来承诺𝕏的状态（例如，Merkle根）并使用ZK证明/TEE证明可验证地更新它。即使承诺每个状态转换也是昂贵的：我们可能只能进行随机抽查。但这必须非常小心，以免变得毫无价值。