أطلق فريق TrueOpen شبكة اختبار عامة لشبكة مفتوحة تتيح استنتاج الذكاء الاصطناعي القابل للتحقق والخاص باستخدام وحدات معالجة رسومات مستقلة. يضمن النظام أن النموذج المتفق عليه قد تم تنفيذه فعلياً مع الحفاظ على تشفير المدخلات والمخرجات.
- يتيح التحقق بالإجماع الأغلبية لاحتمالات اللوغاريتم (LMCV) للمحققين المستقلين إعادة حساب احتمالات اللوغاريتم للرموز المخرجة، والترتيب، ومجموعات أعلى-k عبر الحشو المفروض من المعلم.
- تلتزم البراهين الطباقية العيّنة (SLP) بجميع أجزاء الحساب لكنها تثبت فقط تلك الإلزامية بالإضافة إلى عيّنة عشوائية لتقليل التكاليف.
- في الاختبارات مع نموذجي Qwen3-8B و 32B، كانت تكلفة التحقق حوالي 1 إلى 8% من وقت معالجة وحدة معالجة الرسومات للتوليد.
- يتم الآن نشر تشغيل العقدة وتسجيل النماذج على شبكة الاختبار، مع التسوية عبر USDC.
يدعو الفريق المجتمع لمراجعة نهج التحقق ويرحب بالملاحظات من أولئك الذين يشغلون وحدات معالجة رسومات أو يحافظون على نماذج مفتوحة.