توسيع السوق والتطور التقني

شهد قطاع معالج الشرطة نموًا ملحوظًا منذ عام 2024، مع عدة تطورات رئيسية تعيد تشكيل المشهد:

• تبني معالج ZK: تضاعفت اندماج الشركات لمعالجات ZK بنسبة 215٪ منذ نهاية عام 2024، مع الوكالات المالية تقود التنفيذ للتحقق من الصفقات التاريخية
• وظيفة السلسلة المتقاطعة: لقد قامت المنصات الرئيسية بالتوسع خارج وظائف إيثريوم فقط، حيث يدعم الآن 73٪ التحقق من البيانات عبر سلاسل متعددة
• واجهات برمجة تطبيقات موحدة: تشكلت تحالف معيار المعالج المساعد في الربع الأول من عام 2025 وأنشأت واجهات موحدة، مما يقلل من تعقيد التكامل للمطورين بنسبة تقريبية 60%

اختراقات تقنية

ظهرت تقدمات كبيرة في التقنيات الأساسية التي تدعم معالجات الشريحة:

تطور المشروع والمناظر المنافسة

بديهية

حافظت أكسيوم على القيادة في السوق من خلال تقديمنظام أكسيوم، نظام تشغيل لتوفير البيانات التي يتم دمجه مع حلول L2 الرئيسية. يدعم الآن مجموعة العمليات الخاصة بهم على مستوى المؤسسات التدفق الحي للبيانات مع دلائل صحة ZK.

Brevis

بعد نجاح تكاملها مع EigenLayer، نفذت BrevisBrevis Nexus, ربط وظائف المعالج المساعد عبر 9 شبكات بلوكتشين رئيسية. يمكن لبنيته المعالجة المتوازية الآن التعامل مع أكثر من 5,000 طلب تحقق متزامن.

هيرودوتس

استفاد هيرودوت من تكامله مع ستاركنت لإنشاءجسور زمنية, مما يتيح للعقود الذكية الوصول إلى البيانات التاريخية عبر السلاسل مع 97% أقل من الرسوم التقليدية. يشمل برنامج شراكتهم الآن 40+ بروتوكولات ديفي الرئيسية.

اللاعبون الناشئون

ركز المتداخلون الجدد على تطبيقات عمودية متخصصة:

• أنظمة بيانات الكمية: محسن للتحقق من بعد التداول عالي التردد
• ChronosLabs:تخصص في الامتثال التنظيمي وسجلات التدقيق التاريخية
• ZKHistory: استهداف تحليل البيانات التاريخية عالية المستوى مع ميزات السرية المدمجة

التكامل مع برنامج Web3 البنية التحتية

تصبح المعالجات المساعدة بشكل متزايد طبقة أساسية من البنية التحتية لشبكة الويب3:

• تمكين التكامل مع أنظمة التجريد الحسابي تسمح بالمصادقة المتقدمة بناءً على سلوك المستخدم التاريخي
• تستخدم بروتوكولات الديفي الكوبروسسورات لتقييم المخاطر الديناميكية بناءً على النشاط التاريخي على السلسلة الرقمية
• تنفذ أنظمة الحوكمة آليات تصويت قابلة للمساءلة من خلال التحقق من المشاركة التاريخية

ملخص

تطورت منظومة معالجات الشرطة بشكل كبير حتى عام 2025، متحولة من تكنولوجيا تجريبية إلى بنية تحتية أساسية للويب3. لقد قلصت التحسينات التقنية التكاليف بشكل كبير مع توسيع القدرات، مما جعل الوصول إلى البيانات التاريخية عمليًا للتطبيقات الرئيسية. مع استمرار جهود التوحيد وتوسيع وظائف السلاسل الجانبية، تقوم معالجات الشرطة بتأسيس نفسها كالرابط الحرج بين الحالة الحالية للبلوكشين والسجل التاريخي الخاص به، مما يمكن جيل جديد من التطبيقات اللامركزية الذكية، ذات الوعي بالسياق.

تحليل مسار معالج الشرطة 2024

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

ما هو معالج المساعدة؟

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

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

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

لماذا يُسمى معالج مساعد؟

في أنظمة الكمبيوتر الأولية، كان من الممكن في كثير من الأحيان أن يقوم معالج وحدة المعالجة المركزية بتنفيذ عمليات أساسية فقط. كان يحتاج إلى أن يتم إقرانه مع "معالج مخصص" لتنفيذ أنواع معينة من المهام الحسابية، مثل العمليات ذات النقطة العائمة، لتحسين الأداء.

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

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

كيف يعمل معالج المساعدة بشكل عام؟

بشكل عام، العملية الرئيسية لمعالج المساعدة الذي يتحقق من بيانات الإيثيريوم هي كما يلي:

