Mở mã nguồn thuật toán của 𝕏 là một bước đầu tuyệt vời, nhưng việc xác minh nguồn cấp dữ liệu của bạn đến từ nó đòi hỏi phải chạy trên dữ liệu sản xuất, mà có thể không công khai. Ngoài việc có các kiểm toán viên đáng tin cậy hoặc chạy toàn bộ 𝕏 trong một TEE, chúng ta cần một số công nghệ mật mã để đảm bảo tính toàn vẹn của dữ liệu và thực thi mã.

Chúng tôi muốn có một giao thức để cam kết với trạng thái của 𝕏 (ví dụ: các gốc Merkle) và cập nhật một cách có thể xác minh bằng cách sử dụng các chứng minh ZK/đánh giá TEE. Ngay cả việc cam kết với mỗi chuyển đổi trạng thái cũng tốn kém: có lẽ chúng tôi chỉ nhận được các kiểm tra ngẫu nhiên. Nhưng điều này phải được thực hiện rất cẩn thận để không trở nên vô giá trị.