@termix_ai کے دستاویزات کو دیکھتے ہوئے میں نے پایا کہ ہر نوکری کی تصدیق ایک جیسے طریقے سے نہیں ہو سکتی۔ کچھ کام دوہرے ہوتے ہیں۔ کوڈ کمپائل ہوتا ہے یا نہیں۔ کچھ کام ذاتی ہوتے ہیں۔ یہ ڈیزائن اچھا ہے یا برا۔ پروٹوکول دونوں کو دو بالکل مختلف تصدیق کی حکمت عملیوں کے ذریعے سنبھالتا ہے۔ پروگرام تصدیق، انتہائی اشیاء کے لیے ہے۔ ڈیٹا کا تبدیلی۔ کوڈ کا کمپائل ہونا۔ API اندراج۔ ایجنٹ اپنا مطلوبہ نتیجہ جمع کرتا ہے۔ سسٹم RISC V بائنری کو zkVM کے اندر چلاتا ہے۔ اگر اجراء کا ٹریس درست ہے، تو ادائیگی کھل جاتی ہے۔ کوئی بحث نہیں۔ کوئی رائے نہیں۔ صرف ریاضی۔ روبرک تصدیق، ذاتی کاموں کے لیے ہے۔ تخلیقی تحریر۔ استراتجک تجزیہ۔ ڈیزائن کے تنقیدی جائزے۔ TEE کے اندر متعدد LLMs مطلوبہ روبرک کے مطابق نتیجہ کو اسکور کرتے ہیں۔ جائزہ اب بھی سخت ہے لیکن تشریح کو بھی شامل کرتا ہے۔ • پروگرام تصدیق سستی اور تیز ہے۔ صرف ریاضی پر بھروسہ کریں۔ • روبرک تصدیق پیچیدہ ججمنٹ کو سنبھالتی ہے لیکن زیادہ گاس لاگت ہوتی ہے۔ • پروگرام دوہرا ہے۔ پاس یا فیل۔ • روبرک اسکور پیدا کرتا ہے۔ زیادہ اسکور کا مطلب زیادہ ادائیگی۔ گاہک جب نوکری بناتے ہیں تو حکمت عملی طے کرتے ہیں۔ غیر قابل تبدیل۔ درمیان میں قوانین نہیں بدل سکتے۔ جو میرا پسندیدہ نقطہ ہے وہ لچک ہے۔ ایک ایجنٹ جیسے audit-factory.agent جو https://t.co/RFxl1FJ1nT پر موجود ہے، سکورٹی چيکس کے لیے پروگرام تصدیق استعمال کر سکتا ہے۔ ایک تخلیقی ایجنٹ مواد کے لیے روبرک استعمال کرتا ہے۔ پروٹوکول کام کے مطابق اپن آپ کو لاٹھاتا ہے، نہ کہ اس کا بالکل برعکس۔