تصل zkVMs مثل Pico Prism من @brevis_zk إلى الثبات في الوقت الفعلي. يعالج Provers حاليا المدخلات في نص عادي ، وتضيف TEEs سرية على مستوى الأجهزة لتجنب إساءة استخدام البيانات من قبل المشغلين. إليك كيفية تمكين Automata من الإثبات الخاص على zkVMs باستخدام TEEs التي يمكن التحقق منها ↓

تعمل إعدادات zkVM الحالية بموجب افتراض الثقة بأن مشغل الإثبات لا يتم الوصول إلى مدخلات النص العادي. لكي يتمكن المستخدمون من مشاركة بياناتهم دون ثقة ، يمكن دمج TEEs لتوفير ضمانات بشأن سرية البيانات والسلامة الحسابية.

يتم تنفيذ Pico Prism داخل جيب معزول للأجهزة مثل Intel SGX أو TDX ، مع معالجة شاهد النص العادي بالكامل داخل الذاكرة المشفرة. يمكن لأي شخص التحقق من سلامة المثبت من خلال التصديق عن بعد قبل مشاركة البيانات الخاصة.

تظل سلسلة ثقة التصديق بأكملها صالحة من خلال لوحة معلومات DCAP من Automata ، والتي تعمل على أتمتة إدارة الضمانات ل Intel SGX و TDX. يتم تحديث التحقق من Onchain DCAP في الوقت الفعلي لمنع أعطال التصديق عند انتهاء صلاحية الضمان.