1. استعلم عن البيانات التاريخية وقم بإجراء الحسابات ذات الصلة في بيئة خارج السلسلة من خلال خدمة؛
2. سيقوم الخدمة بتوليد نوع من الدليل لإثبات أن عملها موثوق به؛
3. سيتفاعل تطبيق المطور مع عقد المعالج المشترك المنشأ على شبكة الإيثيريوم للتحقق من الدليل؛
4. بعد التفاعل مع عقد المعالج والتحقق من النتيجة، يمكن لتطبيق الويب اللامركزي الوصول مباشرة إلى البيانات التاريخية التي يحتاجها دون الثقة.

المشاريع في مساحة المعالج المشترك أو الحوسبة التحقق الواسعة

يحلل هذا القسم بشكل رئيسي الكتل الفنية الرئيسية والمزايا التنافسية لللاعبين الرئيسيين في مجال معالج البيانات.

بديهية

رائد في مجال معالج الإنابة، تعمل Axiom على بناء البنية التحتية للبيانات على السلسلة لتبسيط تفاعل العقد الذكية مع البيانات على السلسلة. كما يُنسب إلى Axiom مقدمة مفهوم معالجات الإنابة. سننغمس بعمق في كيفية عمل معالج الإنابة الخاص بهم لاحقًا في هذه المقالة باستخدام Axiom كمثال.

لاغرانج

لاغرانج متخصصة في البراهين الحالة عبر السلسلة وتقنيات المعالجة المتوازية. يمكن أن تحقق براهينهم التحقق عبر السلسلة دون الاعتماد على بروتوكولات الرسائل عبر السلسلة مثل zkBridge أو IBC. يعتبر بروفر لاغرانج المتوازي مناسبًا تمامًا للمنتجات التي تشمل إعادة الرهان، مما يعزز موقعهم في نظام RaaS (Rollup as a Service)

على عكس الأدلة التسلسلية، يمكن للأدلة الموازية توزيع عبء عملها عبر آلاف الخيوط في وقت واحد. بالإضافة إلى ذلك، يمكن أن يؤمن إعادة الرهان على EigenLayer لهم. بمعنى آخر، يسمح هذا النهج للحوسبة الموازية والإثبات الموازي بقدرة أفضل على التوسع الأفقي.

أحد حالات استخدام العالم الحقيقي هو تطبيق لاغرانج على AltLayer. يقدم AltLayer خدمات التحقق النشطة لـ Restaked Rollup، مما يساعد المطورين على تنفيذ تسلسل لامركزي والتحقق من صحة حالة Rollup بكفاءة. في مارس 2024، شراكة لاغرانج مع AltLayer لاستخدام مثبتات موازية لمعالجة Rollup المشتركة. يضمن هذا بيانات سلسلة قابلة للتحقق وغير قابلة للثقة على السلسلة ونتائج الحساب لعملاء RaaS لـ AltLayer.

هيرودوتس

مرتبطة بشكل وثيق بنظام التشغيل Starkware/Starknet، تشترك هيرودوتوس مع مشاريع مثل Snapshot. يطلقون على نظامهم المتعاون "دليل التخزين"، الذي يمكن دمجه مع البراهين ZK لتمكين الوصول إلى البيانات عبر الطبقات المختلفة بين طبقات Ethereum المختلفة.

المصدر: موقع هيرودوت

يتكون نظام إثبات التخزين من ثلاثة مكونات:

1. أدلة الاحتراف: تأكيد وجود البيانات بشكل حقيقي ضمن هيكل بيانات إيثيريوم.
2. دلائل الحساب: التحقق من صحة سير العمل متعدد الخطوات، خاصة تلك التي تشمل تحويل البيانات أو عمليات أخرى.
3. إثباتات ZK: السماح للعقود الذكية بتأكيد صحة الأدلة دون معالجة جميع البيانات الأساسية.

يمكن إثبات أي بيانات على السلسلة في عقدة الأرشيف الخاصة بإيثريوم باستخدام نظام إثبات التخزين.

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

Brevis

تم تطوير Brevis بواسطة Celer Network كبنية تحتية لبناء مختلف خدمات البيانات على السلسلة، بما في ذلك معالجات ZK. جمعت شبكة Celer، وهي بروتوكول تبادلي تأسس من قبل Mo Dong وQingkai Liang، 4 ملايين دولار في IEO (Initial Exchange Offering) في عام 2019.

نشأت شبكة Celer عقد Brevis على السلسلة. يتحقق هذا العقد من الأدلة من طلبات المعالج المشترك ويبلغ النتائج إلى عقد التطبيق اللامركزي من خلال وظيفة الاستدعاء الخاصة به. يمكن للمطورين الاستفادة من SDK Brevis لتمكين التطبيقات اللامركزية من الوصول إلى البيانات التاريخية على السلسلة بسهولة. يجمع SDK بين دوائر معقدة، مما يقضي على الحاجة لدى المطورين للمعرفة المسبقة بالأدلة ZK. يعتمد SDK Brevis على إطار gnark الذي طوره فريق Consensys Linea. بالإضافة إلى ذلك، يدعم Brevis عميل ZK الخفيف لـ Ethereum، مما يتيح له العمل مع البيانات على السلسلة من أي سلسلة كتلية متوافقة مع EVM لـ Ethereum.

