إثبات العمل الكلاسيكي يثبت أن الحساب قد حدث. الروبوتات تحتاج أيضا إلى إثبات عمل، لكن بشكل مختلف: العمل يحدث في العالم الحقيقي. لذا يصبح السؤال الجوهري هو: "هل حدثت الوظيفة فعلا؟" يمكن للروبوت أن يقول إنه ذهب إلى مكان ما. يمكنه حتى رفع السجلات. لكن السجلات رخيصة في التزوير إلا إذا ربطتها بشيء أصعب في التزوير: مزيج من بيانات المستشعرات، وإشارات الموقع، وشهادة مقاومة للتلاعب (بحيث تكون البيانات "موقعة" من قبل بيئة تنفيذ موثوقة). هنا يصبح التصديق المدعوم بالأجهزة (TEEs) ذا صلة: أنت تثق في المشغل في الإبلاغ بصدق، كما أنك تحول الثقة نحو وقت تشغيل مقياس وقابل للتحقق يمكنه إثبات ما تم تشغيل الكود وما هي البيانات التي رصدها، ثم ينتج تقريرا تشفيريا. في الواقع، لن يكون هذا دليلا سحريا واحدا. سيبدو كدليل مجمع: GPS + حساسات القصور الذاتي + بصمات الكاميرا/LiDAR + شهادة + التحقق المتقاطع (والعقوبات عند تعارض التقارير). الهدف هو جعل الأكاذيب مكلفة بما فيه الكفاية.