تم تصميم بروتوكول الدورات بعناية لضمان عدم الوثوق ب TEEs من أجل صحة * أي * تنفيذ. تم إثبات جميع عمليات التنفيذ بالكامل عبر zk-SNARK. TEE موجود فقط لتنفيذ خوارزمية الرسم البياني بشكل خاص.
هذه هي الخصوصية العملية. يمكننا قفل مشغل TEE في مركز بيانات آمن لمنع التسريبات ، ولكن يمكننا أيضا أن نطمئن إلى أن سلامة البروتوكول لا تعتمد على الإطلاق على TEE.
نتطلع إلى تقدم حلول أخرى في هذه الأثناء ، مثل MPC (أو FHE + MPC ، نظرا لأن FHE ليس حلا بمفرده) وبالفعل مؤمن عن طريق الفيزياء. سيعزز كلا الاتجاهين ماديا أمان الحوسبة الموزعة. في الوقت الحالي ، نحن zk + TEE.
‏‎2.28‏K