Открытие алгоритма 𝕏 в качестве исходного кода — это отличный первый шаг, но для проверки того, что ваша лента пришла именно оттуда, необходимо запускать его на производственных данных, которые, вероятно, не являются общедоступными. В отсутствие доверенных аудиторов или запуска всего 𝕏 в TEE нам нужна криптография для обеспечения целостности данных и выполнения кода.

Мы хотели бы протокол, который позволит зафиксировать состояние 𝕏 (например, корни Меркла) и проверяемо обновлять его с использованием ZK доказательств/аттестаций TEE. Даже фиксация каждого перехода состояния обходится дорого: вероятно, мы получаем только случайные выборочные проверки. Но это нужно делать очень осторожно, чтобы не оказаться бесполезным.