المصدر: توثيق بريفيس

شبكة Celer Network تعمل حاليًا على تطوير coChain، وهي بلوكشين مركز على نظام RaaS، باستخدام Brevis كأساس. coChain هو بلوكشين يعتمد على خوارزمية الإثبات بالحصة (PoS) ويمكن أن يوفر خدمات الرهان والتقليم الخاصة بـ Ethereum.

الجز الي يشير الى عملية تغريم المحققين الذين ينتهكون القواعد في نظام Ethereum PoS، بما في ذلك الغرامات وتغييرات الحالة. تاريخيًا، كان معدل الجز في نظام Ethereum staking منخفضًا للغاية، مع البيانات تشير الى ان نسبة تقطيع المحققين تبلغ حوالي 0.04% فقط.

ميزة coChain الفريدة هي ربط توليد نتائج المعالج المشترك بمكافآت وعقوبات تجني Ethereum. إليك العملية:

1. يقدم العقد الذكي طلبًا لمعالج الدعم، وآلية الإجماع بنظام PoS تولد نتيجة معالج الدعم؛
2. يتم تقديم نتيجة PoS المولدة إلى سلسلة الكتل كـ "اقتراح" يمكن "تحديه" بواسطة دليل المعرفة الصفري (ZK);
3. إذا نجح تحدي إثبات ZK، مما يشير إلى سوء سلوك المدقق أثناء التخزين، خفض حصة المدقق المقابل مباشرة على Ethereum. على العكس من ذلك ، إذا ظلت النتيجة التي تم إنشاؤها بواسطة PoS دون اعتراض ، فيمكن للتطبيق اللامركزي استخدام نتيجة المعالج المساعد مباشرة دون تكبد تكلفة إثباتات ZK. هذا النهج "المتفائل" لإثبات التحديات ، على غرار التفاؤل ، يحافظ على انخفاض التكاليف.

بشكل عام، يجمع نهج coChain بين حوافز ثقة / التحقق من المعالجات المشتركة مع نظام الرهان على إثيريوم. في المستقبل، سيتم دمجه مع EigenLayer لتقليل تكلفة البرهان لمعالجات ZK.

نيكسوس

يسمح Nexus zkVM بالتحقق من أي نتيجة حسابية على السلسلة. ميزته الفريدة هي القدرة على التحقق من ZK proofs بناءً على تقنيات الطي. تأسست Nexus في عام 2022، وهي لاعب آخر في مجال zkVM. بينما لم تتم الكشف عن تفاصيل واسعة النطاق بعد، إلا أن المؤسس، دانيال مارين (خريج ستانفورد مع خبرة سابقة في Google)، نشر أوراق بحثية مبكرة من خلال نادي ستانفورد للبلوكشين.

تُعتبر تقنية ZK folding فرعًا واعدًا ضمن حلول zkVM. يدعم Nexus zkVM التحقق من دلائل الطي ومخططات التراكم على حد سواء. يهدف إلى أن يكون zkVM قابلاً للتوسيع وقابلاً للتعديل ومفتوح المصدر. تشمل استخداماتهم التقنية آليات تجميع الدلائل الموازية على نطاق واسع تعتمد على الحساب القابل للتحقق التدريجي (IVC) ومخططات الطي المختلفة مثل Nova وCycleFold وSuperNova وHyperNova. كما أنهم يطورون شبكة Nexus Network، وهي شبكة تعدين دلائل موازية على نطاق واسع مبنية على Nexus zkVM.

المصدر: توثيق Nexus، هندسة Nexus zkVM

جدول المقارنة للنهج التقني والمزايا التنافسية في مسار المعالج المساعد

كما يمكنك رؤية، اختارت مشاريع مختلفة تكوينات تقنية مختلفة بناءً على بيئات مختلفة (Ethereum EVM، RaaS، cross-chain، Ethereum cross-layer)، وأساليب دليل مختلفة (Rollup مقابل ZK)، أو حلول مختلفة ضمن دلائل ZK (zk-SNARK، folding proofs، accumulation schemes، الخ). لكل منها نقاط قوة وضعفها فيما يتعلق بالمزايا التنافسية وفي النهاية تقدم أشكال منتج مختلفة: عقود تفاعلية على السلسلة، ومجموعات تطوير برمجيات، وشبكات مصممة لأغراض مختلفة، مثل شبكات التحقق من الرهن وشبكات التحقق على نطاق واسع.

