#opg $OPG $BTC #OpenGradient لقد علقتني تصميمات «فصل الأدوار» في معمارية عقد <a>OpenGradient</a> وأنا أعيد مراجعتها خلال هذه الأيام.
فمعظم الشبكات اللامركزية منطقها بسيط: العقد هي مقدمو الخدمة، ومقدمو الخدمة هم المُتحققون. كلما كانت الهوية أكثر تداخلاً وتعقيداً، زادت «اللا مركزية» للشبكة، وهذه تقريباً قاعدة افتراضية.
لكن OPG على وجه التحديد يفصل بين من ينفّذ الاستدلال وبين من يتحقق من الاستدلال.
عندما رأيته لأول مرة لم أكن قد فهمت السبب. لماذا تحدّ النظام بشكلٍ فعّال قدرات العقد التي تم تدريبها بصعوبة؟
ثم اتضح لي أن المشكلة ليست في اللامركزية، بل في «التواطؤ».
عندما تقع عملية التنفيذ والتحقق على نفس الدفعة من العقد، يمكن للعقد أن تكون لاعباً وحكماً في الوقت نفسه. تُنهي النموذج ثم تمنح نفسها ختم التحقق. وإذا كان أي نتيجة استدلال تصب في مصلحتها—مثل أن تُعدَّل بيانات إدخال وكيل تداول بالذكاء الاصطناعي بشكل طفيف—فلديها دافع قوي لاختيارياً «عمداً» أن تفشل في الرؤية أثناء التحقق. وحتى مع آلية عقوبات دقيقة، فإن التواطؤ المتبادل غير المطلوب لا يمكن إيقافه بتلك العقوبات.
أول العقد دخولاً ستحتكر صلاحيات التنفيذ والتحقق. كلما كانت العقد أكثر كفاءةً، أصبحت العقد اللاحقة أصعب في الدخول، وكلما أصبحت الشبكة أكثر إغلاقاً.
ثم أدركت لاحقاً أن ما يفصل بينه OpenGradient بالفعل ليس الأدوار، بل تداخل المصالح.
من يستطيع تنفيذ استدلال بالذكاء الاصطناعي لا ينبغي أن يملك أيضاً سلطة التحقق من استدلاله بنفسه. مثل مصنع لا يمكنه أن يصدر تقرير فحص الجودة بنفسه. ليست مشكلة قدرة، بل مشكلة هيكل.
كثير من الشبكات تجعل العقد أكثر شمولاً وقدرة، بينما يشبه OpenGradient في الواقع أنه يجعل العقد أكثر «عجزاً»—فهي لا تستطيع إلا شيئاً واحداً: إمّا تنفيذ أو تحقق. القبول ليس صعباً، لكن الصعب هو تقبّل إحساس المشاركة «التي تم بترها» التي تأتي معها.
لكنني كنت أفكر في شيء آخر.
بعد فصل التنفيذ عن التحقق، من المؤكد أنه يمكن منع العقد من منح نفسها شهادة. لكن هل عقد التحقق تتحقق فعلاً من محتوى الاستدلال؟ إذا كان المُتحققون لا يفهمون منطق النموذج الداخلي، ولا يستطيعون إلا فحص تنسيق إثباتات ZK والتواقيع، فهل هم يتحققون من أن «الاستدلال حدث بالفعل»، أم أنهم يتحققون من أن «الأمر صحيح شكلياً ولا توجد مشكلة»؟
إذا كان النموذج نفسه متحيّزاً، أو إذا كانت بيانات الإدخال ملوثة من المصدر، فهل يمكن لعقد التحقق اكتشاف ذلك؟ أم يمكنها فقط ضمان أن «هذه النتيجة المتحيزة ناتجة فعلاً عن هذا النموذج المتحيّز»؟
في النهاية، هل يقوم OPG بمنع الغش، أم أنه يُعيد تعريف من يقرر ما هو الصحيح؟
فمعظم الشبكات اللامركزية منطقها بسيط: العقد هي مقدمو الخدمة، ومقدمو الخدمة هم المُتحققون. كلما كانت الهوية أكثر تداخلاً وتعقيداً، زادت «اللا مركزية» للشبكة، وهذه تقريباً قاعدة افتراضية.
لكن OPG على وجه التحديد يفصل بين من ينفّذ الاستدلال وبين من يتحقق من الاستدلال.
عندما رأيته لأول مرة لم أكن قد فهمت السبب. لماذا تحدّ النظام بشكلٍ فعّال قدرات العقد التي تم تدريبها بصعوبة؟
ثم اتضح لي أن المشكلة ليست في اللامركزية، بل في «التواطؤ».
عندما تقع عملية التنفيذ والتحقق على نفس الدفعة من العقد، يمكن للعقد أن تكون لاعباً وحكماً في الوقت نفسه. تُنهي النموذج ثم تمنح نفسها ختم التحقق. وإذا كان أي نتيجة استدلال تصب في مصلحتها—مثل أن تُعدَّل بيانات إدخال وكيل تداول بالذكاء الاصطناعي بشكل طفيف—فلديها دافع قوي لاختيارياً «عمداً» أن تفشل في الرؤية أثناء التحقق. وحتى مع آلية عقوبات دقيقة، فإن التواطؤ المتبادل غير المطلوب لا يمكن إيقافه بتلك العقوبات.
أول العقد دخولاً ستحتكر صلاحيات التنفيذ والتحقق. كلما كانت العقد أكثر كفاءةً، أصبحت العقد اللاحقة أصعب في الدخول، وكلما أصبحت الشبكة أكثر إغلاقاً.
ثم أدركت لاحقاً أن ما يفصل بينه OpenGradient بالفعل ليس الأدوار، بل تداخل المصالح.
من يستطيع تنفيذ استدلال بالذكاء الاصطناعي لا ينبغي أن يملك أيضاً سلطة التحقق من استدلاله بنفسه. مثل مصنع لا يمكنه أن يصدر تقرير فحص الجودة بنفسه. ليست مشكلة قدرة، بل مشكلة هيكل.
كثير من الشبكات تجعل العقد أكثر شمولاً وقدرة، بينما يشبه OpenGradient في الواقع أنه يجعل العقد أكثر «عجزاً»—فهي لا تستطيع إلا شيئاً واحداً: إمّا تنفيذ أو تحقق. القبول ليس صعباً، لكن الصعب هو تقبّل إحساس المشاركة «التي تم بترها» التي تأتي معها.
لكنني كنت أفكر في شيء آخر.
بعد فصل التنفيذ عن التحقق، من المؤكد أنه يمكن منع العقد من منح نفسها شهادة. لكن هل عقد التحقق تتحقق فعلاً من محتوى الاستدلال؟ إذا كان المُتحققون لا يفهمون منطق النموذج الداخلي، ولا يستطيعون إلا فحص تنسيق إثباتات ZK والتواقيع، فهل هم يتحققون من أن «الاستدلال حدث بالفعل»، أم أنهم يتحققون من أن «الأمر صحيح شكلياً ولا توجد مشكلة»؟
إذا كان النموذج نفسه متحيّزاً، أو إذا كانت بيانات الإدخال ملوثة من المصدر، فهل يمكن لعقد التحقق اكتشاف ذلك؟ أم يمكنها فقط ضمان أن «هذه النتيجة المتحيزة ناتجة فعلاً عن هذا النموذج المتحيّز»؟
في النهاية، هل يقوم OPG بمنع الغش، أم أنه يُعيد تعريف من يقرر ما هو الصحيح؟