خوارزمية Open Source X خطوة أولى رائعة، لكن التحقق من أن خلاصتك جاءت منها يتطلب تشغيلها على بيانات الإنتاج، والتي غالبا ليست عامة. باستثناء مدققين موثوقين أو تشغيل كل X في TEE، نحتاج إلى بعض التشفير لسلامة البيانات وتنفيذ الكود.

نرغب في بروتوكول يلتزم بحالة X (مثل جذور ميركل) ويحدثها بشكل موثوق باستخدام براهين ZK أو شهادات TEE. حتى الالتزام بكل انتقال في ولاية مكلف: ربما نحصل فقط على فحوصات عشوائية عشوائية. لكن يجب أن يتم ذلك بحذر شديد حتى لا يكون بلا قيمة.