في الأيام القليلة الماضية، كانت شعبية مشروع Nexus @NexusLabs مرتفعة جدًا، بسبب سهولة التفاعل مع الإهداءات "اضغط مرة واحدة للحصول على المكافآت" وآفاق المشروع الضخمة، لذلك بحثت عن معلومات لدراستها، وهنا أشاركها معكم. #Nexus #NEX #zkVM

تصف Nexus نفسها بأنها شبكة تعدين ZK (إثبات المعرفة الصفرية) على نطاق واسع، وقد أسسها دانييل مارين وجينس جروث وغيرهم، حيث يتمتع المؤسسون بخلفيات قوية في الحوسبة وعلم التشفير.

منذ بدء المشروع في عام 2022، حصل المشروع على تمويل إجمالي قدره 2720 مليون دولار، بقيادة مستثمرين معروفين مثل Pantera Capital و Dragonfly.

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

📌 يمكن تقسيم مشروع Nexus إلى جزئين:

أولاً، Nexus zkVM

يمكن فهم zkVM ببساطة على أنه عند إدخال أي برنامج أو حساب إلى zkVM، سيعيد عملية إثبات ZK والنتيجة.

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

تتمثل عملية الإثبات الرئيسية كما يلي (لن نتناول هنا مبادئ إثبات ZK المحددة، فقط سنناقش عملية توليد الإثبات في Nexus zkVM):

1、كتابة - يترجم إلى - تجميع

يبدأ المطورون بكتابة برنامج بلغة Rust العادية، باستخدام أدوات التجميع المسبق للمعالجة، ثم يستخدمون أدوات التجميع المقدمة من Nexus (Nexus Compiler) لتجميعها إلى كود قابل للتنفيذ موجه نحو مجموعة تعليمات Nexus الافتراضية (NVM).

يرجى ملاحظة التمييز بين NVM و Nexus zkVM

سيقوم Nexus Compiler بتحويل لغات البرمجة عالية المستوى أو DSL (لغة المجال المحدد) إلى تسلسل تعليمات منخفض المستوى بأكبر قدر ممكن من البساطة والكفاءة، لتعظيم أداء الإثبات اللاحق.

2، التنفيذ وتوليد أثر التنفيذ (Trace)

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

3، التقسيم والتوزيع

سيقوم NVM بتقسيم أثر التنفيذ بالكامل إلى عدة كتل (chunks)، ثم يقوم منسق الحساب (Orchestrator) في شبكة Nexus بتوزيع هذه الكتل على مختلف العقد المشاركة. وبذلك يمكن إجراء الحسابات بشكل متوازي في شبكة كبيرة، مما يزيد من سرعة وكفاءة توليد الإثبات.

4، إثبات متوازي وتجميع

تقوم كل عقدة بتوليد إثباتات مستقلة (إثباتات جزئية) لكتل الأثر التي تتحمل مسؤوليتها.

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

نظرًا لاعتمادها على أسلوب SNARK المتوازي الكبير والمتكرر، فإن نتيجة الإثبات النهائية صغيرة جدًا، ولكن يمكن أن تضمن صحة عملية الحساب.

ملاحظة: آلية فحص تناسق الذاكرة

تستخدم Nexus zkVM طريقة الالتزام المتجه (vector commitment) القائمة على شجرة Merkle، لتتبع والتحقق من صحة قراءة وكتابة الذاكرة العالمية.

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

ثانيًا، شبكة Nexus

Nexus Network هو الشبكة التي تعالج "كتل آثار التنفيذ"، وتتكون من مختلف عقد الحساب ومنسقي الحساب.

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

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

📌 دعونا نلقي نظرة على حالة المشروع الحالية

قبل يومين، جذب إطلاق الشبكة التجريبية الثانية لـ Nexus العديد من المهتمين، حاليًا هناك طريقتان للحصول على نقاط NEX:

1، تشغيل النسخة على الويب، افتح الموقع الرسمي واضغط على زر البدء مباشرة

2، تشغيل النسخة المحلية، استخدام سطر الأوامر CLI لتثبيت العقد وتشغيلها

حاليًا، هناك 30 مزود خدمة عقد على الشبكة التجريبية تقدم حسابات، بما في ذلك zklink و io.net وغيرها من المشاريع المعروفة في DePIN.

🔴 لنلخص الأمر

عند مقارنة Succinct، ستجد أن Nexus هو النسخة النهائية من Succinct، لكن Succinct ترغب في التقدم ببطء، بدءًا من تنفيذ شبكة ZKP في شبكة البلوكشين ثم التوسع إلى صناعات أخرى.

لكن هذه المرة، تقدمت Nexus مباشرة إلى الهدف، وطموحها هو إنشاء شبكة عالمية لتوليد إثباتات المعرفة الصفرية (ZK).

لكن من ما أفهمه، يتم تطبيق تقنية ZK حاليًا بشكل رئيسي في مجال البلوكشين. يدعم Nexus حاليًا لغتي Rust و Solidity، مما يتماشى مع بيئة Ethereum و Solana. يمكن القول إن Nexus هو منافس قوي لـ Succinct.

أتطلع إلى ما سيكون عليه تطور سوق zkVM في المستقبل!