الوكلاء المستقلون يعيشون في DeFi. يقومون بتخصيص البروتوكولات وإعادة توازنها وتنفيذها عبر البروتوكولات بأقل قدر من الرقابة. يقوم Spearbit بتقييم هذه الأنظمة تحت ضغط السلوكيات السطحية التي لا يمكن للتحليل الثابت الكشف عنها. التفاصيل أدناه.

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

نقوم بمحاكاة ظروف الحافة عبر الحقن الفوري والتحقق من صحة الإخراج والسلوك الاحتياطي. تؤكد المراجعات نية التنفيذ وتتبع السلطة وتكشف عن مكان انفصال الأنظمة الحية عن التصميم.