المصدر: بواسطة الكاتب

العملية الخاصة لمعالجات الدعم: حالة البديل

لماذا تختار اكسيوم؟

أكسيوم هو معالج إثبات ZK مبني لشبكة Ethereum. يسمح للعقود الذكية بالوصول إلى البيانات التاريخية على السلسلة ويضمن عدم الثقة بالحساب خارج السلسلة من خلال تكنولوجيا إثبات ZK. تأسست أكسيوم بواسطة جوناثان وانغ ويي سون في عام 2022. في 25 يناير 2024، أعلنت أكسيوم على تويتر أنها جمعت 20 مليون دولار في جولة تمويل السلسلة A بقيادة Paradigm وStandard Crypto. إنه أول مشروع يقترح مفهوم "معالج إثبات" وهو أيضًا أحد أكثر المشاريع دعمًا رأس المال المغامر في هذا المجال.

المصدر: حساب Axiom الرسمي X

تاريخ أكسيوم

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

ما هي تقنية ZK Proof التي يستخدمها Axiom؟

تستخدم Axiom حاليًا نظام البرهان SNARK القائم على Halo2 والأدوات الخلفية KZG وأدوات البرهان ZK مثل الجداول المرجعية (LUTs). في الماضي، كانت البراهين ZK معقدة وصعبة للتدقيق. تعد جداول البحث مجموعة من القيم المحسوبة مسبقًا تتيح للمثبت إثبات بشكل أكثر كفاءة للتحقق من وجود القيمة لدى التحقق.

كيف يعمل Axiom V2

في يناير 2024، تم تشغيل Axiom V2 على شبكة الإيثيريوم الرئيسية، دعماً للوصول إلى المعاملات، والإيصالات، وتخزين العقود، ورؤوس الكتل، وغيرها من البيانات من العقود الذكية. وهذا يعني أنه الآن يدعم الوصول إلى جميع البيانات التاريخية على شبكة الإيثيريوم الرئيسية.

من خلال أدوات SDK التي طورتها Axiom ، يمكن للمطورين كتابة دوائر Axiom بلغة Typescript لطلبات البيانات وتخصيص العمليات الحسابية. يتقدم Axiom لأنه يجعل من السهل جدًا على العقود الذكية الوصول إلى البيانات على السلسلة:

1. يستخدم المطورون مجموعة أدوات Axiom Typescript SDK لكتابة دوائر Axiom وإصدار طلبات الحساب للتحقق من ZK لبيانات الإيثريوم التاريخية؛
2. يقوم أكسيوم بأداء الحساب المطلوب وإنشاء دليل ZK، مثبتًا صحة البيانات ونتائج الحساب؛
3. يقوم المطورون بتنفيذ وظيفة الارجاع في العقد الذكي للتحقق وتنفيذ البيانات المرسلة من Axiom مع نتيجة الإثبات ZK؛
4. تستعلم أكسيوم عن طريق إرسال معاملة على السلسلة، ويتم تشفير النتيجة المعادة بواسطة دليل ZK لضمان مصداقيتها.

ومع ذلك، على عكس هيرودوت، لا تدعم Axiom حاليًا استعلام البيانات التاريخية من شبكات Ethereum EVM الأخرى أو L2 networks وتركز فقط على Ethereum mainnet. لا يتم استبعاد دعم الميزات ذات الصلة في المستقبل.

تطبيقات Axiom V2

في طبقة التطبيق، يمكن لـ Axiom مساعدة التطبيقات اللامركزية في تنفيذ الوظائف التالية:

• توفير مكافآت وبرامج ولاء استنادًا إلى سجلات نشاط المستخدمين على السلسلة القائمة
• تنفيذ المساءلة بناءً على سلوك المستخدمين على السلسلة
• إنشاء المهتمين التي يمكن تخصيصها وفقا للاحتياجات الهوية والحوكمة والتسوية

استنتاج

الزعيم الحالي في مجال معالج الشرطة، Axiom، لديه علاقة تكميلية مع مشاريع عقدة الضوء مثل Succinct. يحاول Succinct إثبات توافق إيثيريوم نفسه، بينما يثبت Axiom أي بيانات تاريخية على السلسلة بناءً على التوافق، بافتراض أن نتيجة التوافق مقبولة.

مجال إثبات ZK يتطور بسرعة مع اختراعات مبتكرة مثل الأدلة المطوية، وخطط التراكم، والجداول الكبيرة للبحث. لقد جذب هذا النمو انتباه مشاريع مثل Nexus، التي تدعم أحدث التطورات في تكنولوجيا إثبات ZK. بينما تصبح أدلة ZK شائعة، فإن مشاريع أخرى مثل Lagrange أيضًا تلاحظ لتوفير أدلة لـ Rollup من خلال المثبتين المتوازيين، وبالتالي سد الفجوة في السوق.

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