ماذا لو كان من الممكن إثبات صحة كل عملية حسابية على الإنترنت رياضياً؟
نكسس هو مشروع بنية تحتية للبلوكشين يبني بالضبط ذلك — آلة افتراضية موزعة ذات معرفة صفرية (zkVM) مصممة لجعل الحوسبة القابلة للتحقق عملية على نطاق الإنترنت.
يغطي هذا الدليل كل ما تحتاج إلى معرفته: ما الذي تفعله نيكسوس، والمشكلات التي تحلها، وكيف يعمل توكن NEX الخاص بها، وكيفية شراء NEX على MEXC.
أبرز النقاط
Nexus هو مشروع zkVM موزّع يبني حاسوبًا فائقًا قابلًا للتحقق قادرًا على إثبات تريليون دورة معالجة في الثانية.
NEX هي العملة الرقمية الأصلية لبلوكشين نيكسوس، مع إجمالي عرض ثابت يبلغ 100 تريليون توكن.
يخصص توزيع توكنات NEX نسبة 60% للخزينة (مفتوحة)، و20% للفريق، و20% للمستثمرين — وكلاهما خاضع لقفل لمدة 3 سنوات.
يستهدف نيكسوس مشكلة أوسع من ملفات ZK مثل ستاركنيت أو زدك سينك — فهو غير مرتبط بسلسلة معينة ومصمم لإثبات أي برنامج، وليس فقط معاملات البلوكشين.
NEX متاح للتداول في العقود الفورية والعقود الآجلة على MEXC.
نيكسوس هو مشروع zkVM (آلة افتراضية ذات معرفة صفرية) موزع تم بناؤه بواسطة مختبرات نيكسوس، بهدف تمكين الحساب القابل للتحقق على نطاق الإنترنت. طموحها الأساسي: توحيد أجهزة الكمبيوتر في العالم في حاسوب فائق واحد قابل للتحقق قادر على إثبات تريليون دورة معالجة في الثانية.
على عكس سلاسل الكتل التقليدية التي تعيد تنفيذ المعاملات عبر كل عقدة للإجماع، تستخدم نيكسوس براهين معرفية ذات معرفة صفرية للتحقق من أي عملية حسابية — مرة واحدة — بيقين رياضي.
NEX هي العملة الرقمية الأصلية لبلوكشين Nexus، ويعمل كعمود فقري اقتصادي لهذه الشبكة الحاسوبية القابلة للتحقق.
| Nexus | توكن NEX |
ما هو | البروتوكول والشبكة والبنية التحتية | العملة الرقمية الأصلية لسلسلة كتل نيكسوس |
الوظيفة | آلة افتراضية zkVM موزعة + شبكة حواسيب فائقة قابلة للتحقق | تشغل نظام نيكسوس البيئي: الخزينة، الحوافز، نمو النظام البيئي |
التشبيه | مثل إيثيريوم (المنصة) | مثل ETH (التوكن الأصلي) |
من يستخدمه | المطورون، مقدمو الإثباتات، مشغلو العقد | حاملو التوكنات، المشاركون في النظام البيئي |
توجد براهين المعرفة الصفرية منذ عقود، لكنها لا تزال بطيئة جداً ومكلفة للغاية وصعبة الاستخدام في معظم التطبيقات الواقعية.
تحديد نيكسوس ثلاث مشكلات مترابطة تعيق الحوسبة القابلة للتحقق.
تتطلب الأساليب الحالية لإثباتات المعرفة الصفرية إما كتابة دوائر حسابيات معقدة يدويًا، أو استخدام آلة افتراضية للمعرفة الصفرية تعتمد على وحدة المعالجة المركزية وتتسم بأداء ضعيف عند التوسع.
يتطلب إثبات تجزئة SHA-256 واحدة فقط من خلال محاكاة آلة افتراضية قياسية حوالي 64,000 دورة لوحدة المعالجة المركزية — أي ما يعادل تقريبًا 1,000× أكثر من الحسابات مقارنة بالدائرة المصممة خصيصًا.
تحل Nexus هذه المشكلة من خلال بنية المعالج المساعد zkVM، التي توفر أداءً مشابهاً لـ ASIC للعمليات المخصصة مع الحفاظ على نموذج برمجة سهل للمطورين.
تتطلب تصميمات آلة zkVM التقليدية تحديد حد أعلى ثابت لطول الحساب مسبقًا.
يتطلب الإثبات بما يتجاوز هذا الحد إما إنشاء معلمات عامة جديدة أو محاولة تكرار SNARK المكلف — وكلاهما غير عملي على نطاق واسع.
يتناول نيكسوس هذه المسألة من خلال الحساب القابل للتحقق بشكل تدريجي وغير المحدود (IVC)، مما يسمح بإنشاء وتراكم براهين البرامج ذات الحجم التعسفي بشكل تدريجي دون حدود ثابتة.
استفادت مشاريع مثل SETI وFolding من ملايين أجهزة الكمبيوتر التطوعية لإجراء حسابات واسعة النطاق — لكنها اعتمدت على الأساليب الاحتمالية (التكرار والمقارنة) للتحقق من النتائج.
هذا يمنح فقط ضمانات تقريبية للنزاهة، وليس إثباتاً رياضياً.
تم تصميم شبكة Nexus لتقديم ضمانات قابلة للإثبات: حيث تُنتج كل عقدة في شبكة المُثبت الموزعة براهين تشفيرية، مما يجعل الناتج النهائي صحيحاً وقابلاً للتحقق بغض النظر عن الأجهزة التي نفذت العمل.
تم تطوير نيكسوس بواسطة مختبرات نيكسوس، بقيادة المؤلف الرئيسي دانيال مارين، إلى جانب فريق بحثي يشمل ميشيل عبد الله وجينس غروث وآخرين.
تم نشر الورقة البيضاء لنكسس في يناير 2024، مقدمةً آلة نكسس الافتراضية ذات المعرفة الصفرية (zkVM) كمشروع مفتوح المصدر بالكامل ومبني بلغة رست.
يستند المشروع إلى ما يقرب من أربعة عقود من الأبحاث الأساسية في التشفير — بدءاً من تقديم غولدواسر وميكالي وراكوف لإثباتات المعرفة الصفرية في عام 1985، مروراً بـ Nova و HyperNova ومخططات الطي الحديثة.
رؤيتها: جعل الحوسبة القابلة للتحقق متاحة عالمياً مثل الحوسبة ذات الأغراض العامة.
آلة نيكزس zkVM قادرة على توليد إثبات معرفة صفرية موجز للتنفيذ الصحيح لـ أي برنامج.
يركز بشكل خاص على العمليات الحسابية الضخمة جدًا — مليار دورة معالجة وما فوق — ويحقق ذلك من خلال التوازي الشديد باستخدام مخططات الطي والتراكم الحديثة (نوفا، هايبرنوفا، سايكل فولد).
يثبت المطورون أي برنامج مكتوب بلغة Rust بأمر واحد: cargo nexus prove.
إن NVM هي بنية مجموعة تعليمات (ISA) بسيطة ومحدودة وقابلة للتوسيع — وهي آلة ذات 32 بتًا تحتوي على 40 تعليمة، مستوحاة من RISC-V ولكن تم إعادة تصميمها لتعظيم أداء المُثبِت.
يستخدم نموذج ذاكرة بسيطًا (أشجار ميركل + تجزئات بوسيدون لإثباتات الذاكرة التزايدية) ونموذج إدخال/إخراج بسيط مع شرائط إدخال عامة وخاصة.
يُركّز تصميمه على قابلية التدقيق والعالمية معاً: آلة صغيرة ونظيفة تكون براهينها أسهل في التحقق والثقة.
المعالجات المساعدة هي امتدادات تعليمات يُحددها المستخدم للآلة الافتراضية غير المحددة، ومكتوبة كدوائر CCS.
عند تنفيذ معالج مساعد، تُدفع فقط تكلفة إثباته المحددة — بدلاً من دفع النفقات العامة لمحاكاة العملية عبر آلاف دورات وحدة المعالجة المركزية.
يتيح ذلك تسريع إثبات صحة SHA-256، وتوقيعات ECDSA، وتجميع BLS، وعمليات ضرب المصفوفات، وحتى دوائر التحقق من SNARK التكرارية.
تجمع شبكة نيكسوس قوة المعالجة المركزية ووحدة معالجة الرسومات الجماعية لشبكة عالمية وغير متجانسة من الحواسيب لتنفيذ توليد براهين متوازٍ على نطاق هائل.
تُتراكم البراهين في بنية شجرية — حيث تتعامل كل عقدة مع جزء من الحسابات وترفع برهانها لأعلى — مما يزيد الإنتاجية الإجمالية بشكل متناسب مع حجم الشبكة.
الأهم من ذلك، يمكن لعقدة مُثبت نيكسوس العمل باستخدام 1 جيجابايت من ذاكرة الوصول العشوائي كحد أدنى، مما يعني أن الهواتف الذكية وأجهزة الحاسوب المحمولة الاستهلاكية يمكنها المشاركة والمساهمة بقوة الحوسبة.
آلة نيكسوس الافتراضية zkVM وشبكة نيكسوس مفتوحة المصدر بالكامل، ومُنفَّذة بلغة Rust، ومتاحة علنًا على GitHub.
يتضمن التنفيذ إصدارات جاهزة للإنتاج من مخططات الطي Nova وCycleFold وHyperNova، بالإضافة إلى التمثيل الحسابي لـ NVM، والمترجم من RISC-V إلى NVM، وتسلسل ضغط البراهين.
تقتصر العقود الذكية اليوم على المنطق البسيط والمكرر على السلسلة.
مع Nexus، يمكن للعقد الذكي استهلاك نتيجة حساب معقد خارج السلسلة — مثل استعلامات قواعد البيانات، والنماذج المالية، واستنتاجات التعلم الآلي — مدعوماً بإثبات معرفة صفرية يثبت أن الحساب قد أُجري بشكل صحيح.
تسمح بنية المعالج المساعد zkVM الخاصة بنيكسوس بإثبات العمليات الحسابية المكثفة مثل عمليات ضرب المصفوفات بكفاءة.
يفتح هذا مساراً نحو استنتاج الذكاء الاصطناعي على السلسلة حيث يمكن التحقق من صحة مخرجات النموذج تشفيرياً — وليس مجرد الوثوق بها.
يمكن لأي مطور إرسال برنامج مكتوب بلغة Rust إلى شبكة Nexus والحصول على إثبات تشفيري لتنفيذه الصحيح — دون الحاجة إلى الثقة بالعقد التي نفذته.
يتيح ذلك تفويضاً غير موثوق به للحسابات الكبيرة: المحاكاة العلمية، وخطوط معالجة البيانات، أو أحمال العمل المؤسسية، كلها بمخرجات قابلة للتحقق.
يتيح نيكسوس للعقود الذكية في بروتوكولات التمويل اللامركزي إجراء تحليلات بيانات واسعة النطاق — نمذجة المخاطر، وحسابات المحافظ، ومنطق التصفية — مع إثبات تشفري للصحة.
تدعم البنية التحتية نفسها تطبيقات الألعاب على البلوكشين مع إدارة متطورة للحالة، حيث يمكن إثبات منطق اللعبة خارج السلسلة والتحقق منه على السلسلة دون إعادة التنفيذ.
NEX هو العملة الرقمية الأصلية لبلوكشين نيكسوس، مع إجمالي عرض ثابت يبلغ 100 تريليون NEX.
يتم توزيع العرض الأولي على النحو التالي:
الفريق — 20% جدول قفل لمدة 3 سنوات: فترة انتظار لمدة سنة واحدة، يتم فك قفل 33% في الشهر 12، وفك قفل خطي للباقي.
المستثمرون — 20% جدول قفل لمدة 3 سنوات: فترة انتظار لمدة سنة واحدة، يتم فك قفل 33% في الشهر 12، وفك قفل خطي للباقي.
الخزينة — 60% مفتوحة بالكامل عند الإطلاق. مخصصة للبحث والتطوير طويل الأجل، وتطوير النظام البيئي، والشراكات، وبرامج الحوافز، ونمو النظام البيئي.
تمثل الخزينة الاحتياطي الأساسي للنظام البيئي لبروتوكول نيكسوس، مما يمنح المشروع مساراً تمويلياً كبيراً لتمويل التطوير ونمو المجتمع دون الاعتماد على مبيعات التوكنات قصيرة الأجل.
يُعد NEX وسيلة التبادل الأساسية داخل بروتوكول نيكسوس.
مع نضوج الشبكة، من المتوقع أن يُستخدم NEX لتمويل مدفوعات الحوسبة، بما في ذلك رسوم إنشاء الإثباتات المدفوعة لمشغلي العقد الذين يساهمون بقوة الحوسبة في شبكة نيكسوس.
تُخصص نسبة 60% من الخزينة تحديدًا لتمويل البحث والتطوير طويل الأجل، والشراكات، وبرامج حوافز المطورين، وتوسيع النظام البيئي.
هذا يجعل NEX وقودًا لجذب البنائين والباحثين ومشغلي العقد إلى نظام نيكسوس البيئي مع مرور الوقت.
مشغلو العقد الذين يوفرون قوة الحوسبة لشبكة نيكسوس — من خلال تشغيل عقد MSM Prover أو عقد PCD Prover — يساهمون بشكل مباشر في البنية التحتية لتوليد الإثباتات.
يُعد NEX آلية الحوافز المصممة لمكافأة هذه المساهمة الحاسوبية مع توسع الشبكة.
تمتلك نيكسوس مسارًا تقنيًا واضحًا أمامها: من آلة zkVM مفتوحة المصدر الحالية نحو شبكة موزعة للبراهين تعمل بالكامل وقادرة على إثبات تريليونات دورات المعالج في الثانية.
تشمل الأولويات قصيرة المدى دعم IVC غير الموحد، وإمكانيات الإدخال/الإخراج لـ zkVM، ومكتبة معالجات مساعدة موسعة.
على المدى الطويل، تهدف نيكسوس إلى تأسيس حوكمة مجتمعية، وتعميق التكامل عبر السلاسل، وأن تصبح بنية تحتية أساسية للحوسبة القابلة للتحقق على نطاق الإنترنت.
الرؤية المعلنة للمشروع — "مستقبل للإنترنت حيث تكون سلامة العمليات الحسابية والبيانات محمية بالإثباتات" — تضعها في طليعة كل من التشفير ZK والحوسبة اللامركزية.
تعمل Nexus في مجال البنية التحتية الأوسع لتقنية ZK، وتستهدف الحوسبة القابلة للتحقق للأغراض العامة بدلاً من حلول التوسع الخاصة بسلسلة معينة.
على عكس المشاريع التي تركز على بلوكشين واحد، تم تصميم Nexus لإثبات أي برنامج على أي سلسلة — مما يجعله طبقة أوسع تطبيقاً من البنية التحتية للتشفير.
يتميز Nexus أيضًا بنموذج شبكة المُثبِّت الموزعة، الذي يتيح لأي شخص يمتلك ذاكرة وصول عشوائي (RAM) بحجم 1 جيجابايت على الأقل المساهمة بقوة الحوسبة وكسب المكافآت، مما يجعل المشاركة أكثر سهولة بكثير من البنية التحتية المتخصصة للمعرفة الصفرية (ZK).
بالنسبة للمطورين الذين يحتاجون إلى حوسبة قابلة للتحقق تتجاوز معاملات البلوكشين — استنتاج الذكاء الاصطناعي، والحوسبة العلمية، وخطوط بيانات المؤسسات — تعالج Nexus مساحة مشكلات أوسع وأقل ازدحامًا.
NEX متاح للتداول على MEXC، إحدى بورصات العملات المشفرة الرائدة في العالم.
تقدم MEXC أزواج تداول فورية لـ NEX جنباً إلى جنب مع سيولة عميقة، ورسوم تنافسية، وواجهة سهلة الاستخدام تناسب كل من المتداولين الجدد وذوي الخبرة.
يمكنك العثور على NEX على MEXC في: mexc.com
الخطوة 5. اختر نوع طلبك — طلب السوق (يشتري فوراً بالسعر الحالي) أو طلب الحد (حدد سعرك المفضل) — أدخل المبلغ وأكد.
الخطوة 6. ستظهر توكنات NEX في محفظتك على MEXC؛ قم بتحويلها إلى محفظة شخصية لمزيد من الأمان إذا رغبت.
يتصدى نيكسوس لأحد أكثر التحديات طموحاً في علم التشفير: جعل الحوسبة القابلة للتحقق عملية بما يكفي لتعمل على نطاق الإنترنت نفسه.
من خلال zkVM الموزع، وشبكة مُثبت عالمية، وعملة NEX الأصلية، يبني المشروع بنية تحتية قد تُغيّر بشكل جذري طريقة إرساء الثقة في الحوسبة — ليس عبر التحقق المتكرر، بل عبر الإثبات الرياضي.
بالنسبة للمستثمرين والمطورين الذين يتابعون تقاطع تشفير ZK والبنية التحتية اللامركزية، يمثل مشروع Nexus وتوكن NEX مشروعاً يستحق الفهم في مراحل مبكرة.