Algoritme Open Source X adalah langkah pertama yang bagus, tetapi memverifikasi umpan Anda berasal darinya memerlukan menjalankannya pada data produksi, yang kemungkinan tidak publik. Kekurangan auditor tepercaya atau menjalankan semua X dalam TEE, kami memerlukan beberapa kriptografi untuk integritas data dan eksekusi kode.

Kami ingin protokol berkomitmen ke status X (misalnya, akar Merkle) dan memperbaruinya secara terverifikasi menggunakan bukti ZK/pengesahan TEE. Bahkan berkomitmen pada setiap transisi negara bagian itu mahal: kita mungkin hanya mendapatkan pemeriksaan acak. Tetapi ini harus dilakukan dengan sangat hati-hati agar tidak berharga.