Відкритий алгоритм X — це чудовий перший крок, але для перевірки, що ваш фіч походить з нього, потрібно запускати його на продакшн-даних, які, ймовірно, не є публічними. Якщо немає довірених аудиторів або запуску всього X у TEE, нам потрібна криптографія для цілісності даних і виконання коду.

Ми хотіли б, щоб протокол фіксував стан X (наприклад, корені Merkle) і перевіряв його за допомогою ZK proofs/TEE атестацій. Навіть зобов'язання робити кожен перехід стану дорого: ми, ймовірно, отримуємо лише випадкові перевірки. Але це потрібно робити дуже обережно, щоб не стати марним.