في الليلة الماضية كنت أتصفح توثيق OpenGradient حتى الواحدة بعد منتصف الليل. عندما رأيت عبارة "التحقق غير المتزامن"، انطلقت بشكل انعكاسي وضغطت Ctrl+F، وأدخلت "فشل التحقق".
0 نتائج.
ثم حاولت "failure" و"settlement" و"rollback". لم يوجد أي شيء.
تصميم HACA ذكي فعلًا. سلاسل الكتل التقليدية تجعل كل مُتحقق يعيد تشغيل كل معاملة، بينما الاستدلال بالذكاء الاصطناعي مكلف وغير حتمي، ولا يمكن تشغيله أصلًا. حل OpenGradient هو فصل التنفيذ عن التحقق: عقد الاستدلال تُشغِّل النموذج وتُرجع النتائج في مستوى ميلي ثانية؛ والعقد الكاملة تتحقق بشكل غير متزامن من إثبات TEE. عقد التحقق لا تحتاج لمعرفة ما هو الـprompt أو ما هو النموذج؛ كل ما تحتاجه هو التأكد من أن الكود داخل البيئـة المعزولة (enclave) لم يتم العبث به.
المشكلة بالضبط هنا. التوثيق الرسمي مكتوب بوضوح: إثبات TEE يتحقق من أن "enclave was not tampered with"، وليس مما إذا كانت النتيجة نفسها صحيحة. يمكن لعقد الاستدلال أن يشغّل النموذج داخل TEE بشكل "صحيح" وينتهي بإرجاع نتيجة خاطئة—وسيمرّ الإثبات. الوثيقة تقرّ بوجود "فجوة ثقة مؤقتة"، لكن لا تذكر كيف سيتم سد هذه الفجوة. $OPG
لدى Gate学院 مقال يشير إلى "فشل التحقق، وسيتم رفض النتيجة أو إعادة حسابها". حسنًا، من سيدفع تكلفة إعادة الحساب؟ وكيف سيتم التراجع عن المعاملات التي تم تنفيذها بالفعل؟ لا توجد حتى ملاحظة TODO في التوثيق الرسمي
انظر إلى DeFi: عند فشل التحقق توجد آليات للتسوية والاسترداد من الضمانات. وانظر إلى الـOptimistic Rollup: هناك فترة تحدّي وأدلة تزوير. OpenGradient يجعل "إصدار النتيجة أولًا ثم التحقق" نقطة بيع، لكن من سيتولى تنظيف الفوضى—وبحسب ما يبدو حاليًا، المستخدم هو من يتحمّل العبء وحده. #OPG
الاتجاه المعماري لا بأس به. لكن قبل أن يتم نشر نموذج الاقتصاد على الشبكة الرئيسية بالكامل وقبل أن تُكتب آلية التعامل مع فشل التحقق في الوثائق، يجب أن أحسب هذه المسألة بوضوح أولًا. @OpenGradient
0 نتائج.
ثم حاولت "failure" و"settlement" و"rollback". لم يوجد أي شيء.
تصميم HACA ذكي فعلًا. سلاسل الكتل التقليدية تجعل كل مُتحقق يعيد تشغيل كل معاملة، بينما الاستدلال بالذكاء الاصطناعي مكلف وغير حتمي، ولا يمكن تشغيله أصلًا. حل OpenGradient هو فصل التنفيذ عن التحقق: عقد الاستدلال تُشغِّل النموذج وتُرجع النتائج في مستوى ميلي ثانية؛ والعقد الكاملة تتحقق بشكل غير متزامن من إثبات TEE. عقد التحقق لا تحتاج لمعرفة ما هو الـprompt أو ما هو النموذج؛ كل ما تحتاجه هو التأكد من أن الكود داخل البيئـة المعزولة (enclave) لم يتم العبث به.
المشكلة بالضبط هنا. التوثيق الرسمي مكتوب بوضوح: إثبات TEE يتحقق من أن "enclave was not tampered with"، وليس مما إذا كانت النتيجة نفسها صحيحة. يمكن لعقد الاستدلال أن يشغّل النموذج داخل TEE بشكل "صحيح" وينتهي بإرجاع نتيجة خاطئة—وسيمرّ الإثبات. الوثيقة تقرّ بوجود "فجوة ثقة مؤقتة"، لكن لا تذكر كيف سيتم سد هذه الفجوة. $OPG
لدى Gate学院 مقال يشير إلى "فشل التحقق، وسيتم رفض النتيجة أو إعادة حسابها". حسنًا، من سيدفع تكلفة إعادة الحساب؟ وكيف سيتم التراجع عن المعاملات التي تم تنفيذها بالفعل؟ لا توجد حتى ملاحظة TODO في التوثيق الرسمي
انظر إلى DeFi: عند فشل التحقق توجد آليات للتسوية والاسترداد من الضمانات. وانظر إلى الـOptimistic Rollup: هناك فترة تحدّي وأدلة تزوير. OpenGradient يجعل "إصدار النتيجة أولًا ثم التحقق" نقطة بيع، لكن من سيتولى تنظيف الفوضى—وبحسب ما يبدو حاليًا، المستخدم هو من يتحمّل العبء وحده. #OPG
الاتجاه المعماري لا بأس به. لكن قبل أن يتم نشر نموذج الاقتصاد على الشبكة الرئيسية بالكامل وقبل أن تُكتب آلية التعامل مع فشل التحقق في الوثائق، يجب أن أحسب هذه المسألة بوضوح أولًا. @OpenGradient